Registered user since Tue 10 Mar 2015

Name: Veselin Raychev

Country: Bulgaria

Affiliation: ETH Zurich, Switzerland

Personal website: http://www.srl.inf.ethz.ch/raychev.php

SPLASH 2015 Activities

• Author of Scalable Race Detection for Android Applications within the MobileDeLi-track in MobileDeLi 2015
• Author of Stateless Model Checking of Event-Driven Applications within the OOPSLA-track in SPLASH 2015
• Author of Scalable Race Detection for Android Applications within the OOPSLA-track in SPLASH 2015
• Author of Scalable Concurrency Analysis for Android Applications within the OOPSLA Artifacts-track in SPLASH 2015
• Show activities from other conferences