Mark Santolucito
Mark Santolucito
Barnard College, Columbia University
Verified email at barnard.edu - Homepage
Title
Cited by
Cited by
Year
Synthesizing configuration file specifications with association rule learning
M Santolucito, E Zhai, R Dhodapkar, A Shim, R Piskac
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-20, 2017
272017
Probabilistic automated language learning for configuration files
M Santolucito, E Zhai, R Piskac
International Conference on Computer Aided Verification, 80-87, 2016
212016
Vehicle platooning simulations with functional reactive programming
B Finkbeiner, F Klein, R Piskac, M Santolucito
Proceedings of the 1st International Workshop on Safe Control of Connected …, 2017
142017
Designing a community to support long-term interest in programming for middle school children
KJ Harms, JH Kerr, M Ichinco, M Santolucito, A Chuck, T Koscik, M Chou, ...
Proceedings of the 11th International Conference on Interaction Design and …, 2012
122012
Temporal stream logic: Synthesis beyond the bools
B Finkbeiner, F Klein, R Piskac, M Santolucito
International Conference on Computer Aided Verification, 609-629, 2019
92019
Live programming by example
M Santolucito, WT Hallahan, R Piskac
Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing …, 2019
92019
Real-time interactive music in haskell
P Hudak, D Quick, M Santolucito, D Winograd-Cort
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art …, 2015
92015
Synthesizing functional reactive programs
B Finkbeiner, F Klein, R Piskac, M Santolucito
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 162-175, 2019
82019
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
M Santolucito, R Piskac
Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020
52020
Programming by Example: Efficient, but Not" Helpful"
M Santolucito, D Goldman, A Weseley, R Piskac
9th Workshop on Evaluation and Usability of Programming Languages and Tools …, 2018
52018
Grammar filtering for syntax-guided synthesis
K Morton, W Hallahan, E Shum, R Piskac, M Santolucito
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1611-1618, 2020
42020
Programming-by-example for audio: synthesizing digital signal processing programs
M Santolucito, K Rogers, A Lombardo, R Piskac
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art …, 2018
42018
Statically verifying continuous integration configurations
M Santolucito, J Zhang, E Zhai, R Piskac
arXiv preprint arXiv:1805.04473, 2018
32018
Media modules: Intermedia systems in a pure functional paradigm
M Santolucito, D Quick, P Hudak
ICMC, 2015
32015
Software Engineering for Infrastructure and Configuration (SEConfig)-Workshop Report
J Cito, M Santolucito
ACM SIGSOFT Software Engineering Notes 45 (2), 23-24, 2021
12021
Version space learning for verification on temporal differentials
M Santolucito
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
12017
Human-in-the-loop program synthesis for live coding
M Santolucito
Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art …, 2021
2021
Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs
S Berman, M Santolucito
arXiv preprint arXiv:2108.08724, 2021
2021
cardComposer: A Functional Programming Card Game
M Hwang, M Santolucito
Proceedings of the 26th ACM Conference on Innovation and Technology in …, 2021
2021
TSL Synthesis Synthesizer: Reconfigurable Signal Flows through Program Synthesis
M Vazirani, W Choi, M Santolucito
International Conference on New Interfaces for Musical Expression, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20