-
Program Committees: PaPoC ’18 (co-chair), ECOOP’17 (PC), PaPoC ’17 (PC), PLDI’17 (ERC), PLMDC’16 (PC), OOPSLA ’15 (PC), PaPoC ’15 (PC), ECOOP ’14 (ERC), POPL ’13 (PC), PLDI ’13 (ERC), ASPLOS ’13 (ERC), OOPSLA ’11 (PC)
-
Invited talksKeynote at REBLS Workshop at SPLASH’17 in Vancouver.Workshop at ECOOP PC meeting in Zurich. See the slides.Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) 2015. See the slides.
Workshop on Highly Scalable Distributed Systems (Paris, Jan 2015). See the slides.
Princeton University, University of Pennsylvania (Nov. 2014). See the slides.
Workshop on Principles and Practice of Eventual Consistency (PaPEC) 2014. See the slides.
SPLASH-I talk in Indianapolis, 2013. See the slides. -
Summer School Lectures
UPMARC 2016 in Uppsala, see the slides.
METIS 2015 in Agadir, see the slides.
LASER summer school in Elba, 2013, see the slides, see the LNCS Lecture Notes.
Summer School on Concurrency in St. Petersburg, 2012, see the slides. -
Dagstuhl seminars
Programming Language Techniques for Incremental and Reactive Computing (Oct. 2016)
Concurrent computing in the many-core era (Jan. 2015), see the slides.
Consistency in Distributed Systems (Feb. 2013), see the slides.
Multi-Core Memory Models and Concurrency Theory (Jan. 2010), see the slides. - NSF panelist
About
My research interest are programming models to program distributed, parallel, or concurrent or systems conveniently, efficiently, and correctly.
I am particularly interested in the following topics (from more recent to less recent):
Programming Elastic Services using Virtual Actors
(see the Orleans project)
Eventual Consistency, and Consistency in Distributed Systems
Check out my book! (free download on publisher site)
Touch-enabled scripting languages for mobile+cloud
(see the TouchDevelop project)
Programming with Concurrent Revisions
(see the Revisions project)
Verification and Debugging Tools for Concurrent Programs
(see the Cuzz and CHESS projects)
Projects
Publications
Other
Brief Publication List
For a quicker overview, here a slightly shorter list of my publications.
- [TechReport] Geo-Distribution of Actor-Based Services
- [PODC’16] Specification and Complexity of Collaborative Text Editing
- [ECOOP’15] Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
- [Foundations and Trends® in Programming Languages 1, 1-2 (Oct. 2014)]
Principles of Eventual Consistency, available as a free pdf download on publisher site - [POPL’14] Replicated Data Types: Specification, Verification, Optimality (complete version w/ proofs)
- [PLDI’13] It’s Alive! Continuous Feedback in UI Programming
- [TechReport 2013-39] Understanding Eventual Consistency
- [PLDI’12] Multicore Acceleration of Priority-Based Scheduler for Concurrency Bug Detection
- [ECOOP’12] Cloud Types for Eventual Consistency
-
[ESOP’12] Eventually Consistent Transactions, full version available here
-
[OOPSLA’11] (Distinguished Paper Award) Two for the Price of One: A Model for Parallel and Incremental Computation
-
[ESOP’11] Semantics of Concurrent Revisions, extended version available here
-
[OOPSLA’09] The Design of a Task-Parallel Library
-
[HotPar’09] Lightweight Software Transactions for Games