The following pages link to Mayur Naik (Q2151234):
Displaying 7 items.
- Maximum satisfiability in software analysis: applications and techniques (Q2151235) (← links)
- Code2Inv: a deep learning framework for program verification (Q2226732) (← links)
- Query-guided maximum satisfiability (Q2828249) (← links)
- Conditional must not aliasing for static race detection (Q3189812) (← links)
- Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances (Q3453234) (← links)
- Programming Languages and Systems (Q5316577) (← links)
- Learning minimal abstractions (Q5408529) (← links)
