Searching for authors named "Karen Zee" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Write Barrier Removal by Static Analysis
- …-58113-417-1/02/0011 ...$5.00. Karen Zee and Martin Rinard Laboratory for Computer Science Massachusetts Institute…
- Cited by 15 (0 self) – Add To MetaCart
-
Write Barrier Removal by Static Analysis
- … by NSF Grant CCR00-73513. Karen Zee and Martin Rinard Laboratory for Computer Science Massachusetts…
- Add To MetaCart
-
Implications of a data structure consistency checking system
- …Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee…
- Cited by 3 (1 self) – Add To MetaCart
-
Combining theorem proving with static analysis for data structure consistency
- … Combining Theorem Proving with Static Analysis for Data Structure Consistency Karen Zee…
- Cited by 20 (15 self) – Add To MetaCart
-
Set interfaces for generalized typestate and data structure consistency verification,” Theoretical Computer Science, submitted
- …, Viktor Kuncak, Karen Zee, and Martin Rinard Abstract MIT Computer Science and Artificial Intelligence…
- Cited by 1 (1 self) – Add To MetaCart
-
Verifying a file system implementation
- … On Verifying a File System Implementation Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin…
- Cited by 22 (13 self) – Add To MetaCart
-
Modular Pluggable Analyses for Data Structure Consistency
- …Modular Pluggable Analyses for Data Structure Consistency Viktor Kuncak, Patrick Lam, Karen Zee…
- Cited by 14 (4 self) – Add To MetaCart
-
On Using First-Order Theorem Provers inthe Jahob Data Structure Verification System
- … Bouillaguet1, Viktor Kuncak2,Thomas Wies 3, Karen Zee2, and Martin Rinard2 1 Ecole Normale Sup…
- Add To MetaCart
-
Using first-order theorem provers in the Jahob data structure verification system
- … Bouillaguet 1 , Viktor Kuncak 2 , Thomas Wies 3 , Karen Zee 2 , and Martin Rinard 2 1 Ecole Normale Supérieure…
- Cited by 8 (0 self) – Add To MetaCart
-
On verifying complex properties using symbolic shape analysis
- … of Computer Science University of Freiburg, Germany Viktor Kuncak Karen Zee Martin Rinard MIT, CSAIL Cambridge…
- Cited by 7 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
