Travelled to:1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:J.Kanig E.Schonberg J.Filliâtre Y.Moy S.Conchon A.Paskevich
Talks about:contain (2) technolog (1) trigger (1) program (1) correct (1) converg (1) reason (1) compil (1) verif (1) lite (1)
Person: Claire Dross
DBLP: Dross:Claire
Contributed to:
2012
2012
2011Wrote 3 papers:
- HILT-2012-KanigSD #compilation #convergence #named #verification
- Hi-Lite: the convergence of compiler technology and program verification (JK, ES, CD), pp. 27–34.
- SMT-2012-DrossCKP #reasoning
- Reasoning with Triggers (CD, SC, JK, AP), pp. 22–31.
- TAP-2011-DrossFM
- Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.