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
532017
Temporal stream logic: Synthesis beyond the bools
B Finkbeiner, F Klein, R Piskac, M Santolucito
International Conference on Computer Aided Verification, 609-629, 2019
432019
Probabilistic automated language learning for configuration files
M Santolucito, E Zhai, R Piskac
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
332016
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
212019
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
182017
Live programming by example
M Santolucito, WT Hallahan, R Piskac
Extended abstracts of the 2019 CHI conference on human factors in computing …, 2019
172019
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
162022
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
162020
Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities
J Lepiller, R Piskac, M Schäf, M Santolucito
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
132021
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
132012
Statically verifying continuous integration configurations
M Santolucito, J Zhang, E Zhai, R Piskac
arXiv preprint arXiv:1805.04473, 2018
92018
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
92018
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
Learning CI configuration correctness for early build feedback
M Santolucito, J Zhang, E Zhai, J Cito, R Piskac
2022 IEEE International Conference on Software Analysis, Evolution and …, 2022
82022
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
62020
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
62018
Human-in-the-loop program synthesis for live coding
M Santolucito
Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art …, 2021
42021
Program synthesis for musicians: A usability testbed for temporal logic specifications
W Choi, M Vazirani, M Santolucito
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021
42021
Media modules: Intermedia systems in a pure functional paradigm
M Santolucito, D Quick, P Hudak
ICMC, 2015
32015
Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
R Rothkopf, AL Cui, HT Zeng, A Sinha, M Santolucito
Plateau Workshop, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–20