Mark Santolucito

I am an Assistant Professor of Computer Science at Barnard College, Columbia University. I received my PhD in Computer Science working on Program Synthesis and Computer Music at Yale. I develop program synthesis and analysis techniques to provide programmers new ways to interface with code.


See current projects on the lab website


Also find this list on on dblp.

Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
Raven Rothkopf, Angel Leyi Cui, Hannah Tongxin Zeng, Arya Sinha, Mark Santolucito

Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk Choi, Ruzica Piskac, Bernd Finkbeiner, Mark Santolucito
PLDI 2022

Learning CI Configuration Correctness for Early Build Feedback
Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito and Ruzica Piskac
SANER 2022

TSL Synthesis Synthesizer: Reconfigurable Signal Flows through Program Synthesis
Michel Vazirani, Wonhyuk Choi, and Mark Santolucito
NIME 2021

Demo: Synthesis-Enabled Live Coding on the Web
Kat Pompermayer, Catherine Ji, Hannah Macias, Mark Santolucito
PLIE 2021

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

Human-in-the-loop Program Synthesis for Live Coding
Mark Santolucito
FARM 2021

cardComposer: A Functional Programming Card Game
Maria Hwang, Mark Santolucito
ITiCSE 2021

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
Julien Lepiller, Ruzica Piskac, Martin Schaef, Mark Santolucito
TACAS 2021

Towards checkpoint placement for dynamic memory allocation in intermittent computing
Nicolas Shoemaker, Ruzica Piskac, Mark Santolucito
TAPAS 2020

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

Grammar Filtering for Syntax Guided Synthesis
Kairo Morton, William Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
AAAI 2020

Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
Mark Santolucito, Ruzica Piskac

Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Haskell 2019

Studio Report: Yale Open Music Initiative
Scott Petersen, Mark Santolucito, Konrad Kaczmarek
ICMC 2019

Temporal Stream Logic - Synthesis Beyond the Bools
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
CAV 2019

Live Programming By Example
Mark Santolucito, William Hallahan, Ruzica Piskac
CHI 2019 Extended Abstract

Programming by Example: Efficient, but Not "Helpful"
Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac

Programming-by-Example for Audio: Synthesizing Digital Signal Processing Programs
Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac
FARM 2018

Synthesizing Configuration File Specifications with Association Rule Learning
Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac

Version space learning for verification on temporal differentials
Mark Santolucito
ISSTA 2017

Vehicle Platooning Simulations with Functional Reactive Programming
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
SCAV 2017

Probabilistic Automated Language Learning for Configuration Files
Mark Santolucito, Ennan Zhai, Ruzica Piskac
CAV 2016

Real-Time Interactive Music in Haskell
Paul Hudak, Donya Quick, Mark Santolucito, Dan Winograd-Cort
FARM 2015

Media Modules: Intermedia Systems in a Pure Functional Paradigm
Mark Santolucito, Donya Quick, Paul Hudak
ICMC 2015

Communalizing the Interfaces of Single Player Games - (Extended Abstract)
Mark Santolucito, Maria Hwang
DiGRA 2014

Raid the fridge!: Promoting Healthy Eating Habits Through the Game Monster Appetite (Poster) (Best of Show)
Maria Hwang, Pantiphar Chantes, Mark Santolucito
GLS 2014

SimQuabbin Project: Game-based Environmental Science Education in a Virtual World - (Poster)
J. Scott Payne, Mark Santolucito
GLS 2013

Designing a Community to Support Long-term Interest in Programming for Middle School Children
Kyle J. Harms, Jordana H. Kerr, Mark Santolucito, Terian Koscik, Michelle Ichinco, Alexis Chuck, Mary Chou, Caitlin L. Kelleher
IDC 2012


Zoom Synth Jams

With the COVID-19 pandemic, the collaborative nature of music making is a sorely needed therapy. Through Zoom we can collaboratively perform, but high-latency makes this challenging with traditional approaches. Solutions exist to minimize this latency, but if we are stuck with Zoom, how can we perform around and with the latency?

Analog Synth Jams

With the Yale Open Music Initiative (OMI), we have hosted a number of analog synthesizer jam sessions. You can listen to recordings of these synth jams on the OMI homepage.


The Yale Open Music Initiative now hosts a regualr end-of-semester concert. For the kickoff concert in Fall of 2018, I composed a live coding piece, Wakoudonohiroba. From the concert notes - "Wakoudonohiroba extends the calculated interface of live coding with a more visceral experience of hand signs and motions. Live coding is used to control the high level narrative and arch of the piece, while the artist uses motion tracking technology to control fine grained details of the sound synthesis."


Instamirror was a interactive art installation presented at the GLS 9.0 art show at University of Madison, Wisconsin. Read a summary of the work or the full proceedings of the conference.


Isosteeple was a sound art installation funded by the Amherst College Copeland Colloquium "Art in Place and the Place of Art". The installation was centered around interaction audio sampling by use of motion detection. Read a review.


MTM combines dance with custom motion tracking software to trigger various collections of samples. This early exploration of simple motion tracking tells a story through audio and physical interaction with an unseen (aural) environment.

© Mark Santolucito 2013