Tevfik Bultan

Verification Laboratory

Short Biography

CV

Publications   DBLP   Google Scholar

Talks

Musical Activities

Previously Committed, Sofar Sonear

Professional Activities

ICSE 2022, ICSE 2021, CAV 2021, ISSTA 2021, ICSE, ISSTA, ASE, ACM TOSEM

Undergraduate Courses:

• CS 16: Problem Solving with Computers I (S'14) (S'16)
• CS 160: Translation of Programming Languages (W'99) (F'99) (F'00) (F'01) (W'04) (F'10) (W'11) (F'11) (W'12) (W'13) (F'13) (F'15) (S'17) (F'17)
• CS 189A//189B/172: Capstone Project/Software Engineering (W'00) (W'02) (W'03) (W'04) (W'06) (W'07) (W'08) (W'09) (W'10) (W'19)

Graduate Courses:

• CS 292: Quantitative Information Flow and Side Channels
• CS 290C/292C: String Analysis (W'16) (W'18)
• CS 290C: Formal Models for Web Software (S'10) (S'13)
• CS 267: Automated Verification (S'99) (W'01) (F'02) (S'06) (S'08) (F'09) (S'10) (S'11) (S'12) (W'14) (W'17)
• CS 272: Software Engineering (S'03) (S'07) (F'08) (F'12) (F'18)
• CS 260: Advanced Topics in Translation (S'04) (S'02)
• CS 290: Concurrent Program Design and Verification (S'00)
  

Seminars:

• CS 595C: Quantitative Verification
• CS 595I: Testing and Verification Techniques for Machine Learning
• CS 595C: Side Channel Analysis via Model Counting Constraint Solvers (F'16)
  
• CS 595C: Automated Worst Case and Side Channel Analysis for Software (F'15)
  
• INT 94PL Freshman Seminar: What is Computing? (S'14)
  
• INT 94PL Freshman Seminar: What is Computing? (S'13)
  
• CS 595C: Automated Decision Procedures (W'13)
• INT 94PL:Freshman Seminar: What is Computing? (S'12)
  I have a blog for this seminar: http://whatiscomputing.blogspot.com/
• CS 595C: Analysis and Verification Techniques for Improving Dependability of Web Software (F'11)
• CS 595C: Domain Specific Languages and Analyses for Web Applications (S'10)
• CS 595C: Dependable Web Applications via String Analysis (S'09)
• CS 595C: Static String Analysis (S'08)
• CS 595C: Architectural Support for Dynamic Software Analysis (S'07)
• CS 595: Environment Generation and Model Based Testing (S'06)
• CS 595: Web Services and Security (W'06)
• CS 595: Topics in Automated Verification (F'00) (S'02) (S'04)
• CS 595: Web Services (S'03) (F'03)
• CS 595: Interfaces, Web Services and Verification (W'03)
• CS 595: Faculty Research Seminar (W'00)
• CS 595: Automated Verification of Infinite State Systems (F'99)
• CS 595: Workflow Specification Languages (W'99)

Current Students and Postdocs

• Burak Kadron, PhD candidate
• Seemanta Saha, PhD candidate
• William Eiers, PhD candidate
• Mara Dawning, PhD student
• Yilmaz Vural, postdoc
• Ganesh Sankaran, BS/MS student
• Albert Li, BS/MS student
• Chaofan Shou, undergraduate student
• Surendra Ghentiyala, undergraduate student

Past Students, Postdocs

Postdoc

• Nicolas Rosner, Postdoctoral researcher, 2016-2019.
• Nestan Tsiskaridze, Postdoctoral researcher, 2016-2018.
• Sylvain Hallé, Postdoctoral researcher, 2008-2010.
  Current position: Associate Professor, Université du Québec à Chicoutimi, Canada

PhD

• Tegan Brennan, Ph.D. 2020
  Dissertation: Static and Dynamic Software Side-Channels
  Position after graduation: Assistant Professor, Stevens Institute fo Technology
• Lucas Bang, Ph.D. 2018
  Dissertation: Software Side-Channel Analysis
  Position after graduation: Assistant Professor, Harvey Mudd College
• Abdulbaki Aydin, Ph.D. 2017
  Dissertation: "Automata-based Model Counting String Constraint Solver for Vulnerability Analysis."
  Position after graduation: Software Engineer, Microsoft.
• Ivan Bocic, Ph.D. 2016
  Dissertation: "Data Model Verification via Theorem Proving."
  Position after graduation: Software Engineer, Google.
• Muath Alkhalaf, Ph.D. 2014
  Dissertation: "Automatic Detection and Repair of Input Validation and Sanitization Bugs." Defense presentation.
  Position after graduation: Assistant Professor, Computer Science Department, King Saud University.
• Jaideep Nijjar, Ph.D. 2014.
  Dissertation: "Analysis and Verification of Web Application Data Models."
• Fang Yu, Ph.D. 2010.
  Dissertation: "Automatic Verification of String Manipulating Programs."
  Current position: Associate Professor, Department of Management Information Systems, National Chengchi University, Taiwan
• Graham Hughes, Ph.D. 2009.
  Dissertation: "Interface Grammars for Modular Software Verification."
  Position after graduation: Research Scientist, Acelot, Inc.
• Aysu Betin Can, Ph.D., 2005.
  Dissertation: "Design for Verification for Concurrent and Distributed Programs."
  Current position: Associate Professor, Informatics Institute, Middle East Technical University, Ankara, Turkey.
• Constantinos Bartzis, Ph.D., 2004.
  Dissertation: "Symbolic Representations for Integer Sets in Automated Verification."
  Position after graduation: Post Doctoral Fellow, School of Computer Science, Carnegie Mellon University.
• Xiang Fu, Ph.D., 2004, co-advised with Jianwen Su.
  Dissertation: "Formal Specification and Verification of Asynchronously Communicating Web Services."
  Current position: Associate Professor, Department of Computer Science, Hofstra University.
• Tuba Yavuz-Kahveci, Ph.D., 2004.
  Dissertation: "Specification and Automated Verification of Concurrent Software Systems."
  Current Position: Assistant Professor, Electrical and Computer Engineering Department, University of Florida, Gainesville.
• Zhe Dang, Ph.D., 2000, co-advised with Richard A. Kemmerer.
  Dissertation: "Verification and Debugging of Infinite State Real-time Systems."
  Current position: Associate Professor, School of Electrical Engineering and Computer Science, Washington State University.

MS

• Nicholas Chen, M.S. 2019.
  Project Title: Pattern-Based Alignment for Network Traces
• Abhabongse Janthong, M.S. 2017.
  Project Title: Safety Checking for Domain Relational Calculus Queries Using Alloy Analyzer
• Zachary Stengel, M.S. 2010.
  Project Title: Analyzing Singularity Channel Contracts
• Ben Rubinger, M.S. 2010.
  Project Title: A Code Contracts Case Study for a Facebook Application
• Muath Alkhalaf, M.S. 2008.
  Project title: Automated Web Service Testing Using Interface Grammars
• Chris Ferguson, M.S. 2008.
  Project title: Collaboration Diagram Analysis Toolkit.
• Elliot Barlas, B.S./M.S., 2007.
  Project title: A Framework for Verification of Distributed Java Programs Using Java PathFinder.
  Current position: Citrix Online
• Jennifer Choe, M.S., 2006.
  Project title: An Extended Finite State Machine Approach to Automated GUI Testing.
  Current position: Veeco Systems

Contact Information:

Department of Computer Science
University of California
Santa Barbara, CA 93106-5110