1

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Create your slides in Markdown - click the Slides button to check out the example.
Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
LOUD: Synthesizing Strongest and Weakest Specifications
Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Create your slides in Markdown - click the Slides button to check out the example.
Kanghee Park, Xuanyu Peng, Loris D'Antoni
Synthesizing Efficient Memoization Algorithms
Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Create your slides in Markdown - click the Slides button to check out the example.
Yican Sun, Xuanyu Peng, Yingfei Xiong