Patrick Maxim Rondon

According to our database, Patrick Maxim Rondon authored at least 10 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Abstract Refinement Types.

Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala

Proceedings of the Programming Languages and Systems, 2013

2012

Liquid Types.

Patrick Maxim Rondon

PhD thesis, 2012

Nested refinements: a logic for duck typing.

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Deterministic parallelism via liquid effects.

Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CSolve: Verifying C with Liquid Types.

Patrick Maxim Rondon, Alexander Bakst, Ming Kawaguchi, Ranjit Jhala

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

System D: Dependent Dynamic Dictionaries

Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala

CoRR, 2011

2010

Low-level liquid types.

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Dsolve: Safety Verification via Liquid Types.

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Type-based data structure verification.

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

Liquid types.

Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008