BibTeX records: Mark Santolucito

download as .bib file

@article{DBLP:journals/corr/abs-2402-15632,
  author       = {Feitong Qiao and
                  Aryana Mohammadi and
                  J{\"{u}}rgen Cito and
                  Mark Santolucito},
  title        = {Statically Inferring Usage Bounds for Infrastructure as Code},
  journal      = {CoRR},
  volume       = {abs/2402.15632},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.15632},
  doi          = {10.48550/ARXIV.2402.15632},
  eprinttype    = {arXiv},
  eprint       = {2402.15632},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-15632.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2402-16905,
  author       = {Raven Rothkopf and
                  Hannah Tongxin Zeng and
                  Mark Santolucito},
  title        = {Enforcing Temporal Constraints on Generative Agent Behavior with Reactive
                  Synthesis},
  journal      = {CoRR},
  volume       = {abs/2402.16905},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.16905},
  doi          = {10.48550/ARXIV.2402.16905},
  eprinttype    = {arXiv},
  eprint       = {2402.16905},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-16905.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dagstuhl-reports/CitoPSZS23,
  author       = {J{\"{u}}rgen Cito and
                  Ruzica Piskac and
                  Mark Santolucito and
                  Andy Zaidman and
                  Daniel Sokolowski},
  title        = {Resilient Software Configuration and Infrastructure Code Analysis
                  (Dagstuhl Seminar 23082)},
  journal      = {Dagstuhl Reports},
  volume       = {13},
  number       = {2},
  pages        = {163--182},
  year         = {2023},
  url          = {https://doi.org/10.4230/DagRep.13.2.163},
  doi          = {10.4230/DAGREP.13.2.163},
  timestamp    = {Mon, 16 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/CitoPSZS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/ChoiFPS22,
  author       = {Wonhyuk Choi and
                  Bernd Finkbeiner and
                  Ruzica Piskac and
                  Mark Santolucito},
  editor       = {Ranjit Jhala and
                  Isil Dillig},
  title        = {Can reactive synthesis and syntax-guided synthesis be friends?},
  booktitle    = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, San Diego, CA, USA, June 13 -
                  17, 2022},
  pages        = {229--243},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3519939.3523429},
  doi          = {10.1145/3519939.3523429},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChoiFPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcre/SantolucitoZZCP22,
  author       = {Mark Santolucito and
                  Jialu Zhang and
                  Ennan Zhai and
                  J{\"{u}}rgen Cito and
                  Ruzica Piskac},
  title        = {Learning {CI} Configuration Correctness for Early Build Feedback},
  booktitle    = {{IEEE} International Conference on Software Analysis, Evolution and
                  Reengineering, {SANER} 2022, Honolulu, HI, USA, March 15-18, 2022},
  pages        = {1006--1017},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SANER53432.2022.00118},
  doi          = {10.1109/SANER53432.2022.00118},
  timestamp    = {Fri, 28 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcre/SantolucitoZZCP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiide/PompermayerJMS21,
  author       = {Kat Pompermayer and
                  Catherine Ji and
                  Hannah Macias and
                  Mark Santolucito},
  editor       = {Brent Harrison},
  title        = {Demo: Synthesis-Enabled Live Coding on the Web},
  booktitle    = {Joint Proceedings of the {AIIDE} 2021 Workshops co-located with 17th
                  {AAAI} Conference on Artificial Intelligence and Interactive Digital
                  Entertainment {(AIIDE} 2021)(AAAI 2021), Virtual Event, Lexington,
                  KY, USA, October 11-12, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3217},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-3217/paper21.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiide/PompermayerJMS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChoiVS21,
  author       = {Wonhyuk Choi and
                  Michel Vazirani and
                  Mark Santolucito},
  editor       = {Hakjoo Oh},
  title        = {Program Synthesis for Musicians: {A} Usability Testbed for Temporal
                  Logic Specifications},
  booktitle    = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
                  2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13008},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89051-3\_4},
  doi          = {10.1007/978-3-030-89051-3\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/ChoiVS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Santolucito21,
  author       = {Mark Santolucito},
  title        = {The {FMCAD} 2021 Student Forum},
  booktitle    = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
                  CT, USA, October 19-22, 2021},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_8},
  doi          = {10.34727/2021/ISBN.978-3-85448-046-4\_8},
  timestamp    = {Tue, 07 Dec 2021 17:02:16 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/Santolucito21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Santolucito21,
  author       = {Mark Santolucito},
  editor       = {Daniel Winograd{-}Cort and
                  Jean{-}Louis Giavitto},
  title        = {Human-in-the-loop program synthesis for live coding},
  booktitle    = {{FARM} 2021: Proceedings of the 9th {ACM} {SIGPLAN} International
                  Workshop on Functional Art, Music, Modelling, and Design, Virtual
                  Event, Korea, 27 August 2021},
  pages        = {47--53},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3471872.3472972},
  doi          = {10.1145/3471872.3472972},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Santolucito21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iticse/HwangS21,
  author       = {Maria L. Hwang and
                  Mark Santolucito},
  editor       = {Carsten Schulte and
                  Brett A. Becker and
                  Monica Divitini and
                  Erik Barendsen},
  title        = {cardComposer: {A} Functional Programming Card Game},
  booktitle    = {ITiCSE '21: Proceedings of the 26th {ACM} Conference on Innovation
                  and Technology in Computer Science Education V.2, Virtual Event, Germany,
                  June 26 - July 1, 2021},
  pages        = {635--636},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3456565.3460029},
  doi          = {10.1145/3456565.3460029},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/HwangS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/LepillerPSS21,
  author       = {Julien Lepiller and
                  Ruzica Piskac and
                  Martin Sch{\"{a}}f and
                  Mark Santolucito},
  editor       = {Jan Friso Groote and
                  Kim Guldstrand Larsen},
  title        = {Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 27th International Conference, {TACAS} 2021, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12652},
  pages        = {105--123},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-72013-1\_6},
  doi          = {10.1007/978-3-030-72013-1\_6},
  timestamp    = {Fri, 14 May 2021 08:34:19 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LepillerPSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2108-08724,
  author       = {Shmuel Berman and
                  Mark Santolucito},
  title        = {Programming-By-Example by Programming-By-Example: Synthesis of Looping
                  Programs},
  journal      = {CoRR},
  volume       = {abs/2108.08724},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.08724},
  eprinttype    = {arXiv},
  eprint       = {2108.08724},
  timestamp    = {Mon, 23 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-08724.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/CitoS20,
  author       = {J{\"{u}}rgen Cito and
                  Mark Santolucito},
  title        = {Software Engineering for Infrastructure and Configuration (SEConfig)
                  - Workshop Report},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {45},
  number       = {2},
  pages        = {23--24},
  year         = {2020},
  url          = {https://doi.org/10.1145/3385678.3385686},
  doi          = {10.1145/3385678.3385686},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/CitoS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/MortonHSPS20,
  author       = {Kairo Morton and
                  William T. Hallahan and
                  Elven Shum and
                  Ruzica Piskac and
                  Mark Santolucito},
  title        = {Grammar Filtering for Syntax-Guided Synthesis},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {1611--1618},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i02.5522},
  doi          = {10.1609/AAAI.V34I02.5522},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/MortonHSPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/ShoemakerPS20,
  author       = {Nicholas Shoemaker and
                  Ruzica Piskac and
                  Mark Santolucito},
  editor       = {Hakjoo Oh and
                  Yulei Sui},
  title        = {Towards checkpoint placement for dynamic memory allocation in intermittent
                  computing},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Tools for Automatic Program Analysis, TAPAS@SPLASH 2020, Virtual Event,
                  USA, November 17, 2020},
  pages        = {20--22},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427764.3428323},
  doi          = {10.1145/3427764.3428323},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/ShoemakerPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigcse/SantolucitoP20,
  author       = {Mark Santolucito and
                  Ruzica Piskac},
  editor       = {Jian Zhang and
                  Mark Sherriff and
                  Sarah Heckman and
                  Pamela A. Cutter and
                  Alvaro E. Monge},
  title        = {Formal Methods and Computing Identity-based Mentorship for Early Stage
                  Researchers},
  booktitle    = {Proceedings of the 51st {ACM} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2020, Portland, OR, USA, March 11-14, 2020},
  pages        = {135--141},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3328778.3366957},
  doi          = {10.1145/3328778.3366957},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcse/SantolucitoP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2002-02884,
  author       = {Kairo Morton and
                  William T. Hallahan and
                  Elven Shum and
                  Ruzica Piskac and
                  Mark Santolucito},
  title        = {Grammar Filtering For Syntax-Guided Synthesis},
  journal      = {CoRR},
  volume       = {abs/2002.02884},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.02884},
  eprinttype    = {arXiv},
  eprint       = {2002.02884},
  timestamp    = {Mon, 10 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-02884.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2010-06631,
  author       = {Jialu Zhang and
                  Mark Santolucito and
                  Ruzica Piskac},
  title        = {Succinct Explanations With Cascading Decision Trees},
  journal      = {CoRR},
  volume       = {abs/2010.06631},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.06631},
  eprinttype    = {arXiv},
  eprint       = {2010.06631},
  timestamp    = {Fri, 28 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-06631.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Finkbeiner0PS19,
  author       = {Bernd Finkbeiner and
                  Felix Klein and
                  Ruzica Piskac and
                  Mark Santolucito},
  editor       = {Isil Dillig and
                  Serdar Tasiran},
  title        = {Temporal Stream Logic: Synthesis Beyond the Bools},
  booktitle    = {Computer Aided Verification - 31st International Conference, {CAV}
                  2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11561},
  pages        = {609--629},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-25540-4\_35},
  doi          = {10.1007/978-3-030-25540-4\_35},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Finkbeiner0PS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/chi/SantolucitoHP19,
  author       = {Mark Santolucito and
                  William T. Hallahan and
                  Ruzica Piskac},
  editor       = {Regan L. Mandryk and
                  Stephen A. Brewster and
                  Mark Hancock and
                  Geraldine Fitzpatrick and
                  Anna L. Cox and
                  Vassilis Kostakos and
                  Mark Perry},
  title        = {Live Programming By Example},
  booktitle    = {Extended Abstracts of the 2019 {CHI} Conference on Human Factors in
                  Computing Systems, {CHI} 2019, Glasgow, Scotland, UK, May 04-09, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290607.3313266},
  doi          = {10.1145/3290607.3313266},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/SantolucitoHP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Finkbeiner0PS19,
  author       = {Bernd Finkbeiner and
                  Felix Klein and
                  Ruzica Piskac and
                  Mark Santolucito},
  editor       = {Richard A. Eisenberg},
  title        = {Synthesizing functional reactive programs},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {162--175},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342601},
  doi          = {10.1145/3331545.3342601},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Finkbeiner0PS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1905-09825,
  author       = {Bernd Finkbeiner and
                  Felix Klein and
                  Ruzica Piskac and
                  Mark Santolucito},
  title        = {Synthesizing Functional Reactive Programs},
  journal      = {CoRR},
  volume       = {abs/1905.09825},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.09825},
  eprinttype    = {arXiv},
  eprint       = {1905.09825},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-09825.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/SantolucitoRLP18,
  author       = {Mark Santolucito and
                  Kate Rogers and
                  Aedan Lombardo and
                  Ruzica Piskac},
  editor       = {Brent Yorgey and
                  Donya Quick},
  title        = {Programming-by-example for audio: synthesizing digital signal processing
                  programs},
  booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on Functional
                  Art, Music, Modeling, and Design, FARM@ICFP 2018, St. Louis, MO, USA,
                  September 29, 2018},
  pages        = {18--25},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3242903.3242906},
  doi          = {10.1145/3242903.3242906},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/SantolucitoRLP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/SantolucitoGWP18,
  author       = {Mark Santolucito and
                  Drew Goldman and
                  Allyson Weseley and
                  Ruzica Piskac},
  editor       = {Titus Barik and
                  Joshua Sunshine and
                  Sarah E. Chasins},
  title        = {Programming by Example: Efficient, but Not "Helpful"},
  booktitle    = {9th Workshop on Evaluation and Usability of Programming Languages
                  and Tools, PLATEAU@SPLASH 2018, November 5, 2018, Boston, Massachusetts,
                  {USA}},
  series       = {OASIcs},
  volume       = {67},
  pages        = {3:1--3:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/OASIcs.PLATEAU.2018.3},
  doi          = {10.4230/OASICS.PLATEAU.2018.3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/SantolucitoGWP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  eprinttype    = {arXiv},
  eprint       = {1803.10383},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10383.bib},
  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},
  eprinttype    = {arXiv},
  eprint       = {1805.04473},
  timestamp    = {Fri, 28 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-04473.bib},
  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      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{OOPSLA}},
  pages        = {64:1--64:20},
  year         = {2017},
  url          = {https://doi.org/10.1145/3133888},
  doi          = {10.1145/3133888},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/SantolucitoZDSP17.bib},
  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},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3055378.3055385},
  doi          = {10.1145/3055378.3055385},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/Finkbeiner0PS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Santolucito17,
  author       = {Mark Santolucito},
  editor       = {Tevfik Bultan and
                  Koushik Sen},
  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},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3092703.3098238},
  doi          = {10.1145/3092703.3098238},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/Santolucito17.bib},
  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        = {Temporal Stream Logic: Synthesis beyond the Bools},
  journal      = {CoRR},
  volume       = {abs/1712.00246},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.00246},
  eprinttype    = {arXiv},
  eprint       = {1712.00246},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-00246.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SantolucitoZP16,
  author       = {Mark Santolucito and
                  Ennan Zhai and
                  Ruzica Piskac},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  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}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9780},
  pages        = {80--87},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41540-6\_5},
  doi          = {10.1007/978-3-319-41540-6\_5},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SantolucitoZP16.bib},
  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},
  editor       = {Henrik Nilsson and
                  David Janin},
  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},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2808083.2808087},
  doi          = {10.1145/2808083.2808087},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HudakQSW15.bib},
  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},
  publisher    = {Michigan Publishing},
  year         = {2015},
  url          = {https://hdl.handle.net/2027/spo.bbp2372.2015.077},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icmc/SantolucitoQH15.bib},
  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},
  editor       = {Heidi Schelhowe},
  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},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2307096.2307152},
  doi          = {10.1145/2307096.2307152},
  timestamp    = {Tue, 01 Jun 2021 15:22:46 +0200},
  biburl       = {https://dblp.org/rec/conf/acmidc/HarmsKISCKCK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.