Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Karen Zee
@phdthesis{DBLP:phd/ndltd/Zee10, author = {Karen Zee}, title = {Verification of full functional correctness for imperative linked data structures}, school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}}, year = {2010}, url = {https://hdl.handle.net/1721.1/58078}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ndltd/Zee10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ZeeKR09, author = {Karen Zee and Viktor Kuncak and Martin C. Rinard}, editor = {Michael Hind and Amer Diwan}, title = {An integrated proof language for imperative programs}, booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2009, Dublin, Ireland, June 15-21, 2009}, pages = {338--351}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1542476.1542514}, doi = {10.1145/1542476.1542514}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ZeeKR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/ZeeKR08, author = {Karen Zee and Viktor Kuncak and Martin C. Rinard}, title = {Verifying linked data structure implementations}, booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2008, Miami, Florida USA, April 14-18, 2008}, pages = {1--5}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/IPDPS.2008.4536430}, doi = {10.1109/IPDPS.2008.4536430}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/ZeeKR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ZeeKR08, author = {Karen Zee and Viktor Kuncak and Martin C. Rinard}, editor = {Rajiv Gupta and Saman P. Amarasinghe}, title = {Full functional verification of linked data structures}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008}, pages = {349--361}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1375581.1375624}, doi = {10.1145/1375581.1375624}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ZeeKR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/ZeeKTR07, author = {Karen Zee and Viktor Kuncak and Michael B. Taylor and Martin C. Rinard}, editor = {Oleg Sokolsky and Serdar Tasiran}, title = {Runtime Checking for Program Verification}, booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4839}, pages = {202--213}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77395-5\_17}, doi = {10.1007/978-3-540-77395-5\_17}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/ZeeKTR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BouillaguetKWZR07, author = {Charles Bouillaguet and Viktor Kuncak and Thomas Wies and Karen Zee and Martin C. Rinard}, editor = {Byron Cook and Andreas Podelski}, title = {Using First-Order Theorem Provers in the Jahob Data Structure Verification System}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4349}, pages = {74--88}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69738-1\_5}, doi = {10.1007/978-3-540-69738-1\_5}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/BouillaguetKWZR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KuncakLZR06, author = {Viktor Kuncak and Patrick Lam and Karen Zee and Martin C. Rinard}, title = {Modular Pluggable Analyses for Data Structure Consistency}, journal = {{IEEE} Trans. Software Eng.}, volume = {32}, number = {12}, pages = {988--1005}, year = {2006}, url = {https://doi.org/10.1109/TSE.2006.125}, doi = {10.1109/TSE.2006.125}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KuncakLZR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0609104, author = {Thomas Wies and Viktor Kuncak and Karen Zee and Andreas Podelski and Martin C. Rinard}, title = {On Verifying Complex Properties using Symbolic Shape Analysis}, journal = {CoRR}, volume = {abs/cs/0609104}, year = {2006}, url = {http://arxiv.org/abs/cs/0609104}, eprinttype = {arXiv}, eprint = {cs/0609104}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609104.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/KuncakLZR05, author = {Viktor Kuncak and Patrick Lam and Karen Zee and Martin C. Rinard}, editor = {Bertrand Meyer and Jim Woodcock}, title = {Implications of a Data Structure Consistency Checking System}, booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC} 2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions}, series = {Lecture Notes in Computer Science}, volume = {4171}, pages = {214--226}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-69149-5\_23}, doi = {10.1007/978-3-540-69149-5\_23}, timestamp = {Fri, 17 Feb 2023 09:02:02 +0100}, biburl = {https://dblp.org/rec/conf/vstte/KuncakLZR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/ZeeK04, author = {Karen Zee and Viktor Kuncak}, title = {File Refinement}, journal = {Arch. Formal Proofs}, volume = {2004}, year = {2004}, url = {https://www.isa-afp.org/entries/FileRefinement.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/ZeeK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/ArkoudasZKR04, author = {Konstantine Arkoudas and Karen Zee and Viktor Kuncak and Martin C. Rinard}, editor = {Jim Davies and Wolfram Schulte and Michael Barnett}, title = {Verifying a File System Implementation}, booktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3308}, pages = {373--390}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30482-1\_32}, doi = {10.1007/978-3-540-30482-1\_32}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/ArkoudasZKR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/ZeeR02, author = {Karen Zee and Martin C. Rinard}, title = {Write barrier removal by static analysis}, journal = {{ACM} {SIGPLAN} Notices}, volume = {37}, number = {4}, pages = {32--41}, year = {2002}, url = {https://doi.org/10.1145/510857.510866}, doi = {10.1145/510857.510866}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/ZeeR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/ZeeR02, author = {Karen Zee and Martin C. Rinard}, editor = {Mamdouh Ibrahim and Satoshi Matsuoka}, title = {Write barrier removal by static analysis}, booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Object-Oriented Programming Systems, Languages and Applications, {OOPSLA} 2002, Seattle, Washington, USA, November 4-8, 2002}, pages = {191--210}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/582419.582439}, doi = {10.1145/582419.582439}, timestamp = {Wed, 07 Jul 2021 13:23:08 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/ZeeR02.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.