\n \n \n
\n
\n\n \n \n \n \n \n \n A differential approach to undefined behavior detection.\n \n \n \n \n\n\n \n Wang, X.; Zeldovich, N.; Kaashoek, M. F.; and Solar-Lezama, A.\n\n\n \n\n\n\n
Commun. ACM, 59(3): 99–106. 2016.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/cacm/WangZKS16,\n author = {Xi Wang and\n Nickolai Zeldovich and\n M. Frans Kaashoek and\n Armando Solar{-}Lezama},\n title = {A differential approach to undefined behavior detection},\n journal = {Commun. {ACM}},\n volume = {59},\n number = {3},\n pages = {99--106},\n year = {2016},\n url = {https://doi.org/10.1145/2885256},\n doi = {10.1145/2885256},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/cacm/WangZKS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Sloth: Being Lazy Is a Virtue (When Issuing Database Queries).\n \n \n \n \n\n\n \n Cheung, A.; Madden, S.; and Solar-Lezama, A.\n\n\n \n\n\n\n
ACM Trans. Database Syst., 41(2): 8:1–8:42. 2016.\n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/tods/CheungMS16,\n author = {Alvin Cheung and\n Samuel Madden and\n Armando Solar{-}Lezama},\n title = {Sloth: Being Lazy Is a Virtue (When Issuing Database Queries)},\n journal = {{ACM} Trans. Database Syst.},\n volume = {41},\n number = {2},\n pages = {8:1--8:42},\n year = {2016},\n url = {https://doi.org/10.1145/2894749},\n doi = {10.1145/2894749},\n timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tods/CheungMS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Synthesizing framework models for symbolic execution.\n \n \n \n \n\n\n \n Jeon, J.; Qiu, X.; Fetter-Degges, J.; Foster, J. S.; and Solar-Lezama, A.\n\n\n \n\n\n\n In
Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016, pages 156–167, 2016. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icse/JeonQFFS16,\n author = {Jinseong Jeon and\n Xiaokang Qiu and\n Jonathan Fetter{-}Degges and\n Jeffrey S. Foster and\n Armando Solar{-}Lezama},\n title = {Synthesizing framework models for symbolic execution},\n booktitle = {Proceedings of the 38th International Conference on Software Engineering,\n {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},\n pages = {156--167},\n year = {2016},\n crossref = {DBLP:conf/icse/2016},\n url = {https://doi.org/10.1145/2884781.2884856},\n doi = {10.1145/2884781.2884856},\n timestamp = {Sun, 19 Jan 2025 13:14:44 +0100},\n biburl = {https://dblp.org/rec/conf/icse/JeonQFFS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Sampling for Bayesian Program Learning.\n \n \n \n \n\n\n \n Ellis, K.; Solar-Lezama, A.; and Tenenbaum, J.\n\n\n \n\n\n\n In
Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain, pages 1289–1297, 2016. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/nips/EllisST16,\n author = {Kevin Ellis and\n Armando Solar{-}Lezama and\n Josh Tenenbaum},\n title = {Sampling for Bayesian Program Learning},\n booktitle = {Advances in Neural Information Processing Systems 29: Annual Conference\n on Neural Information Processing Systems 2016, December 5-10, 2016,\n Barcelona, Spain},\n pages = {1289--1297},\n year = {2016},\n crossref = {DBLP:conf/nips/2016},\n url = {https://proceedings.neurips.cc/paper/2016/hash/afd4836712c5e77550897e25711e1d96-Abstract.html},\n timestamp = {Mon, 16 May 2022 15:41:51 +0200},\n biburl = {https://dblp.org/rec/conf/nips/EllisST16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Program synthesis from polymorphic refinement types.\n \n \n \n \n\n\n \n Polikarpova, N.; Kuraj, I.; and Solar-Lezama, A.\n\n\n \n\n\n\n In
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pages 522–538, 2016. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/pldi/PolikarpovaKS16,\n author = {Nadia Polikarpova and\n Ivan Kuraj and\n Armando Solar{-}Lezama},\n title = {Program synthesis from polymorphic refinement types},\n booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming\n Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,\n USA, June 13-17, 2016},\n pages = {522--538},\n year = {2016},\n crossref = {DBLP:conf/pldi/2016},\n url = {https://doi.org/10.1145/2908080.2908093},\n doi = {10.1145/2908080.2908093},\n timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},\n biburl = {https://dblp.org/rec/conf/pldi/PolikarpovaKS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Verified lifting of stencil computations.\n \n \n \n \n\n\n \n Kamil, S.; Cheung, A.; Itzhaky, S.; and Solar-Lezama, A.\n\n\n \n\n\n\n In
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pages 711–726, 2016. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/pldi/KamilCIS16,\n author = {Shoaib Kamil and\n Alvin Cheung and\n Shachar Itzhaky and\n Armando Solar{-}Lezama},\n title = {Verified lifting of stencil computations},\n booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming\n Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,\n USA, June 13-17, 2016},\n pages = {711--726},\n year = {2016},\n crossref = {DBLP:conf/pldi/2016},\n url = {https://doi.org/10.1145/2908080.2908117},\n doi = {10.1145/2908080.2908117},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/pldi/KamilCIS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs.\n \n \n \n \n\n\n \n Chowdhury, R. A.; Ganapathi, P.; Tithi, J. J.; Bachmeier, C.; Kuszmaul, B. C.; Leiserson, C. E.; Solar-Lezama, A.; and Tang, Y.\n\n\n \n\n\n\n In
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016, pages 10:1–10:12, 2016. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ppopp/ChowdhuryGTBKLS16,\n author = {Rezaul Alam Chowdhury and\n Pramod Ganapathi and\n Jesmin Jahan Tithi and\n Charles Bachmeier and\n Bradley C. Kuszmaul and\n Charles E. Leiserson and\n Armando Solar{-}Lezama and\n Yuan Tang},\n title = {{AUTOGEN:} automatic discovery of cache-oblivious parallel recursive\n algorithms for solving dynamic programs},\n booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and\n Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March\n 12-16, 2016},\n pages = {10:1--10:12},\n year = {2016},\n crossref = {DBLP:conf/ppopp/2016},\n url = {https://doi.org/10.1145/2851141.2851167},\n doi = {10.1145/2851141.2851167},\n timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ppopp/ChowdhuryGTBKLS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.\n \n \n \n \n\n\n \n Inala, J. P.; Singh, R.; and Solar-Lezama, A.\n\n\n \n\n\n\n In
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, pages 302–320, 2016. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/sat/Inala0S16,\n author = {Jeevana Priya Inala and\n Rohit Singh and\n Armando Solar{-}Lezama},\n title = {Synthesis of Domain Specific {CNF} Encoders for Bit-Vector Solvers},\n booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th\n International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},\n pages = {302--320},\n year = {2016},\n crossref = {DBLP:conf/sat/2016},\n url = {https://doi.org/10.1007/978-3-319-40970-2\\_19},\n doi = {10.1007/978-3-319-40970-2\\_19},\n timestamp = {Tue, 14 May 2019 10:00:41 +0200},\n biburl = {https://dblp.org/rec/conf/sat/Inala0S16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n SyGuS-Comp 2016: Results and Analysis.\n \n \n \n \n\n\n \n Alur, R.; Fisman, D.; Singh, R.; and Solar-Lezama, A.\n\n\n \n\n\n\n In
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016, pages 178–202, 2016. \n
\n\n
\n\n
\n\n
\n\n \n \n Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:journals/corr/AlurFSS16a,\n author = {Rajeev Alur and\n Dana Fisman and\n Rishabh Singh and\n Armando Solar{-}Lezama},\n title = {SyGuS-Comp 2016: Results and Analysis},\n booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,\n July 17-18, 2016},\n pages = {178--202},\n year = {2016},\n crossref = {DBLP:journals/corr/PiskacD16},\n url = {https://doi.org/10.4204/EPTCS.229.13},\n doi = {10.4204/EPTCS.229.13},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/AlurFSS16a.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n\n\n\n\n\n