Karen Zee - Concepedia

Author

Karen Zee

Also Known As

K. Zee, Karen Zee, Zee, Karen

Publications

575

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	385
2	Computer Science	6	6	385
3	Computer Engineering	2	2	38
4	Data Science	1	1	52
5	Compilers	1	1	14

Karen Zee

Publications

429

Citations

H-Index

Page 1

	Year	Citations
Full functional verification of linked data structures Karen Zee, Viktor Kunčak, Martin Rinard Data Structure ImplementationsEngineeringVerificationComputer-aided VerificationSemantic Web	2008	198
An integrated proof language for imperative programs Karen Zee, Viktor Kunčak, Martin Rinard EngineeringVerificationSoftware EngineeringAutomated ProofProof Language	2009	61
Modular Pluggable Analyses for Data Structure Consistency Viktor Kunčak, Patrick Lam, Karen Zee, IEEE Transactions on Software Engineering Multiple AnalysesEngineeringStructured DataVerificationData Preparation	2006	52
Full functional verification of linked data structures Karen Zee, Viktor Kunčak, Martin Rinard ACM SIGPLAN Notices EngineeringVerificationAutomated ProofSemantic WebSoftware Analysis	2008	36
Write barrier removal by static analysis Karen Zee, Martin Rinard ACM SIGPLAN Notices Generational Garbage CollectionEngineeringComputer ArchitectureStatic AnalysesSoftware Engineering	2002	24
Combining Theorem proving with Static Analysis for Data Structure Consistency Karen Zee, Patrick Lam, Viktor Kunčak, Infoscience (Ecole Polytechnique Fédérale de Lausanne)	2004	23
On Verifying Complex Properties using Symbolic Shape Analysis Thomas Wies, Viktor Kunčak, Karen Zee, ArXiv.org	2006	21
Write barrier removal by static analysis Karen Zee, Martin Rinard Generational Garbage CollectionEngineeringCompiler TechnologyComputer ArchitectureSoftware Engineering	2002	14

Page 1