Armando Solar-Lezama

发表

Rajeev Alur, Rastislav Bodik, Garvit Juniwal, 2013, FMCAD 2013.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2016, SYNT@CAV.
Armando Solar-Lezama, Rohit Singh, Armando Solar-Lezama, 2016, ArXiv.
Armando Solar-Lezama, Zenna Tavares, Armando Solar-Lezama, 2017, AAAI Spring Symposia.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2018, Commun. ACM.
Armando Solar-Lezama, Gabriel Scherer, James Koppel, 2018, Proc. ACM Program. Lang..
Armando Solar-Lezama, Osbert Bastani, Xin Zhang, 2018, ArXiv.
Armando Solar-Lezama, Josh Tenenbaum, Marta Kryven, 2020, NeurIPS.
Armando Solar-Lezama, Jacob Andreas, Joshua B. Tenenbaum, 2020, ArXiv.
Rajeev Alur, Garvit Juniwal, Milo M. K. Martin, 2013, 2013 Formal Methods in Computer-Aided Design.
Armando Solar-Lezama, Stephen Chong, Thomas H. Austin, 2015, ArXiv.
Armando Solar-Lezama, Rohit Singh, Jeevana Priya Inala, 2016, SAT.
Sanjit A. Seshia, Armando Solar-Lezama, Rastislav Bodík, 2007, PLDI '07.
Armando Solar-Lezama, Thomas H. Austin, Cormac Flanagan, 2012 .
Armando Solar-Lezama, Joshua B. Tenenbaum, Mathias Sablé-Meyer, 2018, NIPS 2018.
Rishabh Singh, Armando Solar-Lezama, Rishabh Singh, 2011, ESEC/FSE '11.
Armando Solar-Lezama, Regina Barzilay, Karthik Narasimhan, 2016, SPLASH.
Armando Solar-Lezama, Mia Minnes, Martin C. Rinard, 2012, Haifa Verification Conference.
Armando Solar-Lezama, James Koppel, Derrick Lin, 2017, SPLASH.
Rishabh Singh, Armando Solar-Lezama, Xin Zhang, 2018, NeurIPS.
Armando Solar-Lezama, Nadia Polikarpova, Shachar Itzhaky, 2016, ArXiv.
Armando Solar-Lezama, Ivan Kuraj, Armando Solar-Lezama, 2017, SNAPL.
Armando Solar-Lezama, 2011 .
Armando Solar-Lezama, Xin Zhang, Osbert Bastani, 2019, ArXiv.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2014, SIGMOD Conference.
Paolo Papotti, Armando Solar-Lezama, Ahmed K. Elmagarmid, 2017, Proc. VLDB Endow..
Swarat Chaudhuri, Armando Solar-Lezama, Martin Clochard, 2014, POPL.
Armando Solar-Lezama, Zhilei Xu, Kuat Yessenov, 2011, OOPSLA '11.
Leslie Pack Kaelbling, Armando Solar-Lezama, Zachery Miranda, 2017, ArXiv.
Lawrence Rauchwerger, Armando Solar-Lezama, Jaejin Lee, 2020, ACM Trans. Parallel Comput..
Leslie Pack Kaelbling, Armando Solar-Lezama, Yewen Pu, 2017, UAI.
Armando Solar-Lezama, Sicun Gao, Dimitrios N. Serpanos, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
Swarat Chaudhuri, Armando Solar-Lezama, 2012, CAV.
Armando Solar-Lezama, Sicun Gao, Soonho Kong, 2019, CAV.
Armando Solar-Lezama, Rajesh Ranganath, Zenna Tavares, 2019, ArXiv.
Armando Solar-Lezama, Jeffrey S. Foster, Xiaokang Qiu, 2019, Proc. ACM Program. Lang..
Armando Solar-Lezama, Samuel Madden, Nan Tang, 2019, Proc. ACM Program. Lang..
Leslie Pack Kaelbling, Armando Solar-Lezama, Zachery Miranda, 2018, ICML 2018.
Armando Solar-Lezama, James Koppel, Armando Solar-Lezama, 2017, ArXiv.
Armando Solar-Lezama, Armando Solar-Lezama, 2012, International Journal on Software Tools for Technology Transfer.
Armando Solar-Lezama, Joshua B. Tenenbaum, Kevin Ellis, 2016, NIPS.
Deian Stefan, Armando Solar-Lezama, Nadia Polikarpova, 2020 .
Armando Solar-Lezama, Zenna Tavares, Armando Solar-Lezama, 2016 .
Armando Solar-Lezama, Stephen Chong, Thomas H. Austin, 2015, PLDI.
Bernd Finkbeiner, Armando Solar-Lezama, 2014 .
Sanjit A. Seshia, Armando Solar-Lezama, Rastislav Bodík, 2006, ASPLOS XII.
Krzysztof Krawiec, Armando Solar-Lezama, K. Krawiec, 2014, PPSN.
Sumit Gulwani, Rishabh Singh, Armando Solar-Lezama, 2014, Electronic Proceedings in Theoretical Computer Science.
Hadas Kress-Gazit, Armando Solar-Lezama, Thais Campos, 2019, 2019 International Conference on Robotics and Automation (ICRA).
Armando Solar-Lezama, Ivan Kuraj, Armando Solar-Lezama, 2020, EdgeSys@EuroSys.
Armando Solar-Lezama, Jeffrey S. Foster, Xiaokang Qiu, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Armando Solar-Lezama, Ivan Kuraj, Kuat Yessenov, 2017, PLDI.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2012, ArXiv.
Wojciech Matusik, Armando Solar-Lezama, Karl D. D. Willis, 2020, ArXiv.
Armando Solar-Lezama, Kemal Ebcioglu, Rastislav Bodík, 2005, PLDI '05.
Armando Solar-Lezama, Nadia Polikarpova, Shachar Itzhaky, 2016 .
Armando Solar-Lezama, Osbert Bastani, Zenna Tavares, 2020, ICLR.
Armando Solar-Lezama, Sicun Gao, Soonho Kong, 2018, CAV.
Armando Solar-Lezama, Osbert Bastani, Yewen Pu, 2018, NeurIPS.
Armando Solar-Lezama, Armando Solar-Lezama, 2009, APLAS.
Swarat Chaudhuri, Armando Solar-Lezama, 2011, CAV.
Paolo Papotti, Armando Solar-Lezama, Ahmed K. Elmagarmid, 2017, SIGMOD Conference.
Armando Solar-Lezama, Jeffrey S. Foster, Xiaokang Qiu, 2015, CAV.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2017, SYNT@CAV.
Sumit Gulwani, Rishabh Singh, Armando Solar-Lezama, 2012, ArXiv.
Armando Solar-Lezama, James Koppel, Varot Premtoon, 2017, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity.
Armando Solar-Lezama, Regina Barzilay, Joshua B. Tenenbaum, 2018, ArXiv.
Armando Solar-Lezama, Yongquan Lu, Charles E. Leiserson, 2016, OOPSLA.
Armando Solar-Lezama, James Koppel, Jackson Kearl, 2020, ArXiv.
Armando Solar-Lezama, Rastislav Bodik, R. Bodík, 2008 .
Alvin Cheung, Armando Solar-Lezama, Shoaib Kamil, 2015, SNAPL.
Armando Solar-Lezama, Nadia Polikarpova, Xiaokang Qiu, 2015, TACAS.
Armando Solar-Lezama, Bradley C. Kuszmaul, Charles E. Leiserson, 2017, ACM Trans. Parallel Comput..
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2015, SYNT.
Rastislav Bodik, Armando Solar-Lezama, Vijay Saraswat, 2006 .
Vivek Sarkar, Jan Vitek, Armando Solar-Lezama, 2006 .
Armando Solar-Lezama, Osbert Bastani, Xin Zhang, 2018, Proc. ACM Program. Lang..
Armando Solar-Lezama, Jeffrey S. Foster, Xiaokang Qiu, 2017, Formal Methods in System Design.
Alvin Cheung, Armando Solar-Lezama, Shoaib Kamil, 2016, PLDI.
Armando Solar-Lezama, Joshua B. Tenenbaum, Luke B. Hewitt, 2019, ICML.
Armando Solar-Lezama, Joshua B. Tenenbaum, Catherine Wong, 2020, Philosophical Transactions of the Royal Society A.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2011, ESEC/FSE '11.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2013, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Armando Solar-Lezama, Shoaib Kamil, Zhilei Xu, 2014, SC14: International Conference for High Performance Computing, Networking, Storage and Analysis.
Vijay Kumar, Armando Solar-Lezama, Martin C. Rinard, 2021, NeurIPS.
Armando Solar-Lezama, Xiaokang Qiu, 2017, Proc. ACM Program. Lang..
Armando Solar-Lezama, Joshua B. Tenenbaum, Mathias Sablé-Meyer, 2018, NeurIPS.
Armando Solar-Lezama, M. Frans Kaashoek, Nickolai Zeldovich, 2013, SOSP.
Armando Solar-Lezama, Sicun Gao, Soonho Kong, 2018, ArXiv.
Armando Solar-Lezama, Nadia Polikarpova, Armando Solar-Lezama, 2015, PLDI.
Armando Solar-Lezama, Joshua B. Tenenbaum, Kevin Ellis, 2015, NIPS.
Armando Solar-Lezama, Jean Yang, Kuat Yessenov, 2012, POPL '12.
Armando Solar-Lezama, Joshua B. Tenenbaum, Daniel Ritchie, 2017, NeurIPS.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2013, PLDI.
Sumit Gulwani, Rishabh Singh, Armando Solar-Lezama, 2012, PLDI.
Sumit Gulwani, Armando Solar-Lezama, Rishabh Singh, 2012, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Rishabh Singh, Armando Solar-Lezama, 2012, CAV.
Armando Solar-Lezama, James Koppel, Varot Premtoon, 2020, PLDI.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2014, IEEE Data Eng. Bull..
Armando Solar-Lezama, Thomas H. Austin, Cormac Flanagan, 2013, PLAS '13.
Armando Solar-Lezama, Bradley C. Kuszmaul, Charles E. Leiserson, 2016, PPOPP.
Sumit Gulwani, Rajeev Alur, Armando Solar-Lezama, 2020, ArXiv.
Swarat Chaudhuri, Armando Solar-Lezama, Swarat Chaudhuri, 2010, PLDI '10.
Armando Solar-Lezama, Rajesh Ranganath, Zenna Tavares, 2019, ICML.
Armando Solar-Lezama, Joshua B. Tenenbaum, Kevin Ellis, 2019, NeurIPS.
Armando Solar-Lezama, Regina Barzilay, Joshua B. Tenenbaum, 2018, MAPL@PLDI.
Armando Solar-Lezama, Rastislav Bodík, Christopher Grant Jones, 2008, PLDI '08.
Lawrence Rauchwerger, Armando Solar-Lezama, Guy Steele, 2019, ACM Trans. Parallel Comput..
Leslie Pack Kaelbling, Armando Solar-Lezama, Zachery Miranda, 2017, ICML.
Armando Solar-Lezama, Jeffrey S. Foster, Xiaokang Qiu, 2015, ESEC/SIGSOFT FSE.
Wojciech Matusik, Armando Solar-Lezama, Daniela Rus, 2019, ACM Trans. Graph..
Deian Stefan, Armando Solar-Lezama, Nadia Polikarpova, 2020, Proc. ACM Program. Lang..
Armando Solar-Lezama, Sriram Krishnamoorthy, Koushik Sen, 2017, ArXiv.
Armando Solar-Lezama, James Koppel, 2017, SPLASH.
Srinivas Devadas, Armando Solar-Lezama, Mate Soos, 2012, SAT.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2012, CIKM.
Alvin Cheung, Armando Solar-Lezama, Samuel Madden, 2013, CIDR.
Armando Solar-Lezama, Joshua B. Tenenbaum, Brenden M. Lake, 2020, NeurIPS.
Armando Solar-Lezama, Xiaokang Qiu, Benjamin S. Lerner, 2015, ArXiv.
Alvin Cheung, Armando Solar-Lezama, Alvin Cheung, 2016, Found. Trends Program. Lang..
Rishabh Singh, Armando Solar-Lezama, Zhilei Xu, 2014, VMCAI.
Armando Solar-Lezama, Rajesh Ranganath, Zenna Tavares, 2019, ArXiv.
Armando Solar-Lezama, Nathan Fulton, Subhro Das, 2020, HSCC.
Martin Rinard, Armando Solar-Lezama, Osbert Bastani, 2021, ArXiv.
Armando Solar-Lezama, Joshua B. Tenenbaum, Mathias Sablé-Meyer, 2021, PLDI.
Armando Solar-Lezama, Zenna Tavares, James Koppel, 2021, ICML.
Armando Solar-Lezama, Kuat Yessenov, Jean Yang, 2012, POPL.
Armando Solar-Lezama, Deian Stefan, Nadia Polikarpova, 2016, Proc. ACM Program. Lang..
Armando Solar-Lezama, Kemal Ebcioglu, Rastislav Bodík, 2005, PLDI.