The following pages link to Omer Tripp (Q526763):
Displaying 6 items.
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- Synthesizing precise and useful commutativity conditions (Q2208295) (← links)
- Automatic generation of precise and useful commutativity conditions (Q2324210) (← links)
- Using Abstract Interpretation to Correct Synchronization Faults (Q2961562) (← links)
- Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (Q5172635) (← links)
- Learning minimal abstractions (Q5408529) (← links)
