Designing a community to support long-term interest in programming for middle school children. - Kyle J. Harms; Jordana H. Kerr; Michelle Ichinco; Mark Santolucito; Alexis Chuck; Terian Koscik; Mary Chou; Caitlin Kelleher (IDC, 2012)

Real-time interactive music in Haskell. - Paul Hudak; Donya Quick; Mark Santolucito; Daniel Winograd-Cort (FARM@ICFP, 2015)

Media Modules: Intermedia Systems in a Pure Functional Paradigm. - Mark Santolucito; Donya Quick; Paul Hudak (ICMC, 2015)

Probabilistic Automated Language Learning for Configuration Files. - Mark Santolucito; Ennan Zhai; Ruzica Piskac (CAV (2), 2016)

Vehicle Platooning Simulations with Functional Reactive Programming. - Bernd Finkbeiner; Felix Klein 001; Ruzica Piskac; Mark Santolucito (SCAV@CPSWeek, 2017)

Version space learning for verification on temporal differentials. - Mark Santolucito (ISSTA, 2017)

Synthesizing configuration file specifications with association rule learning. - Mark Santolucito; Ennan Zhai; Rahul Dhodapkar; Aaron Shim; Ruzica Piskac (Proc. ACM Program. Lang., 2017)

Programming-by-example for audio: synthesizing digital signal processing programs. - Mark Santolucito; Kate Rogers; Aedan Lombardo; Ruzica Piskac (FARM@ICFP, 2018)

Programming by Example: Efficient, but Not "Helpful". - Mark Santolucito; Drew Goldman; Allyson Weseley; Ruzica Piskac (PLATEAU@SPLASH, 2018)

Statically Verifying Continuous Integration Configurations. - Mark Santolucito; Jialu Zhang 002; Ennan Zhai; Ruzica Piskac (CoRR, 2018)

Temporal Stream Logic: Synthesis Beyond the Bools. - Bernd Finkbeiner; Felix Klein 001; Ruzica Piskac; Mark Santolucito (CAV (1), 2019)

Live Programming By Example. - Mark Santolucito; William T. Hallahan; Ruzica Piskac (CHI Extended Abstracts, 2019)

Synthesizing functional reactive programs. - Bernd Finkbeiner; Felix Klein 001; Ruzica Piskac; Mark Santolucito (Haskell@ICFP, 2019)

Grammar Filtering for Syntax-Guided Synthesis. - Kairo Morton; William T. Hallahan; Elven Shum; Ruzica Piskac; Mark Santolucito (AAAI, 2020)

Towards checkpoint placement for dynamic memory allocation in intermittent computing. - Nicholas Shoemaker; Ruzica Piskac; Mark Santolucito (TAPAS@SPLASH, 2020)

Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. - Mark Santolucito; Ruzica Piskac (SIGCSE, 2020)

Succinct Explanations With Cascading Decision Trees. - Jialu Zhang 002; Mark Santolucito; Ruzica Piskac (CoRR, 2020)

Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report. - Jürgen Cito; Mark Santolucito (ACM SIGSOFT Softw. Eng. Notes, 2020)

Demo: Synthesis-Enabled Live Coding on the Web. - Kat Pompermayer; Catherine Ji; Hannah Macias; Mark Santolucito (AIIDE Workshops, 2021)

Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. - Wonhyuk Choi; Michel Vazirani; Mark Santolucito (APLAS, 2021)

The FMCAD 2021 Student Forum. - Mark Santolucito (FMCAD, 2021)

Human-in-the-loop program synthesis for live coding. - Mark Santolucito (FARM@ICFP, 2021)

cardComposer: A Functional Programming Card Game. - Maria L. Hwang; Mark Santolucito (ITiCSE (2), 2021)

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. - Julien Lepiller; Ruzica Piskac; Martin Schäf; Mark Santolucito (TACAS (2), 2021)

Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs. - Shmuel Berman; Mark Santolucito (CoRR, 2021)

Can reactive synthesis and syntax-guided synthesis be friends? - Wonhyuk Choi; Bernd Finkbeiner; Ruzica Piskac; Mark Santolucito (PLDI, 2022)

Learning CI Configuration Correctness for Early Build Feedback. - Mark Santolucito; Jialu Zhang 002; Ennan Zhai; Jürgen Cito; Ruzica Piskac (SANER, 2022)

MaxPy: An open-source Python package for text-based generation of MaxMSP patches. - Ranger Y. Liu; Satchel Peterson; Richard T. Lee; Mark Santolucito (NIME, 2023)

Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). - Jürgen Cito; Ruzica Piskac; Mark Santolucito; Andy Zaidman; Daniel Sokolowski (Dagstuhl Reports, 2023)

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 (CCS, 2024)

Statically Inferring Usage Bounds for Infrastructure as Code. - Feitong Qiao; Aryana Mohammadi; Jürgen Cito; Mark Santolucito (VSTTE, 2024)

Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis. - Raven Rothkopf; Hannah Tongxin Zeng; Mark Santolucito (CoRR, 2024)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control. - William Murphy; Nikolaus Holzer; Nathan Koenig; Leyi Cui; Raven Rothkopf; Feitong Qiao; Mark Santolucito (CoRR, 2024)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages. - William Zhang; Maria Leon; Ryan Xu; Adriana Cárdenas; Amelia Wissink; Hanna Martin; Maya Srikanth; Kaya Dorogi; Christian Valadez; Pedro Perez; Citlalli Grijalva; Corey Zhang; et al. (CoRR, 2024)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis. - William Murphy; Nikolaus Holzer; Feitong Qiao; Leyi Cui; Raven Rothkopf; Nathan Koenig; Mark Santolucito (CoRR, 2024)

Using a Feedback Loop for LLM-based Infrastructure as Code Generation. - Mayur Amarnath Palavalli; Mark Santolucito (CoRR, 2024)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis. - William Fishell; Andoni Rodriguez; Mark Santolucito (CoRR, 2025)

Embedding Alignment in Code Generation for Audio. - Sam Kouteili; Hiren Madhu; George Typaldos; Mark Santolucito (CoRR, 2025)