Travelled to:
2 × USA
Collaborated with:
A.C.Myers
Talks about:
counterexampl (1) reconcil (1) conflict (1) pattern (1) exhaust (1) object (1) match (1) pars (1) find (1)
Person: Chinawat Isradisaikul
DBLP: Isradisaikul:Chinawat
Contributed to:
Wrote 2 papers:
- PLDI-2015-IsradisaikulM #parsing
- Finding counterexamples from parsing conflicts (CI, ACM), pp. 555–564.
- PLDI-2013-IsradisaikulM #pattern matching
- Reconciling exhaustive pattern matching with objects (CI, ACM), pp. 343–354.