Edmund S. L. Lam

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 6

Top Topics

Constraint Handling Rules

Symbolic Execution

Test Generation

Ensemble Learning

Top Venues

Publications

Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang
ChimpCheck: property-based randomized test generation for interactive apps. Onward! (2017)
Foyzul Hassan, Shaikh Mostafa, Edmund S. L. Lam, Xiaoyin Wang
Automatic Building of Java Projects in Software Repositories: A Study on Feasibility and Challenges. ESEM (2017)
Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang
ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps. CoRR (2017)
Iliano Cervesato, Edmund S. L. Lam
Overlap and Independence in Multiset Comprehension Patterns. UNIF (2016)
Edmund S. L. Lam, Iliano Cervesato, Ali Elgazar
Programmable orchestration of time-synchronized events across decentralized Android ensembles. WiMob (2015)
Iliano Cervesato, Edmund S. L. Lam
Modular Multiset Rewriting. LPAR (2015)
Edmund S. L. Lam, Iliano Cervesato
Constraint Handling Rules with Multiset Comprehension Patterns. CoRR (2014)
Edmund S. L. Lam, Iliano Cervesato
Reasoning About Set Comprehensions. SMT (2014)
Edmund S. L. Lam, Iliano Cervesato
Decentralized execution of constraint handling rules for ensembles. PPDP (2013)
Edmund S. L. Lam, Martin Sulzmann
Concurrent goal-based execution of Constraint Handling Rules. Theory Pract. Log. Program. 11 (6) (2011)
Edmund S. L. Lam, Martin Sulzmann
Concurrent Goal-Based Execution of Constraint Handling Rules CoRR (2010)
Martin Sulzmann, Edmund S. L. Lam, Simon Marlow
Comparing the performance of concurrent linked-list implementations in Haskell. DAMP (2009)
Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert
Actors with Multi-headed Message Receive Patterns. COORDINATION (2008)
Martin Sulzmann, Edmund S. L. Lam
Parallel execution of multi-set constraint rewrite rules. PPDP (2008)
Edmund S. L. Lam, Martin Sulzmann
A concurrent constraint handling rules implementation in Haskell with software transactional memory. DAMP (2007)