Edmund Soon Lee Lam

According to our database, Edmund Soon Lee Lam authored at least 18 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

ChimpCheck: property-based randomized test generation for interactive apps.

Edmund S. L. Lam, Peilun Zhang, Bor-Yuh Evan Chang

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Automatic Building of Java Projects in Software Repositories: A Study on Feasibility and Challenges.

Foyzul Hassan, Shaikh Mostafa, Edmund S. L. Lam, Xiaoyin Wang

Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017

2016

Let's Unify With Scala Pattern Matching!

Edmund Soon Lee Lam, Iliano Cervesato

Proceedings of the 30th International Workshop on Unification, 2016

Overlap and Independence in Multiset Comprehension Patterns.

Iliano Cervesato, Edmund S. L. Lam

Proceedings of the 30th International Workshop on Unification, 2016

Choreographic Compilation of Decentralized Comprehension Patterns.

Iliano Cervesato, Edmund Soon Lee Lam, Ali Elgazar

Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

2015

Programmable orchestration of time-synchronized events across decentralized Android ensembles.

Edmund S. L. Lam, Iliano Cervesato, Ali Elgazar

Proceedings of the 11th IEEE International Conference on Wireless and Mobile Computing, 2015

Modular Multiset Rewriting.

Iliano Cervesato, Edmund S. L. Lam

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles.

Edmund Soon Lee Lam, Iliano Cervesato, Nabeeha Fatima

Proceedings of the Coordination Models and Languages, 2015

2014

Constraint Handling Rules with Multiset Comprehension Patterns.

Edmund S. L. Lam, Iliano Cervesato

CoRR, 2014

Reasoning About Set Comprehensions.

Edmund S. L. Lam, Iliano Cervesato

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

Optimized Compilation of Multiset Rewriting with Comprehensions.

Edmund Soon Lee Lam, Iliano Cervesato

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Decentralized execution of constraint handling rules for ensembles.

Edmund S. L. Lam, Iliano Cervesato

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

Modeling datalog fact assertion and retraction in linear logic.

Edmund Soon Lee Lam, Iliano Cervesato

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Concurrent goal-based execution of Constraint Handling Rules.

Edmund S. L. Lam, Martin Sulzmann

Theory Pract. Log. Program., 2011

2009

Comparing the performance of concurrent linked-list implementations in Haskell.

Martin Sulzmann, Edmund S. L. Lam, Simon Marlow

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

2008

Parallel execution of multi-set constraint rewrite rules.

Martin Sulzmann, Edmund S. L. Lam

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Actors with Multi-headed Message Receive Patterns.

Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

A concurrent constraint handling rules implementation in Haskell with software transactional memory.

Edmund S. L. Lam, Martin Sulzmann

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007