Registered user since Mon 9 Jan 2017

Name:Abdulbaki Aydin
Country:United States
Affiliation:Microsoft, USA
Research interests:Software Verification, Program Analysis, Software Security, Model Counting


ESEC/FSE 2018 Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
PLDI 2016 Presenter of String Analysis for Vulnerability Detection and Repair within the Tutorials-track