Ming Kawaguchi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

4 Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Dsolve: Safety Verification via Liquid Types. CAV 2010: 123-126

3 Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Low-level liquid types. POPL 2010: 131-144

2009

2 Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315

2008

1 Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169

	2010
4		Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Dsolve: Safety Verification via Liquid Types. CAV 2010: 123-126
3		Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Low-level liquid types. POPL 2010: 131-144
	2009
2		Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315
	2008
1		Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169

Coauthor Index

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Ranjit Jhala	[1] [2] [3] [4]
2	Patrick Maxim Rondon	[1] [2] [3] [4]