BibTeX records: Jérémie Koenig

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Jérémie Koenig

download as .bib file

@article{DBLP:journals/jsa/KimKCGS24,
  author       = {Jieung Kim and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Hao Chen and
                  Ronghui Gu and
                  Zhong Shao},
  title        = {ThreadAbs: {A} template to build verified thread-local interfaces
                  with software scheduler abstractions},
  journal      = {J. Syst. Archit.},
  volume       = {147},
  pages        = {103046},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.sysarc.2023.103046},
  doi          = {10.1016/J.SYSARC.2023.103046},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/KimKCGS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/ZhangWWKS24,
  author       = {Ling Zhang and
                  Yuting Wang and
                  Jinhua Wu and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Zhong Shao},
  title        = {Fully Composable and Adequate Verified Compilation with Direct Refinements
                  between Open Modules},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{POPL}},
  pages        = {2160--2190},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632914},
  doi          = {10.1145/3632914},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ZhangWWKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2302-12990,
  author       = {Ling Zhang and
                  Yuting Wang and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Zhong Shao},
  title        = {A Bottom-Up Approach to a Unified Semantic Interface for Verified
                  Compositional Compilation},
  journal      = {CoRR},
  volume       = {abs/2302.12990},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.12990},
  doi          = {10.48550/ARXIV.2302.12990},
  eprinttype    = {arXiv},
  eprint       = {2302.12990},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-12990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/ValeMSKS22,
  author       = {Arthur Oliveira Vale and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s and
                  Zhong Shao and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  L{\'{e}}o Stefanesco},
  title        = {Layered and object-based game semantics},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{POPL}},
  pages        = {1--32},
  year         = {2022},
  url          = {https://doi.org/10.1145/3498703},
  doi          = {10.1145/3498703},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ValeMSKS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/WangZSK22,
  author       = {Yuting Wang and
                  Ling Zhang and
                  Zhong Shao and
                  J{\'{e}}r{\'{e}}mie Koenig},
  title        = {Verified compilation of {C} programs with a nominal memory model},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{POPL}},
  pages        = {1--31},
  year         = {2022},
  url          = {https://doi.org/10.1145/3498686},
  doi          = {10.1145/3498686},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/WangZSK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/KoenigS21,
  author       = {J{\'{e}}r{\'{e}}mie Koenig and
                  Zhong Shao},
  editor       = {Stephen N. Freund and
                  Eran Yahav},
  title        = {CompCertO: compiling certified open {C} components},
  booktitle    = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, Virtual Event, Canada, June 20-25,
                  2021},
  pages        = {1095--1109},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3453483.3454097},
  doi          = {10.1145/3453483.3454097},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/KoenigS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2211-01841,
  author       = {J{\'{e}}r{\'{e}}mie Koenig},
  editor       = {Kohei Kishida},
  title        = {Grounding Game Semantics in Categorical Algebra},
  booktitle    = {Proceedings of the Fourth International Conference on Applied Category
                  Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
  series       = {{EPTCS}},
  volume       = {372},
  pages        = {368--383},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.372.26},
  doi          = {10.4204/EPTCS.372.26},
  timestamp    = {Mon, 05 Dec 2022 10:58:58 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-01841.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KoenigS20,
  author       = {J{\'{e}}r{\'{e}}mie Koenig and
                  Zhong Shao},
  editor       = {Holger Hermanns and
                  Lijun Zhang and
                  Naoki Kobayashi and
                  Dale Miller},
  title        = {Refinement-Based Game Semantics for Certified Abstraction Layers},
  booktitle    = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
  pages        = {633--647},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3373718.3394799},
  doi          = {10.1145/3373718.3394799},
  timestamp    = {Sat, 30 Sep 2023 09:52:07 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/KoenigS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/GuSCKKWSC19,
  author       = {Ronghui Gu and
                  Zhong Shao and
                  Hao Chen and
                  Jieung Kim and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Xiongnan (Newman) Wu and
                  Vilhelm Sj{\"{o}}berg and
                  David Costanzo},
  title        = {Building certified concurrent {OS} kernels},
  journal      = {Commun. {ACM}},
  volume       = {62},
  number       = {10},
  pages        = {89--99},
  year         = {2019},
  url          = {https://doi.org/10.1145/3356903},
  doi          = {10.1145/3356903},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/GuSCKKWSC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/AlipourfardGKHV19,
  author       = {Omid Alipourfard and
                  Jiaqi Gao and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Chris Harshaw and
                  Amin Vahdat and
                  Minlan Yu},
  editor       = {Tim Brecht and
                  Carey Williamson},
  title        = {Risk based planning of network changes in evolving data centers},
  booktitle    = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
                  {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
  pages        = {414--429},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3341301.3359664},
  doi          = {10.1145/3341301.3359664},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/AlipourfardGKHV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/GuSKWKS0CR18,
  author       = {Ronghui Gu and
                  Zhong Shao and
                  Jieung Kim and
                  Xiongnan (Newman) Wu and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Vilhelm Sj{\"{o}}berg and
                  Hao Chen and
                  David Costanzo and
                  Tahina Ramananandro},
  editor       = {Jeffrey S. Foster and
                  Dan Grossman},
  title        = {Certified concurrent abstraction layers},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
                  USA, June 18-22, 2018},
  pages        = {646--661},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3192366.3192381},
  doi          = {10.1145/3192366.3192381},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/GuSKWKS0CR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/RamananandroSWKF15,
  author       = {Tahina Ramananandro and
                  Zhong Shao and
                  Shu{-}Chun Weng and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Yuchen Fu},
  editor       = {Xavier Leroy and
                  Alwen Tiu},
  title        = {A Compositional Semantics for Verified Separate Compilation and Linking},
  booktitle    = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
                  {CPP} 2015, Mumbai, India, January 15-17, 2015},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676724.2693167},
  doi          = {10.1145/2676724.2693167},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/RamananandroSWKF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/GuKRSWWZG15,
  author       = {Ronghui Gu and
                  J{\'{e}}r{\'{e}}mie Koenig and
                  Tahina Ramananandro and
                  Zhong Shao and
                  Xiongnan (Newman) Wu and
                  Shu{-}Chun Weng and
                  Haozhong Zhang and
                  Yu Guo},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {Deep Specifications and Certified Abstraction Layers},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {595--608},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2676975},
  doi          = {10.1145/2676726.2676975},
  timestamp    = {Mon, 08 Apr 2024 08:19:10 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/GuKRSWWZG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spw/FeigenbaumK14,
  author       = {Joan Feigenbaum and
                  J{\'{e}}r{\'{e}}mie Koenig},
  editor       = {Bruce Christianson and
                  James A. Malcolm and
                  Vashek Maty{\'{a}}s and
                  Petr Svenda and
                  Frank Stajano and
                  Jonathan Anderson},
  title        = {On the Feasibility of a Technological Response to the Surveillance
                  Morass},
  booktitle    = {Security Protocols {XXII} - 22nd International Workshop Cambridge,
                  UK, March 19-21, 2014 Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8809},
  pages        = {239--252},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12400-1\_23},
  doi          = {10.1007/978-3-319-12400-1\_23},
  timestamp    = {Mon, 05 Feb 2024 20:35:15 +0100},
  biburl       = {https://dblp.org/rec/conf/spw/FeigenbaumK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spw/FeigenbaumK14a,
  author       = {Joan Feigenbaum and
                  J{\'{e}}r{\'{e}}mie Koenig},
  editor       = {Bruce Christianson and
                  James A. Malcolm and
                  Vashek Maty{\'{a}}s and
                  Petr Svenda and
                  Frank Stajano and
                  Jonathan Anderson},
  title        = {On the Feasibility of a Technological Response to the Surveillance
                  Morass (Transcript of Discussion)},
  booktitle    = {Security Protocols {XXII} - 22nd International Workshop Cambridge,
                  UK, March 19-21, 2014 Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8809},
  pages        = {253--262},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12400-1\_24},
  doi          = {10.1007/978-3-319-12400-1\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spw/FeigenbaumK14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.