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 × Spain
1 × United Kingdom
3 × USA
Collaborated with:
P.M.Rondon R.Jhala C.Hawblitzel S.K.Lahiri H.Rebêlo A.Bakst
Talks about:
liquid (5) type (5) program (2) verif (2) determinist (1) structur (1) parallel (1) theorem (1) symdiff (1) modular (1)

Person: Ming Kawaguchi

DBLP DBLP: Kawaguchi:Ming

Contributed to:

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

Wrote 8 papers:

CADE-2013-HawblitzelKLR #automation #proving #source code #theorem proving #towards #using
Towards Modularly Comparing Programs Using Automated Theorem Provers (CH, MK, SKL, HR), pp. 282–299.
CAV-2012-LahiriHKR #imperative #named #semantics #source code
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
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.
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.