Tevfik Bultan

Registered user since Mon 23 May 2016

Name: Tevfik Bultan

Bio: Tevfik Bultan is a Professor and the Chair of the Department of Computer Science at the University of California, Santa Barbara (UCSB). His research interests are in software verification, program analysis, software engineering, and computer security. He has more than 100 refereed research publications and has served on more than 50 technical program committees of international conferences and workshops. He co-chaired the program committees of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011), the 20th International Symposium on the Foundations of Software Engineering (FSE 2012) which is the flagship conference of ACM SIGSOFT, the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) and the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019) which is the premier software engineering conference in the world. He was the general chair of the 2017 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017). He was an associate editor of the IEEE Transactions of Software Engineering (TSE) from 2014 to 2018 and he is currently an associate editor of the ACM Transactions on Software Engineering and Methodology (TOSEM). He is currently serving on the steering committees of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), IEEE/ACM International Conference on Automated Software Engineering (ASE), and ACM/IEEE International Conference on Software Engineering (ICSE). He has served as the vice chair of the Department of Computer Science at UCSB from 2005 to 2009.

Tevfik Bultan was a keynote speaker at the 19th International Conference on Concurrency Theory (CONCUR 2008), the 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), the 9th International Symposium on Formal Aspects of Component Software (FACS 2012), the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), and the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016). He received a NATO Science Fellowship from the Scientific and Technical Research Council of Turkey (TUBITAK) in 1993, a Regents’ Junior Faculty Fellowship from the University of California, Santa Barbara in 1999, a Faculty Early Career Development (CAREER) Award from the National Science Foundation in 2000, the ACM SIGSOFT Distinguished Paper Award and the Best Paper Award at the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), the ACM SIGSOFT Distinguished Paper Award at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), and the UCSB Academic Senate Outstanding Graduate Mentor Award in 2016. He was recognized as an ACM Distinguished Scientist in 2016.

Country: United States

Affiliation: University of California, Santa Barbara

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

Research interests: software verification, program analysis, software engineering, computer security

Contributions

ISSTA 2021PC Member in Program Committee
ISSTA 2020Author of Feedback-Driven Side-Channel Analysis for Networked Applications within the Technical Papers-track
Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2020Committee Member in Program Committee within the Research Papers-track
ICSE 2021Committee Member in Program Committee within the Doctoral Symposium-track
ASE 2019Committee Member in Steering Committee
Author of Subformula Caching for Model Counting and Quantitative Program Analysis within the Research Papers-track
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
Author of JVM Fuzzing for JIT-Induced Side-Channel Detection within the Technical Papers-track
Author of JVM Fuzzing for JIT-Induced Side-Channel Detection within the ICSE 2020 Posters-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 ISSTA 2018Author 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