Search dblp for Publications

export results for "Jason Koenig"

 download as .bib file

@phdthesis{DBLP:phd/us/Koenig22,
  author       = {Jason R. Koenig},
  title        = {Invariant inference via quantified separation},
  school       = {Stanford University, {USA}},
  year         = {2022},
  url          = {https://searchworks.stanford.edu/view/14173660},
  timestamp    = {Fri, 02 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Koenig22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/PadonWKMA22,
  author       = {Oded Padon and
                  James R. Wilcox and
                  Jason R. Koenig and
                  Kenneth L. McMillan and
                  Alex Aiken},
  title        = {Induction duality: primal-dual search for invariants},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{POPL}},
  pages        = {1--29},
  year         = {2022},
  url          = {https://doi.org/10.1145/3498712},
  doi          = {10.1145/3498712},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/PadonWKMA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/KoenigPSA22,
  author       = {Jason R. Koenig and
                  Oded Padon and
                  Sharon Shoham and
                  Alex Aiken},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {Inferring Invariants with Quantifier Alternations: Taming the Search
                  Space Explosion},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {338--356},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_18},
  doi          = {10.1007/978-3-030-99524-9\_18},
  timestamp    = {Fri, 29 Apr 2022 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KoenigPSA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/KoenigPA21,
  author       = {Jason R. Koenig and
                  Oded Padon and
                  Alex Aiken},
  editor       = {Stephen N. Freund and
                  Eran Yahav},
  title        = {Adaptive restarts for stochastic synthesis},
  booktitle    = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, Virtual Event, Canada, June 20-25,
                  2021},
  pages        = {696--709},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3453483.3454071},
  doi          = {10.1145/3453483.3454071},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/KoenigPA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2112-05304,
  author       = {Jason R. Koenig and
                  Oded Padon and
                  Sharon Shoham and
                  Alex Aiken},
  title        = {Inferring Invariants with Quantifier Alternations: Taming the Search
                  Space Explosion},
  journal      = {CoRR},
  volume       = {abs/2112.05304},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.05304},
  eprinttype    = {arXiv},
  eprint       = {2112.05304},
  timestamp    = {Tue, 14 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-05304.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/KoenigPIA20,
  author       = {Jason R. Koenig and
                  Oded Padon and
                  Neil Immerman and
                  Alex Aiken},
  editor       = {Alastair F. Donaldson and
                  Emina Torlak},
  title        = {First-order quantified separators},
  booktitle    = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
                  Programming Language Design and Implementation, {PLDI} 2020, London,
                  UK, June 15-20, 2020},
  pages        = {703--717},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3385412.3386018},
  doi          = {10.1145/3385412.3386018},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/KoenigPIA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/biodatamining/HolzingerVMHDGL17,
  author       = {Emily Rose Holzinger and
                  Shefali S. Verma and
                  Carrie Colleen Buchanan Moore and
                  Molly A. Hall and
                  Rishika De and
                  Diane Gilbert{-}Diamond and
                  Matthew B. Lanktree and
                  Nathan Pankratz and
                  Antoinette Amuzu and
                  Amber Burt and
                  Caroline Dale and
                  Scott M. Dudek and
                  Clement E. Furlong and
                  Tom R. Gaunt and
                  Daniel Seung Kim and
                  Helene Riess and
                  Suthesh Sivapalaratnam and
                  Vinicius Tragante and
                  Erik P. A. van Iperen and
                  Ariel Brautbar and
                  David S. Carrell and
                  David R. Crosslin and
                  Gail P. Jarvik and
                  Helena Kuivaniemi and
                  Iftikhar J. Kullo and
                  Eric B. Larson and
                  Laura J. Rasmussen{-}Torvik and
                  Gerard Tromp and
                  Jens Baumert and
                  Karen J. Cruickshanks and
                  Martin Farrall and
                  Aroon D. Hingorani and
                  G. K. Hovingh and
                  Marcus E. Kleber and
                  Barbara E. Klein and
                  Ronald Klein and
                  Wolfgang Koenig and
                  Leslie A. Lange and
                  Winfried M{\"{a}}rz and
                  Kari E. North and
                  N. Charlotte Onland{-}Moret and
                  Alex P. Reiner and
                  Philippa J. Talmud and
                  Yvonne T. van der Schouw and
                  James G. Wilson and
                  Mika Kivim{\"{a}}ki and
                  Meena Kumari and
                  Jason H. Moore and
                  Fotios Drenos and
                  Folkert W. Asselbergs and
                  Brendan J. Keating and
                  Marylyn D. Ritchie},
  title        = {Discovery and replication of {SNP-SNP} interactions for quantitative
                  lipid traits in over 60,000 individuals},
  journal      = {BioData Min.},
  volume       = {10},
  number       = {1},
  pages        = {25:1--25:20},
  year         = {2017},
  url          = {https://doi.org/10.1186/s13040-017-0145-5},
  doi          = {10.1186/S13040-017-0145-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biodatamining/HolzingerVMHDGL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/socs/SturtevantTTUKS15,
  author       = {Nathan R. Sturtevant and
                  Jason M. Traish and
                  James R. Tulip and
                  Tansel Uras and
                  Sven Koenig and
                  Ben Strasser and
                  Adi Botea and
                  Daniel Harabor and
                  Steve Rabin},
  editor       = {Levi Lelis and
                  Roni Stern},
  title        = {The Grid-Based Path Planning Competition: 2014 Entries and Results},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
                  {SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
  pages        = {241--250},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/socs.v6i1.18364},
  doi          = {10.1609/SOCS.V6I1.18364},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SturtevantTTUKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KoenigL16,
  author       = {Jason Koenig and
                  K. Rustan M. Leino},
  editor       = {John Derrick and
                  Eerke A. Boiten and
                  Steve Reeves},
  title        = {Programming Language Features for Refinement},
  booktitle    = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
                  Oslo, Norway, 22nd June 2015},
  series       = {{EPTCS}},
  volume       = {209},
  pages        = {87--106},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.209.7},
  doi          = {10.4204/EPTCS.209.7},
  timestamp    = {Sun, 25 Jul 2021 11:39:05 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KoenigL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsr/JonesWPKSW12,
  author       = {Heather L. Jones and
                  Uland Wong and
                  Kevin M. Peterson and
                  Jason Koenig and
                  Aashish Sheshadri and
                  William Whittaker},
  editor       = {Kazuya Yoshida and
                  Satoshi Tadokoro},
  title        = {Complementary Flyover and Rover Sensing for Superior Modeling of Planetary
                  Features},
  booktitle    = {Field and Service Robotics - Results of the 8th International Conference,
                  Tohoku University / Matsushima, Japan, 16-19 July 2012},
  series       = {Springer Tracts in Advanced Robotics},
  volume       = {92},
  pages        = {415--429},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-40686-7\_28},
  doi          = {10.1007/978-3-642-40686-7\_28},
  timestamp    = {Wed, 25 Sep 2019 18:09:12 +0200},
  biburl       = {https://dblp.org/rec/conf/fsr/JonesWPKSW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/KoenigL12,
  author       = {Jason Koenig and
                  K. Rustan M. Leino},
  editor       = {Tobias Nipkow and
                  Orna Grumberg and
                  Benedikt Hauptmann},
  title        = {Getting Started with Dafny: {A} Guide},
  booktitle    = {Software Safety and Security - Tools for Analysis and Verification},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {33},
  pages        = {152--181},
  publisher    = {{IOS} Press},
  year         = {2012},
  url          = {https://doi.org/10.3233/978-1-61499-028-4-152},
  doi          = {10.3233/978-1-61499-028-4-152},
  timestamp    = {Wed, 04 Mar 2020 14:10:38 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/KoenigL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcc/WangWKS11,
  author       = {Yuhang Wang and
                  Jason A. Wallace and
                  Peter H. Koenig and
                  Jana K. Shen},
  title        = {Molecular dynamics simulations of ionic and nonionic surfactant micelles
                  with a generalized born implicit-solvent model},
  journal      = {J. Comput. Chem.},
  volume       = {32},
  number       = {11},
  pages        = {2348--2358},
  year         = {2011},
  url          = {https://doi.org/10.1002/jcc.21813},
  doi          = {10.1002/JCC.21813},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcc/WangWKS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pieee/RifeKPLKKCKP08,
  author       = {Jason H. Rife and
                  Samer Khanafseh and
                  Sam Pullen and
                  David De Lorenzo and
                  Ung{-}Suok Kim and
                  Mike Koenig and
                  Tsung{-}Yu Chiou and
                  Bartosz Kempny and
                  Boris Pervan},
  title        = {Navigation, Interference Suppression, and Fault Monitoring in the
                  Sea-Based Joint Precision Approach and Landing System},
  journal      = {Proc. {IEEE}},
  volume       = {96},
  number       = {12},
  pages        = {1958--1975},
  year         = {2008},
  url          = {https://doi.org/10.1109/JPROC.2008.2006107},
  doi          = {10.1109/JPROC.2008.2006107},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/RifeKPLKKCKP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/AchtnerAA06,
  author       = {Wolfgang Achtner and
                  Esma A{\"{\i}}meur and
                  Sarabjot Singh Anand and
                  Douglas E. Appelt and
                  Naveen Ashish and
                  Tiffany Barnes and
                  Joseph E. Beck and
                  M. Bernardine Dias and
                  Prashant Doshi and
                  Chris Drummond and
                  William Elazmeh and
                  Ariel Felner and
                  Dayne Freitag and
                  Hector Geffner and
                  Christopher W. Geib and
                  Richard Goodwin and
                  Robert C. Holte and
                  Frank Hutter and
                  Fair Isaac and
                  Nathalie Japkowicz and
                  Gal A. Kaminka and
                  Sven Koenig and
                  Michail G. Lagoudakis and
                  David B. Leake and
                  Lundy Lewis and
                  Hugo Liu and
                  Ted Metzler and
                  Rada Mihalcea and
                  Bamshad Mobasher and
                  Pascal Poupart and
                  David V. Pynadath and
                  Thomas Roth{-}Berghofer and
                  Wheeler Ruml and
                  Stefan Schulz and
                  Sven Schwarz and
                  Stephanie Seneff and
                  Amit P. Sheth and
                  Ron Sun and
                  Michael Thielscher and
                  Afzal Upal and
                  Jason D. Williams and
                  Steve J. Young and
                  Dmitry Zelenko},
  title        = {Reports on the Twenty-First National Conference on Artificial Intelligence
                  {(AAAI-06)} Workshop Program},
  journal      = {{AI} Mag.},
  volume       = {27},
  number       = {4},
  pages        = {92--102},
  year         = {2006},
  url          = {https://doi.org/10.1609/aimag.v27i4.1912},
  doi          = {10.1609/AIMAG.V27I4.1912},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aim/AchtnerAA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/JagannathanYKMMRRC05,
  author       = {Ashok Jagannathan and
                  Hannah Honghua Yang and
                  Kris Konigsfeld and
                  Dan Milliron and
                  Mosur Mohan and
                  Michail Romesis and
                  Glenn Reinman and
                  Jason Cong},
  editor       = {Tingao Tang},
  title        = {Microarchitecture evaluation with floorplanning and interconnect pipelining},
  booktitle    = {Proceedings of the 2005 Conference on Asia South Pacific Design Automation,
                  {ASP-DAC} 2005, Shanghai, China, January 18-21, 2005},
  pages        = {8--15},
  publisher    = {{ACM} Press},
  year         = {2005},
  url          = {https://doi.org/10.1145/1120725.1120879},
  doi          = {10.1145/1120725.1120879},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/JagannathanYKMMRRC05.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.