Breck, Jason
- Proving Unrealizability for Syntax-Guided Synthesis
2019/05/14 by Qinheping Hu, Jason Breck, Hu, Qinheping +7 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Templates and Recurrences: Better Together
2020/03/30 by Breck, Jason, Cyphert, John, Kincaid, Zachary +1 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)