BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Ireland
1 × Italy
1 × Spain
1 × United Kingdom
3 × USA
Collaborated with:
R.Jhala M.Kawaguchi A.Bakst N.Vazou R.Chugh
Talks about:
type (7) liquid (5) verif (2) refin (2) determinist (1) structur (1) parallel (1) abstract (1) verifi (1) safeti (1)

Person: Patrick Maxim Rondon

DBLP DBLP: Rondon:Patrick_Maxim

Contributed to:

ESOP 20132013
CAV 20122012
PLDI 20122012
POPL 20122012
CAV 20102010
POPL 20102010
PLDI 20092009
PLDI 20082008

Wrote 8 papers:

ESOP-2013-VazouRJ #refinement
Abstract Refinement Types (NV, PMR, RJ), pp. 209–228.
CAV-2012-RondonBKJ #c #named #verification
CSolve: Verifying C with Liquid Types (PMR, AB, MK, RJ), pp. 744–750.
PLDI-2012-KawaguchiRBJ #parallel
Deterministic parallelism via liquid effects (MK, PMR, AB, RJ), pp. 45–54.
POPL-2012-ChughRJ #logic #type system
Nested refinements: a logic for duck typing (RC, PMR, RJ), pp. 231–244.
CAV-2010-KawaguchiRJ #named #safety #verification
Dsolve: Safety Verification via Liquid Types (MK, PMR, RJ), pp. 123–126.
POPL-2010-RondonKJ #low level
Low-level liquid types (PMR, MK, RJ), pp. 131–144.
PLDI-2009-KawaguchiRJ #data type #type system #verification
Type-based data structure verification (MK, PMR, RJ), pp. 304–315.
PLDI-2008-RondonKJ
Liquid types (PMR, MK, RJ), pp. 159–169.
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.