conf.researchr.org / Abdulbaki Aydin

Registered user since Mon 9 Jan 2017

Name:Abdulbaki Aydin
Country:United States
Affiliation:Microsoft, USA
Personal website:http://www.cs.ucsb.edu/~baki/
Research interests:Software Verification, Program Analysis, Software Security, Model Counting

Contributions

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