| 2025 | MEMOCODE | Automated Power Domain Insertion and Control in Dataflow Circuits. | Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim |
| 2024 | CCS | Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users. | Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito |
| 2022 | PLDI | Can reactive synthesis and syntax-guided synthesis be friends? | Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito |
| 2021 | APLAS | Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. | Wonhyuk Choi, Michel Vazirani, Mark Santolucito |
| 2021 | FMCAD | The FMCAD 2021 Student Forum. | Mark Santolucito |
| 2021 | ICFP | Human-in-the-loop program synthesis for live coding. | Mark Santolucito |
| 2021 | ITiCSE | cardComposer: A Functional Programming Card Game. | Maria L. Hwang, Mark Santolucito |
| 2021 | TACAS | Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. | Julien Lepiller, Ruzica Piskac, Martin Schf, Mark Santolucito |
| 2020 | AAAI | Grammar Filtering for Syntax-Guided Synthesis. | Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito |
| 2020 | OOPSLA | Towards checkpoint placement for dynamic memory allocation in intermittent computing. | Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito |
| 2020 | SIGCSE | Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. | Mark Santolucito, Ruzica Piskac |
| 2019 | CAV | Temporal Stream Logic: Synthesis Beyond the Bools. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2019 | CHI | Live Programming By Example. | Mark Santolucito, William T. Hallahan, Ruzica Piskac |
| 2019 | HASKELL | Synthesizing functional reactive programs. | Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito |
| 2018 | ICFP | Programming-by-example for audio: synthesizing digital signal processing programs. | Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac |
| 2018 | OOPSLA | Programming by Example: Efficient, but Not "Helpful". | Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac |
| 2017 | ISSTA | Version space learning for verification on temporal differentials. | Mark Santolucito |
| 2016 | CAV | Probabilistic Automated Language Learning for Configuration Files. | Mark Santolucito, Ennan Zhai, Ruzica Piskac |
| 2015 | ICFP | Real-time interactive music in Haskell. | Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort |