Travelled to:1 × Austria
2 × Spain
Collaborated with:I.Cervesato M.Sulzmann Peilun Zhang B.E.Chang
Talks about:constraint (2) execut (2) rule (2) set (2) comprehens (1) properti (1) parallel (1) interact (1) generat (1) ensembl (1)
Person: Edmund S. L. Lam
DBLP: Lam:Edmund_S=_L=
Contributed to:
2014
20132008
2017Wrote 4 papers:
- SMT-2014-LamC #reasoning #set
- Reasoning About Set Comprehensions (ESLL, IC), pp. 27–37.
- PPDP-2013-LamC #constraints #distributed #execution
- Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
- PPDP-2008-SulzmannL #constraints #execution #parallel
- Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.
- Onward-2017-LamZC #generative #interactive #named #random #testing
- ChimpCheck: property-based randomized test generation for interactive apps (ESLL, PZ, BYEC), pp. 58–77.