Mark Santolucito

48 papers A* 3A 3B 2C 1Misc 1Journal 22Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings. CoRR Zhaoxiang Liu, Samuel Judson, Raj Gautam Dutta, Mark Santolucito, Xiaolong Guo, Ning Luo
2026	J	`jnl`	Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications. CoRR Sam Nicholas Kouteili, William Fishell, Christian Scaff, Mark Santolucito, Ruzica Piskac
2026	J	`jnl`	Warm Starting State-Space Models with Automata Learning. CoRR William Fishell, Sam Nicholas Kouteili, Mark Santolucito
2025	C	`conf`	Automated Power Domain Insertion and Control in Dataflow Circuits. MEMOCODE Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim
2025	J	`jnl`	Embedding Alignment in Code Generation for Audio. CoRR Sam Nicholas Kouteili, Hiren Madhu, George Typaldos, Mark Santolucito
2025	J	`jnl`	Mechanics of Learned Reasoning 1: TempoBench, A Benchmark for Interpretable Deconstruction of Reasoning System Performance. CoRR Nikolaus Holzer, William Fishell, Baishakhi Ray, Mark Santolucito
2025	J	`jnl`	Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis. CoRR William Fishell, Andoni Rodriguez, Mark Santolucito
2024	J	`jnl`	Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages. CoRR 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
2024	J	`jnl`	Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis. CoRR William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito
2024	J	`jnl`	Enforcing Temporal Constraints on Generative Agent Behavior with Reactive Synthesis. CoRR Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito
2024	J	`jnl`	Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control. CoRR William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito
2024	A*	`conf`	Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users. CCS Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito
2024	—	`conf`	Statically Inferring Usage Bounds for Infrastructure as Code. VSTTE Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito
2024	J	`jnl`	Statically Inferring Usage Bounds for Infrastructure as Code. CoRR Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito
2024	J	`jnl`	Using a Feedback Loop for LLM-based Infrastructure as Code Generation. CoRR Mayur Amarnath Palavalli, Mark Santolucito
2023	—	`conf`	MaxPy: An open-source Python package for text-based generation of MaxMSP patches. NIME Ranger Y. Liu, Satchel Peterson, Richard T. Lee, Mark Santolucito
2023	J	`jnl`	Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). Dagstuhl Reports Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski
2022	A*	`conf`	Can reactive synthesis and syntax-guided synthesis be friends? PLDI Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
2022	A	`conf`	Learning CI Configuration Correctness for Early Build Feedback. SANER Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac
2021	—	`conf`	Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
2021	—	`conf`	Demo: Synthesis-Enabled Live Coding on the Web. AIIDE Workshops Kat Pompermayer, Catherine Ji, Hannah Macias, Mark Santolucito
2021	—	`conf`	Human-in-the-loop program synthesis for live coding. FARM@ICFP Mark Santolucito
2021	B	`conf`	Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. APLAS Wonhyuk Choi, Michel Vazirani, Mark Santolucito
2021	J	`jnl`	Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs. CoRR Shmuel Berman, Mark Santolucito
2021	B	`conf`	The FMCAD 2021 Student Forum. FMCAD Mark Santolucito
2021	—	`conf`	cardComposer: A Functional Programming Card Game. ITiCSE (2) Maria L. Hwang, Mark Santolucito
2020	A	`conf`	Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. SIGCSE Mark Santolucito, Ruzica Piskac
2020	J	`jnl`	Grammar Filtering For Syntax-Guided Synthesis. CoRR Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
2020	A*	`conf`	Grammar Filtering for Syntax-Guided Synthesis. AAAI Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
2020	J	`jnl`	Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report. ACM SIGSOFT Softw. Eng. Notes Jürgen Cito, Mark Santolucito
2020	J	`jnl`	Succinct Explanations With Cascading Decision Trees. CoRR Jialu Zhang, Mark Santolucito, Ruzica Piskac
2020	—	`conf`	Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito
2019	—	`conf`	Live Programming By Example. CHI Extended Abstracts Mark Santolucito, William T. Hallahan, Ruzica Piskac
2019	J	`jnl`	Synthesizing Functional Reactive Programs. CoRR Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019	—	`conf`	Synthesizing functional reactive programs. Haskell@ICFP Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019	—	`conf`	Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2018	—	`conf`	Programming by Example: Efficient, but Not "Helpful". PLATEAU@SPLASH Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
2018	—	`conf`	Programming-by-example for audio: synthesizing digital signal processing programs. FARM@ICFP Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac
2018	J	`jnl`	Statically Verifying Continuous Integration Configurations. CoRR Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac
2018	J	`jnl`	Vehicle Platooning Simulations with Functional Reactive Programming. CoRR Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017	J	`jnl`	Synthesizing configuration file specifications with association rule learning. Proc. ACM Program. Lang. Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac
2017	J	`jnl`	Temporal Stream Logic: Synthesis beyond the Bools. CoRR Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017	—	`conf`	Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017	A	`conf`	Version space learning for verification on temporal differentials. ISSTA Mark Santolucito
2016	—	`conf`	Probabilistic Automated Language Learning for Configuration Files. CAV (2) Mark Santolucito, Ennan Zhai, Ruzica Piskac
2015	—	`conf`	Media Modules: Intermedia Systems in a Pure Functional Paradigm. ICMC Mark Santolucito, Donya Quick, Paul Hudak
2015	—	`conf`	Real-time interactive music in Haskell. FARM@ICFP Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort
2012	Misc	`conf`	Designing a community to support long-term interest in programming for middle school children. IDC Kyle J. Harms, Jordana H. Kerr, Michelle Ichinco, Mark Santolucito, Alexis Chuck, Terian Koscik, Mary Chou, Caitlin Kelleher