Patrick Maxim Rondon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2008–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ESOP | Abstract Refinement Types. | Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala |
| 2012 | CAV | CSolve: Verifying C with Liquid Types. | Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala |
| 2012 | PLDI | Deterministic parallelism via liquid effects. | Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala |
| 2012 | POPL | Nested refinements: a logic for duck typing. | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
| 2010 | CAV | Dsolve: Safety Verification via Liquid Types. | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
| 2010 | POPL | Low-level liquid types. | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
| 2009 | PLDI | Type-based data structure verification. | Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala |
| 2008 | PLDI | Liquid types. | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |