BibTeX records: Christos Dimoulas

download as .bib file

@article{DBLP:journals/pacmpl/MoyDF24,
  author       = {Cameron Moy and
                  Christos Dimoulas and
                  Matthias Felleisen},
  title        = {Effectful Software Contracts},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {2639--2666},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632930},
  doi          = {10.1145/3632930},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MoyDF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/LazarekGFD23,
  author       = {Lukas Lazarek and
                  Ben Greenman and
                  Matthias Felleisen and
                  Christos Dimoulas},
  title        = {How to Evaluate Blame for Gradual Types, Part 2},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{ICFP}},
  pages        = {159--186},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607836},
  doi          = {10.1145/3607836},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LazarekGFD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/GreenmanFD23,
  author       = {Ben Greenman and
                  Matthias Felleisen and
                  Christos Dimoulas},
  title        = {How Profilers Can Help Navigate Type Migration},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{OOPSLA2}},
  pages        = {544--573},
  year         = {2023},
  url          = {https://doi.org/10.1145/3622817},
  doi          = {10.1145/3622817},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GreenmanFD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/GreenmanDF23,
  author       = {Ben Greenman and
                  Christos Dimoulas and
                  Matthias Felleisen},
  title        = {Typed-Untyped Interactions: {A} Comparative Analysis},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {4:1--4:54},
  year         = {2023},
  url          = {https://doi.org/10.1145/3579833},
  doi          = {10.1145/3579833},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/GreenmanDF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/programming/GreenmanLDF22,
  author       = {Ben Greenman and
                  Lukas Lazarek and
                  Christos Dimoulas and
                  Matthias Felleisen},
  title        = {A Transient Semantics for Typed Racket},
  journal      = {Art Sci. Eng. Program.},
  volume       = {6},
  number       = {2},
  pages        = {9},
  year         = {2022},
  url          = {https://doi.org/10.22152/programming-journal.org/2022/6/9},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/GreenmanLDF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/ZhangHD22,
  author       = {Chenhao Zhang and
                  Jason D. Hartline and
                  Christos Dimoulas},
  editor       = {Ranjit Jhala and
                  Isil Dillig},
  title        = {Karp: a language for {NP} reductions},
  booktitle    = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, San Diego, CA, USA, June 13 -
                  17, 2022},
  pages        = {762--776},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3519939.3523732},
  doi          = {10.1145/3519939.3523732},
  timestamp    = {Mon, 09 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/ZhangHD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/LazarekGFD21,
  author       = {Lukas Lazarek and
                  Ben Greenman and
                  Matthias Felleisen and
                  Christos Dimoulas},
  title        = {How to evaluate blame for gradual types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{ICFP}},
  pages        = {1--29},
  year         = {2021},
  url          = {https://doi.org/10.1145/3473573},
  doi          = {10.1145/3473573},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LazarekGFD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/YouFD21,
  author       = {Shu{-}Hung You and
                  Robert Bruce Findler and
                  Christos Dimoulas},
  editor       = {Nobuko Yoshida},
  title        = {Sound and Complete Concolic Testing for Higher-order Functions},
  booktitle    = {Programming Languages and Systems - 30th European Symposium on Programming,
                  {ESOP} 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},
  series       = {Lecture Notes in Computer Science},
  volume       = {12648},
  pages        = {635--663},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-72019-3\_23},
  doi          = {10.1007/978-3-030-72019-3\_23},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/YouFD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2111-10411,
  author       = {Ben Greenman and
                  Lukas Lazarek and
                  Christos Dimoulas and
                  Matthias Felleisen},
  title        = {A Transient Semantics for Typed Racket},
  journal      = {CoRR},
  volume       = {abs/2111.10411},
  year         = {2021},
  url          = {https://arxiv.org/abs/2111.10411},
  eprinttype    = {arXiv},
  eprint       = {2111.10411},
  timestamp    = {Fri, 26 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2111-10411.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2112-02461,
  author       = {Roshan Shyamsunder and
                  Lukas Lazarek and
                  Christos Dimoulas and
                  Aleksandar Kuzmanovic},
  title        = {Multilateral Micro-Monitoring for Internet Streaming},
  journal      = {CoRR},
  volume       = {abs/2112.02461},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.02461},
  eprinttype    = {arXiv},
  eprint       = {2112.02461},
  timestamp    = {Tue, 07 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-02461.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/LazarekKSFD20,
  author       = {Lukas Lazarek and
                  Alexis King and
                  Samanvitha Sundar and
                  Robert Bruce Findler and
                  Christos Dimoulas},
  title        = {Does blame shifting work?},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {65:1--65:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371133},
  doi          = {10.1145/3371133},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LazarekKSFD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/programming/ZigmondCDM20,
  author       = {Ezra Zigmond and
                  Stephen Chong and
                  Christos Dimoulas and
                  Scott Moore},
  title        = {Fine-Grained, Language-Based Access Control for Database-Backed Applications},
  journal      = {Art Sci. Eng. Program.},
  volume       = {4},
  number       = {2},
  pages        = {3},
  year         = {2020},
  url          = {https://doi.org/10.22152/programming-journal.org/2020/4/3},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/programming/ZigmondCDM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2006-11639,
  author       = {Shu{-}Hung You and
                  Robert Bruce Findler and
                  Christos Dimoulas},
  title        = {Dynamic Symbolic Execution of Higher-Order Functions},
  journal      = {CoRR},
  volume       = {abs/2006.11639},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.11639},
  eprinttype    = {arXiv},
  eprint       = {2006.11639},
  timestamp    = {Tue, 23 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-11639.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/GreenmanFD19,
  author       = {Ben Greenman and
                  Matthias Felleisen and
                  Christos Dimoulas},
  title        = {Complete monitors for gradual types},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{OOPSLA}},
  pages        = {122:1--122:29},
  year         = {2019},
  url          = {https://doi.org/10.1145/3360548},
  doi          = {10.1145/3360548},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GreenmanFD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1909-12279,
  author       = {Ezra Zigmond and
                  Stephen Chong and
                  Christos Dimoulas and
                  Scott Moore},
  title        = {Fine-Grained, Language-Based Access Control for Database-Backed Applications},
  journal      = {CoRR},
  volume       = {abs/1909.12279},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.12279},
  eprinttype    = {arXiv},
  eprint       = {1909.12279},
  timestamp    = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-12279.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/WayeCD17,
  author       = {Lucas Waye and
                  Stephen Chong and
                  Christos Dimoulas},
  title        = {Whip: higher-order contracts for modern services},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{ICFP}},
  pages        = {36:1--36:28},
  year         = {2017},
  url          = {https://doi.org/10.1145/3110280},
  doi          = {10.1145/3110280},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/WayeCD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/PattersonPDA17,
  author       = {Daniel Patterson and
                  Jamie Perconti and
                  Christos Dimoulas and
                  Amal Ahmed},
  editor       = {Albert Cohen and
                  Martin T. Vechev},
  title        = {FunTAL: reasonably mixing a functional language with assembly},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
                  June 18-23, 2017},
  pages        = {495--509},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3062341.3062347},
  doi          = {10.1145/3062341.3062347},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/PattersonPDA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1711-03871,
  author       = {Daniel Patterson and
                  Jamie Perconti and
                  Christos Dimoulas and
                  Amal Ahmed},
  title        = {FunTAL: Reasonably Mixing a Functional Language with Assembly},
  journal      = {CoRR},
  volume       = {abs/1711.03871},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.03871},
  eprinttype    = {arXiv},
  eprint       = {1711.03871},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-03871.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DimoulasNFF16,
  author       = {Christos Dimoulas and
                  Max S. New and
                  Robert Bruce Findler and
                  Matthias Felleisen},
  editor       = {Jacques Garrigue and
                  Gabriele Keller and
                  Eijiro Sumii},
  title        = {Oh Lord, please don't let contracts be misunderstood (functional pearl)},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
                  2016},
  pages        = {117--131},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2951913.2951930},
  doi          = {10.1145/2951913.2951930},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/DimoulasNFF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/MooreDFFC16,
  author       = {Scott Moore and
                  Christos Dimoulas and
                  Robert Bruce Findler and
                  Matthew Flatt and
                  Stephen Chong},
  editor       = {Eelco Visser and
                  Yannis Smaragdakis},
  title        = {Extensible access control with authorization contracts},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
                  October 30 - November 4, 2016},
  pages        = {214--233},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2983990.2984021},
  doi          = {10.1145/2983990.2984021},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/MooreDFFC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csfw/AskarovMDC15,
  author       = {Aslan Askarov and
                  Scott Moore and
                  Christos Dimoulas and
                  Stephen Chong},
  editor       = {C{\'{e}}dric Fournet and
                  Michael W. Hicks and
                  Luca Vigan{\`{o}}},
  title        = {Cryptographic Enforcement of Language-Based Information Erasure},
  booktitle    = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
                  Italy, 13-17 July, 2015},
  pages        = {334--348},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/CSF.2015.30},
  doi          = {10.1109/CSF.2015.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/AskarovMDC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csfw/DimoulasMAC14,
  author       = {Christos Dimoulas and
                  Scott Moore and
                  Aslan Askarov and
                  Stephen Chong},
  title        = {Declarative Policies for Capability Control},
  booktitle    = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
                  Austria, 19-22 July, 2014},
  pages        = {3--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/CSF.2014.9},
  doi          = {10.1109/CSF.2014.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/DimoulasMAC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/MooreDKC14,
  author       = {Scott Moore and
                  Christos Dimoulas and
                  Dan King and
                  Stephen Chong},
  editor       = {Jason Flinn and
                  Hank Levy},
  title        = {{SHILL:} {A} Secure Shell Scripting Language},
  booktitle    = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  pages        = {183--199},
  publisher    = {{USENIX} Association},
  year         = {2014},
  url          = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/moore},
  timestamp    = {Tue, 02 Feb 2021 08:05:58 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/MooreDKC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/StricklandDTF13,
  author       = {T. Stephen Strickland and
                  Christos Dimoulas and
                  Asumu Takikawa and
                  Matthias Felleisen},
  title        = {Contracts for First-Class Classes},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {35},
  number       = {3},
  pages        = {11:1--11:58},
  year         = {2013},
  url          = {https://doi.org/10.1145/2518189},
  doi          = {10.1145/2518189},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/StricklandDTF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/DimoulasFF13,
  author       = {Christos Dimoulas and
                  Robert Bruce Findler and
                  Matthias Felleisen},
  editor       = {Antony L. Hosking and
                  Patrick Th. Eugster and
                  Cristina V. Lopes},
  title        = {Option contracts},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
                  Object Oriented Programming Systems Languages {\&} Applications,
                  {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
                  26-31, 2013},
  pages        = {475--494},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2509136.2509548},
  doi          = {10.1145/2509136.2509548},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/DimoulasFF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/DimoulasTF12,
  author       = {Christos Dimoulas and
                  Sam Tobin{-}Hochstadt and
                  Matthias Felleisen},
  editor       = {Helmut Seidl},
  title        = {Complete Monitors for Behavioral Contracts},
  booktitle    = {Programming Languages and Systems - 21st European Symposium on Programming,
                  {ESOP} 2012, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
                  - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7211},
  pages        = {214--233},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28869-2\_11},
  doi          = {10.1007/978-3-642-28869-2\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/DimoulasTF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/TakikawaSDTF12,
  author       = {Asumu Takikawa and
                  T. Stephen Strickland and
                  Christos Dimoulas and
                  Sam Tobin{-}Hochstadt and
                  Matthias Felleisen},
  editor       = {Gary T. Leavens and
                  Matthew B. Dwyer},
  title        = {Gradual typing for first-class classes},
  booktitle    = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
                  part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages        = {793--810},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384616.2384674},
  doi          = {10.1145/2384616.2384674},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/TakikawaSDTF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/KleinCDEFFMRTF12,
  author       = {Casey Klein and
                  John Clements and
                  Christos Dimoulas and
                  Carl Eastlund and
                  Matthias Felleisen and
                  Matthew Flatt and
                  Jay A. McCarthy and
                  Jon Rafkind and
                  Sam Tobin{-}Hochstadt and
                  Robert Bruce Findler},
  editor       = {John Field and
                  Michael Hicks},
  title        = {Run your research: on the effectiveness of lightweight mechanization},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
                  USA, January 22-28, 2012},
  pages        = {285--296},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103656.2103691},
  doi          = {10.1145/2103656.2103691},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/KleinCDEFFMRTF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/DimoulasF11,
  author       = {Christos Dimoulas and
                  Matthias Felleisen},
  title        = {On contract satisfaction in a higher-order world},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {33},
  number       = {5},
  pages        = {16:1--16:29},
  year         = {2011},
  url          = {https://doi.org/10.1145/2039346.2039348},
  doi          = {10.1145/2039346.2039348},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/DimoulasF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/DimoulasFFF11,
  author       = {Christos Dimoulas and
                  Robert Bruce Findler and
                  Cormac Flanagan and
                  Matthias Felleisen},
  editor       = {Thomas Ball and
                  Mooly Sagiv},
  title        = {Correct blame for contracts: no more scapegoating},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
                  2011},
  pages        = {215--226},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1926385.1926410},
  doi          = {10.1145/1926385.1926410},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/DimoulasFFF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppdp/DimoulasPF09,
  author       = {Christos Dimoulas and
                  Riccardo Pucella and
                  Matthias Felleisen},
  editor       = {Ant{\'{o}}nio Porto and
                  Francisco Javier L{\'{o}}pez{-}Fraguas},
  title        = {Future contracts},
  booktitle    = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, September 7-9,
                  2009, Coimbra, Portugal},
  pages        = {195--206},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1599410.1599435},
  doi          = {10.1145/1599410.1599435},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DimoulasPF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/DimoulasW09,
  author       = {Christos Dimoulas and
                  Mitchell Wand},
  editor       = {Neil D. Jones and
                  Markus M{\"{u}}ller{-}Olm},
  title        = {The Higher-Order Aggregate Update Problem},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 10th International
                  Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5403},
  pages        = {44--58},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-93900-9\_8},
  doi          = {10.1007/978-3-540-93900-9\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/DimoulasW09.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.