Follow
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
302017
Probabilistic automated language learning for configuration files
M Santolucito, E Zhai, R Piskac
International Conference on Computer Aided Verification, 80-87, 2016
272016
Temporal stream logic: Synthesis beyond the bools
B Finkbeiner, F Klein, R Piskac, M Santolucito
International Conference on Computer Aided Verification, 609-629, 2019
182019
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
162019
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
152017
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
Live programming by example
M Santolucito, WT Hallahan, R Piskac
Extended abstracts of the 2019 CHI conference on human factors in computing …, 2019
112019
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
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
82018
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
72020
Statically verifying continuous integration configurations
M Santolucito, J Zhang, E Zhai, R Piskac
arXiv preprint arXiv:1805.04473, 2018
62018
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
Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities
J Lepiller, R Piskac, M Schäf, M Santolucito
International Conference on Tools and Algorithms for the Construction and …, 2021
42021
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
Can reactive synthesis and syntax-guided synthesis be friends?
W Choi, B Finkbeiner, R Piskac, M Santolucito
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
32022
Human-in-the-loop program synthesis for live coding
M Santolucito
Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art …, 2021
32021
Media modules: Intermedia systems in a pure functional paradigm
M Santolucito, D Quick, P Hudak
ICMC, 2015
32015
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
W Choi, M Vazirani, M Santolucito
Asian Symposium on Programming Languages and Systems, 47-61, 2021
12021
Towards checkpoint placement for dynamic memory allocation in intermittent computing
N Shoemaker, R Piskac, M Santolucito
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for …, 2020
12020
Software Engineering for Infrastructure and Configuration (SEConfig)-Workshop Report
J Cito, M Santolucito
ACM SIGSOFT Software Engineering Notes 45 (2), 23-24, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20