The following pages link to Bor-Yuh Evan Chang (Q2145337):
Displaying 17 items.
- Selectively-amortized resource bounding (Q2145338) (← links)
- Type-directed bounding of collections in reactive programs (Q2287091) (← links)
- A Bit Too Precise? Bounded Verification of Quantized Digital Filters (Q2894264) (← links)
- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers (Q2920992) (← links)
- Reduced Product Combination of Abstract Domains for Shapes (Q2926653) (← links)
- Access Nets: Modeling Access to Physical Spaces (Q3075481) (← links)
- Relational inductive shape analysis (Q3189844) (← links)
- Discriminating Traces with Time (Q3303919) (← links)
- Abstract Domains and Solvers for Sets Reasoning (Q3460067) (← links)
- Separating Shape Graphs (Q3558238) (← links)
- (Q4420573) (← links)
- (Q4994692) (← links)
- Semantic-directed clumping of disjunctive abstract states (Q5370844) (← links)
- Fissile type analysis (Q5408405) (← links)
- Calling context abstraction with shapes (Q5408542) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711488) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898617) (← links)
