Mark Santolucito

Synthesizing configuration file specifications with association rule learning

Mark Santolucito, Ennan Zhai, Rahul M. Dhodapkar et al. · Proceedings of the ACM on Programming Languages · 2017 · 40 citations · Full text

Program Checking, Engineering, Software Systems +23

Can reactive synthesis and syntax-guided synthesis be friends?

Wonhyuk Choi, Bernd Finkbeiner, Ružica Piskač et al. · 2022 · 17 citations

Engineering, Software Engineering, System Synthesis +20

Live Programming By Example

Mark Santolucito, William T. Hallahan, Ružica Piskač · 2019 · 16 citations · Full text

Engineering, Visual Programming Language, Software Engineering +16

Vehicle Platooning Simulations with Functional Reactive Programming

Bernd Finkbeiner, Felix Klein, Ružica Piskač et al. · 2017 · 11 citations · Full text

Designing a community to support long-term interest in programming for middle school children

Kyle J. Harms, Jordana H. Kerr, Michelle Ichinco et al. · 2012 · 10 citations

Computational Literacy, Education, Online Learning Community +16