BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Ireland
2 × USA
Collaborated with:
M.C.Rinard V.Kuncak C.Bouillaguet T.Wies
Talks about:
structur (2) verif (2) data (2) function (1) theorem (1) program (1) languag (1) barrier (1) analysi (1) system (1)

Person: Karen Zee

DBLP DBLP: Zee:Karen

Contributed to:

PLDI 20092009
PLDI 20082008
VMCAI 20072007
OOPSLA 20022002

Wrote 4 papers:

PLDI-2009-ZeeKR #imperative #proving #source code
An integrated proof language for imperative programs (KZ, VK, MCR), pp. 338–351.
PLDI-2008-ZeeKR #data type #functional #linked data #open data #verification
Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.
VMCAI-2007-BouillaguetKWZR #data type #first-order #proving #theorem proving #using #verification
Using First-Order Theorem Provers in the Jahob Data Structure Verification System (CB, VK, TW, KZ, MCR), pp. 74–88.
OOPSLA-2002-ZeeR #static analysis
Write barrier removal by static analysis (KZ, MCR), pp. 191–210.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.