Mark Santolucito

According to our database, Mark Santolucito authored at least 35 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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, 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

Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis.

Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito

CoRR, 2024

Statically Inferring Usage Bounds for Infrastructure as Code.

Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito

CoRR, 2024

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

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082).

Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski

Dagstuhl Reports, February, 2023

MaxPy: An open-source Python package for text-based generation of MaxMSP patches.

Ranger Y. Liu, Satchel Peterson, Richard T. Lee, Mark Santolucito

Proceedings of the 23rd International Conference on New Interfaces for Musical Expression, 2023

2022

Learning CI Configuration Correctness for Early Build Feedback.

Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac

Proceedings of the IEEE International Conference on Software Analysis, 2022

Can reactive synthesis and syntax-guided synthesis be friends?

Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs.

Shmuel Berman, Mark Santolucito

CoRR, 2021

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.

Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

cardComposer: A Functional Programming Card Game.

Maria L. Hwang, Mark Santolucito

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021

Human-in-the-loop program synthesis for live coding.

Mark Santolucito

Proceedings of the FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, 2021

The FMCAD 2021 Student Forum.

Mark Santolucito

Proceedings of the Formal Methods in Computer Aided Design, 2021

Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.

Wonhyuk Choi, Michel Vazirani, Mark Santolucito

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

Demo: Synthesis-Enabled Live Coding on the Web.

Kat Pompermayer, Catherine Ji, Hannah Macias, Mark Santolucito

Proceedings of the Joint Proceedings of the AIIDE 2021 Workshops co-located with 17th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2021)(AAAI 2021), 2021

2020

Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report.

Jürgen Cito, Mark Santolucito

ACM SIGSOFT Softw. Eng. Notes, 2020

Succinct Explanations With Cascading Decision Trees.

Jialu Zhang, Mark Santolucito, Ruzica Piskac

CoRR, 2020

Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers.

Mark Santolucito, Ruzica Piskac

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Towards checkpoint placement for dynamic memory allocation in intermittent computing.

Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

Grammar Filtering for Syntax-Guided Synthesis.

Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Synthesizing functional reactive programs.

Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Live Programming By Example.

Mark Santolucito, William T. Hallahan, Ruzica Piskac

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Temporal Stream Logic: Synthesis Beyond the Bools.

Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Statically Verifying Continuous Integration Configurations.

Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac

CoRR, 2018

Programming by Example: Efficient, but Not "Helpful".

Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac

Proceedings of the 9th Workshop on Evaluation and Usability of Programming Languages and Tools, 2018

Programming-by-example for audio: synthesizing digital signal processing programs.

Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, 2018

2017

Synthesizing configuration file specifications with association rule learning.

Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac

Proc. ACM Program. Lang., 2017

Version space learning for verification on temporal differentials.

Mark Santolucito

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Vehicle Platooning Simulations with Functional Reactive Programming.

Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

2016

Probabilistic Automated Language Learning for Configuration Files.

Mark Santolucito, Ennan Zhai, Ruzica Piskac

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Media Modules: Intermedia Systems in a Pure Functional Paradigm.

Mark Santolucito, Donya Quick, Paul Hudak

Proceedings of the Looking Back, 2015

Real-time interactive music in Haskell.

Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort

Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, 2015

2012

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

Proceedings of the 11th International Conference on Interaction Design and Children, 2012