BibTeX records: Mark Santolucito

download as .bib file

@article{DBLP:journals/corr/abs-1803-10383,
  author    = {Bernd Finkbeiner and
               Felix Klein and
               Ruzica Piskac and
               Mark Santolucito},
  title     = {Vehicle Platooning Simulations with Functional Reactive Programming},
  journal   = {CoRR},
  volume    = {abs/1803.10383},
  year      = {2018},
  url       = {http://arxiv.org/abs/1803.10383},
  archivePrefix = {arXiv},
  eprint    = {1803.10383},
  timestamp = {Wed, 11 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1803-10383},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04473,
  author    = {Mark Santolucito and
               Jialu Zhang and
               Ennan Zhai and
               Ruzica Piskac},
  title     = {Statically Verifying Continuous Integration Configurations},
  journal   = {CoRR},
  volume    = {abs/1805.04473},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.04473},
  archivePrefix = {arXiv},
  eprint    = {1805.04473},
  timestamp = {Mon, 04 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-04473},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SantolucitoZDSP17,
  author    = {Mark Santolucito and
               Ennan Zhai and
               Rahul Dhodapkar and
               Aaron Shim and
               Ruzica Piskac},
  title     = {Synthesizing configuration file specifications with association rule
               learning},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {64:1--64:20},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3133888},
  doi       = {10.1145/3133888},
  timestamp = {Fri, 27 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/SantolucitoZDSP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/Finkbeiner0PS17,
  author    = {Bernd Finkbeiner and
               Felix Klein and
               Ruzica Piskac and
               Mark Santolucito},
  title     = {Vehicle Platooning Simulations with Functional Reactive Programming},
  booktitle = {Proceedings of the 1st International Workshop on Safe Control of Connected
               and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April
               21, 2017},
  pages     = {43--47},
  year      = {2017},
  crossref  = {DBLP:conf/cpsweek/2017scav},
  url       = {http://doi.acm.org/10.1145/3055378.3055385},
  doi       = {10.1145/3055378.3055385},
  timestamp = {Sun, 07 May 2017 13:33:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/Finkbeiner0PS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Santolucito17,
  author    = {Mark Santolucito},
  title     = {Version space learning for verification on temporal differentials},
  booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  pages     = {428--431},
  year      = {2017},
  crossref  = {DBLP:conf/issta/2017},
  url       = {http://doi.acm.org/10.1145/3092703.3098238},
  doi       = {10.1145/3092703.3098238},
  timestamp = {Thu, 13 Jul 2017 14:49:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/Santolucito17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-00246,
  author    = {Bernd Finkbeiner and
               Felix Klein and
               Ruzica Piskac and
               Mark Santolucito},
  title     = {Synthesizing Functional Reactive Programs},
  journal   = {CoRR},
  volume    = {abs/1712.00246},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.00246},
  archivePrefix = {arXiv},
  eprint    = {1712.00246},
  timestamp = {Wed, 03 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-00246},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SantolucitoZP16,
  author    = {Mark Santolucito and
               Ennan Zhai and
               Ruzica Piskac},
  title     = {Probabilistic Automated Language Learning for Configuration Files},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  pages     = {80--87},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-41540-6\_5},
  doi       = {10.1007/978-3-319-41540-6\_5},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/SantolucitoZP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HudakQSW15,
  author    = {Paul Hudak and
               Donya Quick and
               Mark Santolucito and
               Daniel Winograd{-}Cort},
  title     = {Real-time interactive music in Haskell},
  booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Functional
               Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada,
               September 5, 2015},
  pages     = {15--16},
  year      = {2015},
  crossref  = {DBLP:conf/icfp/2015farm},
  url       = {http://doi.acm.org/10.1145/2808083.2808087},
  doi       = {10.1145/2808083.2808087},
  timestamp = {Tue, 15 Dec 2015 17:41:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HudakQSW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmc/SantolucitoQH15,
  author    = {Mark Santolucito and
               Donya Quick and
               Paul Hudak},
  title     = {Media Modules: Intermedia Systems in a Pure Functional Paradigm},
  booktitle = {Looking Back, Looking Forward: Proceedings of the 41st International
               Computer Music Conference, {ICMC} 2015, Denton, TX, USA, September
               25 - October 1, 2015},
  year      = {2015},
  crossref  = {DBLP:conf/icmc/2015},
  url       = {http://hdl.handle.net/2027/spo.bbp2372.2015.077},
  timestamp = {Thu, 28 Jan 2016 16:04:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/SantolucitoQH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acmidc/HarmsKISCKCK12,
  author    = {Kyle J. Harms and
               Jordana H. Kerr and
               Michelle Ichinco and
               Mark Santolucito and
               Alexis Chuck and
               Terian Koscik and
               Mary Chou and
               Caitlin Kelleher},
  title     = {Designing a community to support long-term interest in programming
               for middle school children},
  booktitle = {The 11th International Conference on Interaction Design and Children,
               {IDC} '12, Bremen, UNK, Germany, June 12 - 15, 2012},
  pages     = {304--307},
  year      = {2012},
  crossref  = {DBLP:conf/acmidc/2012},
  url       = {http://doi.acm.org/10.1145/2307096.2307152},
  doi       = {10.1145/2307096.2307152},
  timestamp = {Tue, 25 Jun 2013 12:16:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acmidc/HarmsKISCKCK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2017scav,
  title     = {Proceedings of the 1st International Workshop on Safe Control of Connected
               and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April
               21, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3055378},
  doi       = {10.1145/3055378},
  isbn      = {978-1-4503-4976-5},
  timestamp = {Sun, 07 May 2017 13:33:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2017scav},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2017,
  editor    = {Tevfik Bultan and
               Koushik Sen},
  title     = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3092703},
  doi       = {10.1145/3092703},
  isbn      = {978-1-4503-5076-1},
  timestamp = {Thu, 13 Jul 2017 14:49:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-2,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9780},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41540-6},
  doi       = {10.1007/978-3-319-41540-6},
  isbn      = {978-3-319-41539-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2016-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015farm,
  editor    = {Henrik Nilsson and
               David Janin},
  title     = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on Functional
               Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada,
               September 5, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2808083},
  doi       = {10.1145/2808083},
  isbn      = {978-1-4503-3806-6},
  timestamp = {Tue, 15 Dec 2015 17:41:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2015farm},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmc/2015,
  title     = {Looking Back, Looking Forward: Proceedings of the 41st International
               Computer Music Conference, {ICMC} 2015, Denton, TX, USA, September
               25 - October 1, 2015},
  publisher = {Michigan Publishing},
  year      = {2015},
  url       = {http://quod.lib.umich.edu/i/icmc/bbp2372.2015},
  timestamp = {Thu, 28 Jan 2016 16:04:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icmc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acmidc/2012,
  editor    = {Heidi Schelhowe},
  title     = {The 11th International Conference on Interaction Design and Children,
               {IDC} '12, Bremen, UNK, Germany, June 12 - 15, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2307096},
  isbn      = {978-1-4503-1007-9},
  timestamp = {Tue, 25 Jun 2013 12:16:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acmidc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier