Mark Santolucito
Person information
- affiliation: Yale University
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [i2]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR abs/1803.10383 (2018) - 2017
- [j1]Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac:
Synthesizing configuration file specifications with association rule learning. PACMPL 1(OOPSLA): 64:1-64:20 (2017) - [c6]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek 2017: 43-47 - [c5]Mark Santolucito:
Version space learning for verification on temporal differentials. ISSTA 2017: 428-431 - [i1]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1712.00246 (2017) - 2016
- [c4]Mark Santolucito, Ennan Zhai, Ruzica Piskac:
Probabilistic Automated Language Learning for Configuration Files. CAV (2) 2016: 80-87 - 2015
- [c3]Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort:
Real-time interactive music in Haskell. FARM@ICFP 2015: 15-16 - [c2]Mark Santolucito, Donya Quick, Paul Hudak:
Media Modules: Intermedia Systems in a Pure Functional Paradigm. ICMC 2015 - 2012
- [c1]Kyle J. Harms, Jordana H. Kerr, Michelle Ichinco, Mark Santolucito, Alexis Chuck, Terian Koscik, Mary Chou, Caitlin Kelleher:
Designing a community to support long-term interest in programming for middle school children. IDC 2012: 304-307
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-12 21:43 CEST by the dblp team