Mark Santolucito

Assistant Professor of Computer Science at Barnard College, Columbia University

Research Expertise

Formal Methods
Program Synthesis
Code Generation
Program Analysis
Computer Music

About

Mark Santolucito is a highly educated computer scientist with a passion for teaching. He earned his PhD and MS in Computer Science from Yale University in 2020, and his BA in Computer Science & Music from Amherst College in 2013. With a strong background in both computer science and music, Mark brings a unique perspective to his work. Currently, Mark is an Assistant Professor at Barnard College, where he teaches a variety of courses in computer science. He is dedicated to helping his students develop a deep understanding of computer science concepts and apply them to real-world problems. Mark is also actively involved in research, and has published numerous papers in top computer science journals. In addition to his academic pursuits, Mark is also a talented musician and enjoys incorporating music into his teaching. He believes that creativity and problem-solving skills are crucial in both computer science and music, and strives to inspire his students to think outside the box. With his strong educational background, teaching experience, and passion for both computer science and music, Mark Santolucito is a valuable asset to the academic community. He is committed to helping his students reach their full potential and making a positive impact in the field of computer science.

Legacy Map

Full View

Publications

Synthesizing configuration file specifications with association rule learning
Proceedings of the ACM on Programming Languages
2017
Temporal Stream Logic: Synthesis Beyond the Bools
Lecture Notes in Computer Science
2019
Probabilistic Automated Language Learning for Configuration Files
Lecture Notes in Computer Science
2016
Can reactive synthesis and syntax-guided synthesis be friends?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
2022
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
Unknown Venue
2021
Learning CI Configuration Correctness for Early Build Feedback
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
2022
Designing a community to support long-term interest in programming for middle school children
Proceedings of the 11th International Conference on Interaction Design and Children
2012
Preprint repository arXiv achieves milestone million uploads
Physics Today
2014
The FMCAD 2017 graduate student forum
2017 Formal Methods in Computer Aided Design (FMCAD)
2017
PyArabic: A Python package for Arabic text
Journal of Open Source Software
2023
About the social role of child and adolescent psychiatrists in times of epidemic
IACAPAP ArXiv
2020
TeX (Live) and accessibility at arXiv
TUGboat
2024
Massively Parallel Computation: Algorithms and Applications
Unknown Venue
2023
$\text{MP}\ell\circ \mathrm{C}$: Privacy-Preserving IP Verification Using Logic Locking and Secure Multiparty Computation
2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS)
2023
Programming-by-example by programming-by-example: synthesis of looping programs
Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
2021
Mapping the Built Environment Process (BEP) Ecosystem via a Data to Knowledge Framework
2020 AIA/ACSA Intersections Research Conference: CARBON
2020
Control Theory — Single-Player Differential Games
Differential Games
2014
Promoting Healthy Eating Habits and Physical Activity among School-aged Children in Kuwait – “My Healthy Habits" Summer Camp
Unknown Venue
Human-in-the-loop program synthesis for live coding
Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design
2021
cardComposer: A Functional Programming Card Game
Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2
2021
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
Lecture Notes in Computer Science
2021
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Lecture Notes in Computer Science
2021
Towards checkpoint placement for dynamic memory allocation in intermittent computing
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis
2020
Grammar Filtering for Syntax-Guided Synthesis
Proceedings of the AAAI Conference on Artificial Intelligence
2020
Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report
ACM SIGSOFT Software Engineering Notes
2020
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
Proceedings of the 51st ACM Technical Symposium on Computer Science Education
2020
Live Programming By Example
Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems
2019
Synthesizing functional reactive programs
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell
2019
Programming-by-example for audio: synthesizing digital signal processing programs
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
2018
Version space learning for verification on temporal differentials
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
2017
Vehicle Platooning Simulations with Functional Reactive Programming
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles
2017
Real-time interactive music in Haskell
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design
2015
TSL Synthesis Synthesizer: Reconfigurable Signal Flows through Program Synthesis
NIME 2021

Education

Yale University

PhD, MS, Computer Science / May, 2020

New Haven, Connecticut, United States of America

Amherst College

BA, Computer Science & Music / May, 2013

Amherst

Experience

Barnard College

Assistant Professor

Join Mark on NotedSource!
Join Now

At NotedSource, we believe that professors, post-docs, scientists and other researchers have deep, untapped knowledge and expertise that can be leveraged to drive innovation within companies. NotedSource is committed to bridging the gap between academia and industry by providing a platform for collaboration with industry and networking with other researchers.

For industry, NotedSource identifies the right academic experts in 24 hours to help organizations build and grow. With a platform of thousands of knowledgeable PhDs, scientists, and industry experts, NotedSource makes connecting and collaborating easy.

For academic researchers such as professors, post-docs, and Ph.D.s, NotedSource provides tools to discover and connect to your colleagues with messaging and news feeds, in addition to the opportunity to be paid for your collaboration with vetted partners.

Expert Institutions
NotedSource has experts from Stanford University
Expert institutions using NotedSource include Oxfort University
Experts from McGill have used NotedSource to share their expertise
University of Chicago experts have used NotedSource
MIT researchers have used NotedSource
Proudly trusted by
Microsoft uses NotedSource for academic partnerships
Johnson & Johnson academic research projects on NotedSource
ProQuest (Clarivate) uses NotedSource as their industry academia platform
Slamom consulting engages academics for research collaboration on NotedSource
Omnicom and OMG find academics on notedsource
Unilever research project have used NotedSource to engage academic experts

Connect with researchers and scientists like Mark Santolucito on NotedSource to help your company with innovation, research, R&D, L&D, and more.