Ed_Photo
 Edmund S. L. LAM
Post-Doctoral Research @ Carnegie Mellon University Qatar
Amateur Kitchen Assistant @ Home

About Me

I am a postdoctoral research associate in the Department of Computer Science, Carnegie Mellon University Qatar since January 2012. I work with Iliano Cervesato on effective programming on large scale ensembles via logic-based multi-set rewriting. Prior to this, I worked as a Senior Software Engineer in a Singapore based start-up, Circos Brand Karma, and was the lead architect of the backend stream data-processing systems that powers Circos' flagship social media monitoring application specialized for the hospitality industry. Once upon a time, I was a PhD student of the National University of Singapore (NUS), under the supervision of Martin Sulzmann.

Contact Details
Email:
 sllam [at] qatar [dot] cmu [dot] edu
Telephone:
 +974 3315 9834

Projects

Effective Programming for Large Scale Ensembles (website)
Funded by Qatar National Research Fund (NPRP 09-667-1-100)

Effective Distributed Programming via Join Patterns with Guards, Propagation and More (coming soon)
Funded by Qatar National Research Fund (JSREP 4-003-2-001)

Technical Reports

Decentralized Execution of Constraint Handling Rules for Ensembles (Extended Version) [pdf]
Edmund S. L. Lam and Iliano Cervesato
Carnegie Mellon University Technical Report, Apr 2013, CMU-CS-13-106, CMU-CS-QTR-118

Modeling Datalog Assertion and Retraction in Linear Logic (Extended Version) [pdf]
Edmund S. L. Lam and Iliano Cervesato
Carnegie Mellon University Technical Report, Apr 2012, CMU-CS-12-126, CMU-CS-QTR-113

Parallel Execution of Constraint Handling Rules - Theory, Implementation & Application (PhD Thesis) [download]
Edmund S. L. Lam
School of Computing, National University of Singapore (NUS), March 2011

Publications

Modeling Datalog Assertion and Retraction in Linear Logic [pdf]
Edmund S. L. Lam and Iliano Cervesato
In proceedings of Principle and Practice of Declarative Programming 2012 (PPDP'12), Pages 67-78

Concurrent Goal-Based Execution of Constraint Handling Rules [pdf]
Edmund S. L. Lam and Martin Sulzmann
In journal of Theory and Practice of Logic Programming 2011 (TPLP'12), Pages 841-879

Comparing the Performance of Concurrent Linked-List Implementations in Haskell [pdf]
Martin Sulzmann, Edmund S. L. Lam and Simon Marlow
In proceedings of Declarative Aspects of Multicore Programming 2009 (DAMP'09), Pages 37-46

Actors with Multi-Headed Message Receive Patterns [pdf]
Martin Sulzmann, Edmund S. L. Lam and Peter Van Weert
In proceedings of Coordination 2008, Pages 315-330

Parallel Execution of Multi-set Constraint Rewrite Rules [pdf]
Martin Sulzmann and Edmund S. L. Lam
In proceedings of Principle and Practice of Declarative Programming 2008 (PPDP'08), Pages 20-31

A Concurrent Constraint Handling Rules Implementation in Haskell [pdf]
Edmund S. L. Lam and Martin Sulzmann
In proceedings of Declarative Aspects of Multicore Programming 2007 (DAMP'07), Pages 19-24