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 2018Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile