Campus Units

Computer Science

Document Type

Conference Proceeding


The 15th International Conference on Modularity (Modularity 2016)

Publication Version

Accepted Manuscript

Link to Published Version

Publication Date


Journal or Book Title

Proceedings of the 15th International Conference on Modularity

First Page


Last Page




Conference Date

March 14-17, 2016


Málaga, Spain


Implicit concurrency between handlers is important for event driven systems because it helps simultaneously promote modularity and scalability. Knowing the side-effect of the handlers is critical in these systems to avoid concurrency hazards such as data races. As event systems are dynamic because statically known and unknown handlers can register at almost any time during program execution, static effect analyses must reconcile over competing goals such as precision, soundness and modularity. We recently developed asynchronous, typed events, a system that can analyze the effects of the handlers at runtime. This mechanism utilizes runtime information to enable precise effect computation and greatly improves concurrency between handlers. In this paper, we present the formal underpinnings of asynchronous, typed events, and examine the concurrency safety properties it provides. The technical innovations of our system include a novel effect system to soundly approximate the dynamism introduced by runtime handlers registration, a static analysis to precompute the effects and a dynamic analysis that uses the precomputed effects to improve concurrency. Our design simplifies modular concurrency reasoning and avoids concurrency hazards.


This article is published as Long, Yuheng, and Hridesh Rajan. "A type-and-effect system for asynchronous, typed events." In Proceedings of the 15th International Conference on Modularity, pp. 42-53. ACM, 2016. 10.1145/2889443.2889446 Posted with permission.


"© ACM, 2016 This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 15th International Conference on Modularity, 2016.

Copyright Owner




File Format


Published Version


Article Location