Publications

of Edmund Soon Lee Lam

Thesis

  1. Edmund S.L. Lam. Parallel execution of Constraint Handling Rules -- Theory, Implementation and Application. PhD thesis, School of Computing, Department of Computing Science, National University of Singapore, 2011. Keyword(s): parallelism, implementation.

Articles in journal, book chapters

  1. Martin Sulzmann, Kai Stadtmüller, and Edmund S.L. Lam. Establishing a Correspondence between Transactional Events and Constraint Handling Rules. 2015. [PDF]
  2. Edmund S.L. Lam, Iliano Cervesato, and Nabeeha Fatima. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles, pages 51-66. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19282-6. [WWW] [doi:10.1007/978-3-319-19282-6_4]
  3. Edmund S.L. Lam and Iliano Cervesato. Optimized Compilation of Multiset Rewriting with Comprehensions, pages 19-38. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-12736-1. [WWW] [doi:10.1007/978-3-319-12736-1_2]
  4. Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. TPLP, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism.

Conference articles

  1. Edmund Soon Lee Lam, Iliano Cervesato, and Nabeeha Fatima. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. In Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Grenoble, France, 2015, pages 51-66, 2015.
  2. Edmund S.L. Lam and Iliano Cervesato. Decentralized Execution of Constraint Handling Rules for Ensembles. In Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, pages 205-216, 2013. ACM.
  3. Edmund S.L. Lam and Martin Sulzmann. Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  4. Martin Sulzmann and Edmund S.L. Lam. Parallel execution of multi-set constraint rewrite rules. In S. Antoy, editor, PPDP08l, pages 20-31, July 2008. ACM. [doi:10.1145/1389449.1389453] Keyword(s): parallelism.
  5. Martin Sulzmann, Edmund S.L. Lam, and Peter Van Weert. Actors with Multi-Headed Message Receive Patterns. In D. Lea and G. Zavattaro, editors, COORDINATION '08: Proc. 10th Intl. Conf. Coordination Models and Languages, number 5052 of LNCS, pages 315-330, May 2008. SV. [doi:10.1007/978-3-540-68265-3_20] Keyword(s): parallelism.
  6. Edmund S.L. Lam and Martin Sulzmann. A Concurrent Constraint Handling Rules Semantics and its Implementation with Software Transactional Memory. In DAMP '07: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, January 2007. ACM. [WWW] Keyword(s): parallelism.
  7. Martin Sulzmann and Edmund S.L. Lam. Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 139-149, September 2007. [PDF] Keyword(s): CHR 2007, parallelism, CHR 2007, CHR 2007.
  8. Martin Sulzmann and Edmund S.L. Lam. Haskell - Join - Rules. In Olaf Chitil, editor, IFL '07: 19th Intl. Symp. Implementation and Application of Functional Languages, pages 195-210, September 2007. Keyword(s): related formalisms.
  9. Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 17-31, July 2006. KULCW, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006.

Internal reports

  1. Iliano Cervesato and Edmund S.L. Lam. Concurrent Logic Programming: Met and Unmet Promises. Technical report, 2016. [PDF]

BACK TO INDEX