A concurrent constraint handling rules implementation in Haskell with software transactional memory. - Edmund S. L. Lam; Martin Sulzmann (DAMP, 2007)

Actors with Multi-headed Message Receive Patterns. - Martin Sulzmann; Edmund S. L. Lam; Peter Van Weert (COORDINATION, 2008)

Parallel execution of multi-set constraint rewrite rules. - Martin Sulzmann; Edmund S. L. Lam (PPDP, 2008)

Comparing the performance of concurrent linked-list implementations in Haskell. - Martin Sulzmann; Edmund S. L. Lam; Simon Marlow (DAMP, 2009)

Concurrent goal-based execution of Constraint Handling Rules. - Edmund S. L. Lam; Martin Sulzmann (Theory Pract. Log. Program., 2011)

Modeling datalog fact assertion and retraction in linear logic. - Edmund Soon Lee Lam; Iliano Cervesato (PPDP, 2012)

Decentralized execution of constraint handling rules for ensembles. - Edmund S. L. Lam; Iliano Cervesato (PPDP, 2013)

Optimized Compilation of Multiset Rewriting with Comprehensions. - Edmund Soon Lee Lam; Iliano Cervesato (APLAS, 2014)

Reasoning About Set Comprehensions. - Edmund S. L. Lam; Iliano Cervesato (SMT, 2014)

Constraint Handling Rules with Multiset Comprehension Patterns. - Edmund S. L. Lam; Iliano Cervesato (CoRR, 2014)

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. - Edmund Soon Lee Lam; Iliano Cervesato; Nabeeha Fatima (COORDINATION, 2015)

Modular Multiset Rewriting. - Iliano Cervesato; Edmund S. L. Lam (LPAR, 2015)

Programmable orchestration of time-synchronized events across decentralized Android ensembles. - Edmund S. L. Lam; Iliano Cervesato; Ali Elgazar (WiMob, 2015)

Choreographic Compilation of Decentralized Comprehension Patterns. - Iliano Cervesato; Edmund Soon Lee Lam; Ali Elgazar (RuleML, 2016)

Overlap and Independence in Multiset Comprehension Patterns. - Iliano Cervesato; Edmund S. L. Lam (UNIF, 2016)

Let's Unify With Scala Pattern Matching! - Edmund Soon Lee Lam; Iliano Cervesato (UNIF, 2016)

Automatic Building of Java Projects in Software Repositories: A Study on Feasibility and Challenges. - Foyzul Hassan; Shaikh Mostafa; Edmund S. L. Lam; Xiaoyin Wang (ESEM, 2017)

ChimpCheck: property-based randomized test generation for interactive apps. - Edmund S. L. Lam; Peilun Zhang; Bor-Yuh Evan Chang (Onward!, 2017)