Armando Solar-Lezama
Orcid: 0000-0001-7604-8252Affiliations:
- Massachusetts Institute of Technology, Cambridge, USA
According to our database1,
Armando Solar-Lezama
authored at least 149 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions.
CoRR, 2024
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.
CoRR, 2024
Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2024
Proceedings of the Twelfth International Conference on Learning Representations, 2024
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
Proceedings of the Findings of the Association for Computational Linguistics, 2024
2023
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., January, 2023
CoRR, 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Proc. ACM Program. Lang., 2022
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions.
CoRR, 2022
ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications.
CoRR, 2022
Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
2021
Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences.
ACM Trans. Graph., 2021
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
ACM Trans. Parallel Comput., 2020
CoRR, 2020
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning.
CoRR, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the xxAI - Beyond Explainable AI, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the 3rd International Workshop on Edge Systems, Analytics and Networking, 2020
2019
ACM Trans. Parallel Comput., 2019
Proc. ACM Program. Lang., 2019
Proc. ACM Program. Lang., 2019
CoRR, 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
Proceedings of the 36th International Conference on Machine Learning, 2019
Proceedings of the 36th International Conference on Machine Learning, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proc. ACM Program. Lang., 2018
One tool, many languages: language-parametric transformation with incremental parametric syntax.
Proc. ACM Program. Lang., 2018
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
Proceedings of the 35th International Conference on Machine Learning, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Autogen: Automatic Discovery of Efficient Recursive Divide-8-Conquer Algorithms for Solving Dynamic Programming Problems.
ACM Trans. Parallel Comput., 2017
Proc. ACM Program. Lang., 2017
Formal Methods Syst. Des., 2017
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017
Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the 2017 ACM International Conference on Management of Data, 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge.
Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017
Proceedings of the Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, 2017
Proceedings of the 2017 AAAI Spring Symposia, 2017
2016
ACM Trans. Database Syst., 2016
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016
CoRR, 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
ACM Trans. Comput. Syst., 2015
CoRR, 2015
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015
Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
Proceedings of the International Conference for High Performance Computing, 2014
Proceedings of the Parallel Problem Solving from Nature - PPSN XIII, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
2013
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.
CoRR, 2013
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010
2009
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009
2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
2006
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006
2005
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005