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