Concepedia

Karen Zee

KZ

8

Publications

429

Citations

8

H-Index

2002

Active since

Affiliations

Massachusetts Institute of Technology(Current)

École Polytechnique Fédérale de Lausanne

Karen Zee is an author at Massachusetts Institute of Technology specializing in formal methods, program analysis, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisVerificationAutomated ReasoningFormal VerificationFormal SpecificationSoftware Engineering

Publications per year

2002–2009

8

Publications

8

Full functional verification of linked data structures

Karen Zee, Viktor Kunčak, Martin Rinard · 2008 · 198 citations · Full text

Data Structure Implementations, Engineering, Verification +19

An integrated proof language for imperative programs

Karen Zee, Viktor Kunčak, Martin Rinard · 2009 · 61 citations · Full text

Engineering, Verification, Software Engineering +18

Modular Pluggable Analyses for Data Structure Consistency

Viktor Kunčak, Patrick Lam, Karen Zee et al. · IEEE Transactions on Software Engineering · 2006 · 52 citations · Full text

Multiple Analyses, Engineering, Structured Data +24

Full functional verification of linked data structures

Karen Zee, Viktor Kunčak, Martin Rinard · ACM SIGPLAN Notices · 2008 · 36 citations

Engineering, Verification, Automated Proof +19

Write barrier removal by static analysis

Karen Zee, Martin Rinard · ACM SIGPLAN Notices · 2002 · 24 citations

Generational Garbage Collection, Engineering, Computer Architecture +20

Rows per page

1–5 of 8