Please skim the list of papers below and Sign up for a presentation; due on Monday, March 31.

List of Papers for Presentation

  1. A. Blasi, A. Goffi, K. Kuznetsov, A. Gorla, M. D. Ernst, M. Pezzè, and S. D. Castellanos.
    Translating Code Comments to Procedure Specifications.
    Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2018.
    [DOI]

  2. B. Caulfield, M. N. Rabe, S. A. Seshia, and S. Tripakis.
    What’s Decidable about Syntax-Guided Synthesis?
    arXiv preprint arXiv:1510.08393, 2016.
    [arXiv]

  3. R. Chugh, B. Hempel, M. Spradlin, and J. Albers.
    Programmatic and Direct Manipulation, Together at Last.
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2016.
    [DOI]

  4. I. Drosos, T. Barik, P. J. Guo, R. DeLine, and S. Gulwani.
    Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists.
    Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems (CHI), 2020.
    [DOI]

  5. K. Ellis, C. Wong, M. Nye, M. Sablé-Meyer, L. Morales, L. Hewitt, L. Cary, and A. Solar-Lezama.
    DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning.
    Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), 2021.
    [DOI]

  6. M. Endres, S. Fakhoury, S. Chakraborty, and S. K. Lahiri.
    Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
    Proceedings of the ACM on Software Engineering, Volume 1, Issue FSE. 2024.
    [DOI]

  7. B. Finkbeiner, F. Klein, R. Piskac, and M. Santolucito.
    Temporal Stream Logic: Synthesis Beyond the Bools.
    In Computer Aided Verification (CAV), Lecture Notes in Computer Science, vol. 11561, 2019.
    [DOI]

  8. S. Gulwani.
    Automating String Processing in Spreadsheets Using Input-Output Examples.
    Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2011.
    [DOI]

  9. S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari.
    Oracle-Guided Component-Based Program Synthesis.
    Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE), 2010.
    [DOI]

  10. S. Jha and S. A. Seshia.
    A Theory of Formal Synthesis via Inductive Learning.
    Acta Informatica, 54(7), 2017.
    [DOI]

  11. R. Ji, Y. Zhao, N. Polikarpova, Y. Xiong, and Z. Hu.
    Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.
    Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue PLDI. 2024.
    [DOI]

  12. P. Krogmeier and P. Madhusudan.
    Languages with Decidable Learning: A Meta-theorem.
    Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue OOPSLA1. 2023.
    [DOI]

  13. W. Lee.
    Combining the Top-Down Propagation and Bottom-Up Enumeration for Inductive Program Synthesis.
    Proceedings of the ACM on Programming Languages (PACMPL), Volume 5, Issue POPL. 2021.
    [DOI]

  14. Z. Li, J. Huang, and M. Naik.
    Scallop: A Language for Neurosymbolic Programming.
    Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue PLDI. 2023.
    [DOI]

  15. M. R. H. Misu, C. V. Lopes, I. Ma, and J. Noble.
    Towards AI-Assisted Synthesis of Verified Dafny Methods.
    Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2024.
    [DOI]

  16. S. Pailoor, Y. Wang, and I. Dillig.
    Semantic Code Refactoring for Abstract Data Types.
    Proceedings of the ACM on Programming Languages (PACMPL), Volume 8, Issue POPL. 2024.
    [DOI]

  17. R. Singh, R. Singh, Z. Xu, R. Krosnick, and A. Solar-Lezama.
    Modular Synthesis of Sketches Using Models.
    In Verification, Model Checking, and Abstract Interpretation (VMCAI), Lecture Notes in Computer Science, vol. 8318, 2014.
    [DOI]

  18. S. Srivastava, S. Gulwani, and S. Foster.
    From Program Verification to Program Synthesis.
    Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2010.
    [DOI]

  19. E. Torlak and R. Bodík.
    A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages.
    Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2014.
    [DOI]

  20. A. Verma, V. Murali, R. Singh, P. Kohli, and S. Chaudhuri.
    Programmatically Interpretable Reinforcement Learning.
    Proceedings of the 35th International Conference on Machine Learning (ICML), 2018.
    [URL]