Publications

Erdal Mutlu, Benjamin Livshits, Serdar Tasiran. Detecting JavaScript Races that Matter. European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015)

Erdal Mutlu, Serdar Tasiran, Benjamin Livshits. I Know It When I See It: Observable Races in JavaScript Applications. In Proceedings of the Workshop on Dynamic Languages and Applications (Dyla’14)

Erdal Mutlu, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, Osman S. Unsal. Dynamic Verification for Hybrid Concurrent Programming Models. 14th International Conference on Runtime Verification (RV 2014)

Burcu Kulahcioglu Ozkan, Erdal Mutlu, and Serdar Tasiran. Towards verifying eventually consistent applications. In Proceedings of the First Workshop on Principles and Practice of Eventual Consistency (PaPEC ‘14)

Erdal Mutlu, Ilker Birbil, Kerem Bulbul, and Husnu Yenigun. High level rule modeling language for airline crew pairing. In International Conference on Numerical Analysis and Applied Mathematics.