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
292017
Probabilistic automated language learning for configuration files
M Santolucito, E Zhai, R Piskac
International Conference on Computer Aided Verification, 80-87, 2016
262016
Temporal stream logic: Synthesis beyond the bools
B Finkbeiner, F Klein, R Piskac, M Santolucito
International Conference on Computer Aided Verification, 609-629, 2019
152019
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
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
142019
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
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
72018
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
52020
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
Statically verifying continuous integration configurations
M Santolucito, J Zhang, E Zhai, R Piskac
arXiv preprint arXiv:1805.04473, 2018
52018
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
Media modules: Intermedia systems in a pure functional paradigm
M Santolucito, D Quick, P Hudak
ICMC, 2015
32015
Human-in-the-loop program synthesis for live coding
M Santolucito
Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art …, 2021
22021
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
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
Version space learning for verification on temporal differentials
M Santolucito
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
12017
The FMCAD 2021 Student Forum
M Santolucito
2021 Formal Methods in Computer Aided Design (FMCAD), 1-1, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20