3 papers
cs.PL2026
Rewrite System Showdown: Stochastic Search vs. EqSat
Qiantan Hong, Rupanshu Soi, Yihong Zhang +1
Equality saturation has become a dominant paradigm for equational program optimization. However, it has never been rigorously compared to another approach to the same problem, even…
cs.PL2017
Active Learning of Points-To Specifications
Osbert Bastani, Rahul Sharma, Alex Aiken +1
When analyzing programs, large libraries pose significant challenges to static points-to analysis. A popular solution is to have a human analyst provide points-to specifications th…
cs.PL2016
Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken +1
We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program. Our a…