Here, you will find my research publications. Feel free to contact me if you like to know more about any of my work

Conference Papers & Journals

Property-based Randomized Test Generation for Interactive Apps. With Bor-Yuh Evan Chang and Peilun Zhang. (To Appear) In proceedings of ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017 [PDF]

Automatic Building of Java Projects in Software Repositories: A Study on Feasibility and Challenges. With Foyzul Hassan, Shaikh Mostafa and Xiaoyin Wang. (To Appear) In Proceedings of the 11th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2017 [PDF]

Choreographic Compilation of Decentralized Comprehension Patterns. With Iliano Cervesato and Ali Elgazar. In proceedings of Research, Tools, and Applications – 10th International Symposium, RuleML 2016 (Best Paper Award) [PDF]

Programmable Orchestration of Time-Synchronized Events Across Decentralized Android Ensembles. With Iliano Cervesato and Ali Elgazar. In proceedings of 11th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2015 [PDF]

Modular Multiset Rewriting. With Iliano Cervesato. In proceedings of Logic for Programming, Artificial Intelligence, and Reasoning – 20th International Conference, LPAR 2015 [PDF]

CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles. With Iliano Cervesato and Nabeeha Fatima. In proceedings of Coordination Models and Languages – 17th {IFIP} {WG} 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 [PDF]

Optimized Compilation of Multiset Rewriting with Comprehensions. With Iliano Cervesato. In proceedings of Programming Languages and Systems – 12th Asian Symposium, APLAS 2014 [PDF]

Decentralized Execution of Constraint Handling Rules for Ensembles. With Iliano Cervesato. In proceedings of 15th International Symposium on Principles and Practice of Declarative Programming, PPDP 2013 [PDF]

Modeling Datalog Fact Assertion and Retraction in Linear Logic. With Iliano Cervesato. In proceedings of 14th International Symposium on Principles and Practice of Declarative Programming, PPDP 2012 [PDF]

Parallel Execution of Constraint Handling Rules – Theory, Implementation and Application. PhD Thesis, National University of Singapore, 2011[PDF]

Concurrent Goal-based Execution of Constraint Handling Rules. With Martin Sulzmann. International Journal on Theory and Practice of Logic Programming, TPLP 2011 [PDF]

Actors with Multi-headed Message Receive Patterns. With Martin Sulzmann and Peter  Van Were. In proceedings of Coordination Models and Languages, 10th International Conference, COORDINATION 2008 [PDF]

Parallel Execution of Multi-set Constraint Rewrite Rules. With Martin Sulzmann. In Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2008 [PDF]

Workshop Papers

Let’s Unify with Scala Pattern Matching! With Iliano Cervesato. In proceedings of 30th International Workshop on Unification, Unif 2016 [PDF]

Overlap and Independence in Multiset Comprehension Patterns. With Iliano Cervesato. In proceedings of 30th International Workshop on Unification, Unif 2016 [PDF]

Concurrent Logic Programming: Met and Unmet Promises. With Iliano Cervesato. In proceedings of Workshop on Applications of Logic Programming, AppLP 2016 [PDF]

Reasoning About Set Comprehensions. With Iliano Cervesato. In proceedings of 12th International Workshop on Satisfiability Modulo Theories, SMT 2014 [PDF]

Constraint Handling Rules with Multiset Comprehension Patterns. In proceedings of Workshop on Constraint Handling Rules, CHR 2014 [PDF]

Comparing the Performance of Concurrent Linked-list Implementations in Haskell. With Martin Sulzmann and Simon Marlow. In proceedings of Declarative Aspects of Multicore Programming, Damp 2009 [PDF]

A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory. With Martin Sulzmann. In proceedings of Declarative Aspects of Multicore Programming, Damp 2007 [PDF]

Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. With Martin Sulzmann. In proceedings of Workshop on Constraint Handling Rules, CHR 2008 [PDF]

Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques. With Martin Sulzmann. In proceedings of Workshop on Constraint Handling Rules, CHR 2007 [PDF]

Towards Agent Programming in CHR. With Martin Sulzmann. In proceedings of Workshop on Constraint Handling Rules, CHR 2006 [PDF]

Gray Materials

Enhancing Human Social Interactions via Unmodified Smart Phone Ensembles. With Ali Elgazar. Unpublished Technical Report. Nov 2016 [PDF]

Modular Multiset Rewriting in Focused Linear Logic. With Iliano Cervesato. Carnegie Mellon University Technical Report, CMU-CS-15-117, July 2015 [PDF]

Comingle: Distributed Logic Programming for Decentralized Android Applications. With Iliano Cervesato. Carnegie Mellon University Technical Report, CMU-CS-15-101, Mar 2015 [PDF]

Optimized Compilation of Multiset Rewriting with Comprehensions (Full Edition). With Iliano Cervesato. Carnegie Mellon University Technical Report, CMU-CU-14-119, June 2014 [PDF]

Decentralized Execution of Constraint Handling Rules for Ensembles (Full Edition). With Iliano Cervesato. Carnegie Mellon University Technical Report, CMU-CS-13-106, Apr 2013 [PDF]

Modeling Datalog Assertion and Retraction in Linear Logic (Full Edition). With Iliano Cervesato. Carnegie Mellon University Technical Report, CMU-CS-12-126, June 2012 [PDF]

Efficient Compilation of Guarded Join-Patterns via Parallel Implementation of Constraint Handling Rules. With Martin Sulzmann. Unpublished Technical Report, Aug 2007 [PDF]