Tevfik Bultan

Registered user since Mon 23 May 2016

Name: Tevfik Bultan

Affiliation: University of California, Santa Barbara

Personal website: http://www.cs.ucsb.edu/~bultan/

Contributions

ASE 2019Committee Member in Steering Committee
JPF 2018Author of Attack Synthesis for Strings using Meta-Heuristics within the JPF-track
Author of Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting within the JPF-track
ICSE 2020Programme Committee in Program Committee within the Technical Papers-track
ICSE 2019Track Chair in Program Board within the Technical Track-track
Committee Member in Program Committee within the Journal-First Papers-track
Author of ACM SIGSOFT Distinguished Paper Awards within the Plenary-track
Session Chair of Building Reproducible, Reusable, and Robust Machine Learning Software (part of Plenary)
Author of ICSE Distinguished Reviewer Awards within the Plenary-track
Program Chair in Organizing Committee
Author of Opening Ceremonies within the Plenary-track
ESEC/FSE 2018Committee Member in Program Committee within the Research Papers-track
Session Chair of Testing II (part of Research Papers)
Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
ISSTA 2017General Chair of ISSTA 2017 Opening within the Agenda-track
Session Chair of Tuesday Keynote (part of Keynotes)
General Chair in Organizing Committee
General Chair of ISSTA 2017 Closing within the Agenda-track
SOAP 2016Author of Invited Talk: Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution within the SOAP-track
ISSTA 2018Committee Member in Program Committee within the ISSTA Technical Papers-track
Session Chair of Keynote: Visser, Khurshid, and Pasareanu & Awards (part of ISSTA Keynotes)
Session Chair of Optimization and Performance (part of ISSTA Technical Papers)
Author of Impact Paper Awards within the ISSTA Keynotes-track
Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track
ECOOP and ISSTAAuthor of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track
* ICSE 2018 *Author of Poster F30: Static Detection of API Call Vulnerabilities in iOS Executables within the Posters -track
Committee Member in Program board within the Technical Papers -track
Author of Poster F46: Symbolic Path Cost Analysis for Side-Channel Detection within the Posters -track
PLDI 2016Presenter of String Analysis for Vulnerability Detection and Repair within the Tutorials-track