`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: Zee:Karen

### Contributed to:

### 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.