ask others

Mark Santolucito

> Home > Persons

Person information

affiliation: Yale University

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1803-10383
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10383
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR abs/1803.10383 (2018)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1805-04473
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1805-04473
Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac:
Statically Verifying Continuous Integration Configurations. CoRR abs/1805.04473 (2018)
2017
[j1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/pacmpl/SantolucitoZDSP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pacmpl/SantolucitoZDSP17
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/cpsweek/Finkbeiner0PS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpsweek/Finkbeiner0PS17
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek 2017: 43-47
[c5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/issta/Santolucito17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/Santolucito17
Mark Santolucito:
Version space learning for verification on temporal differentials. ISSTA 2017: 428-431
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1712-00246
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1712-00246
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1712.00246 (2017)
2016
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/SantolucitoZP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/SantolucitoZP16
Mark Santolucito, Ennan Zhai, Ruzica Piskac:
Probabilistic Automated Language Learning for Configuration Files. CAV (2) 2016: 80-87
2015
[c3]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/icfp/HudakQSW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/HudakQSW15
Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort:
Real-time interactive music in Haskell. FARM@ICFP 2015: 15-16
[c2]
- view
  - electronic edition via handle.net
- export record
  dblp key:
  - conf/icmc/SantolucitoQH15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icmc/SantolucitoQH15
Mark Santolucito, Donya Quick, Paul Hudak:
Media Modules: Intermedia Systems in a Pure Functional Paradigm. ICMC 2015
2012
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/acmidc/HarmsKISCKCK12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acmidc/HarmsKISCKCK12
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

see FAQ

maintained by

at