Mark Santolucito

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 32

Top Topics

Functional Programming

Top Venues

Publications

Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito
Statically Inferring Usage Bounds for Infrastructure as Code. CoRR (2024)
William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control. CoRR (2024)
Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito
Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis. CoRR (2024)
Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski
Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). Dagstuhl Reports 13 (2) (2023)
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
Can reactive synthesis and syntax-guided synthesis be friends? PLDI (2022)
Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac
Learning CI Configuration Correctness for Early Build Feedback. SANER (2022)
Mark Santolucito
Human-in-the-loop program synthesis for live coding. FARM@ICFP (2021)
Shmuel Berman, Mark Santolucito
Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs. CoRR (2021)
Mark Santolucito
The FMCAD 2021 Student Forum. FMCAD (2021)
Wonhyuk Choi, Michel Vazirani, Mark Santolucito
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. APLAS (2021)
Kat Pompermayer, Catherine Ji, Hannah Macias, Mark Santolucito
Demo: Synthesis-Enabled Live Coding on the Web. AIIDE Workshops (2021)
Maria Hwang, Mark Santolucito
cardComposer: A Functional Programming Card Game. ITiCSE (Working Group Reports) (2021)
Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) (2021)
Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito
Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH (2020)
Mark Santolucito, Ruzica Piskac
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. SIGCSE (2020)
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering For Syntax-Guided Synthesis. CoRR (2020)
Jürgen Cito, Mark Santolucito
Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
Grammar Filtering for Syntax-Guided Synthesis. AAAI (2020)
Jialu Zhang, Mark Santolucito, Ruzica Piskac
Succinct Explanations With Cascading Decision Trees. CoRR (2020)
Mark Santolucito, William T. Hallahan, Ruzica Piskac
Live Programming By Example. CHI Extended Abstracts (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Synthesizing functional reactive programs. Haskell@ICFP (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) (2019)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Synthesizing Functional Reactive Programs. CoRR (2019)
Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
Programming by Example: Efficient, but Not "Helpful". PLATEAU@SPLASH (2018)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR (2018)
Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac
Programming-by-example for audio: synthesizing digital signal processing programs. FARM@ICFP (2018)
Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac
Statically Verifying Continuous Integration Configurations. CoRR (2018)
Mark Santolucito
Version space learning for verification on temporal differentials. ISSTA (2017)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Temporal Stream Logic: Synthesis beyond the Bools. CoRR (2017)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek (2017)
Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac
Synthesizing configuration file specifications with association rule learning. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Mark Santolucito, Ennan Zhai, Ruzica Piskac
Probabilistic Automated Language Learning for Configuration Files. CAV (2) (2016)
Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort
Real-time interactive music in Haskell. FARM@ICFP (2015)
Mark Santolucito, Donya Quick, Paul Hudak
Media Modules: Intermedia Systems in a Pure Functional Paradigm. ICMC (2015)
Kyle J. Harms, Jordana H. Kerr, Michelle Ichinco, Mark Santolucito, Alexis Chuck, Terian Koscik, Mary Chou, Caitlin Kelleher
Designing a community to support long-term interest in programming for middle school children. IDC (2012)