Write a Blog >>
Parosh Aziz Abdulla

Registered user since Sat 13 Sep 2014

Name:Parosh Aziz Abdulla
Affiliation:Uppsala University, Sweden
Research interests:Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, Logic


PLDI 2017 Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile