Edmund S. L. Lam

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