Tevfik Bultan - Talks

• ``Quantitative Symbolic Analysis for Software Security and Dependability.'' Keynote talk, the 28th Asia-Pacific Software Engineering Conference (APSEC 2021), December 8, 2021.
• ``Software, Logic, and Security.'' IEEE Central Coast Section tech talk, October 20, 2021.
• ``Quantifying Information Leakage Using Model Counting and Symbolic Execution.'' Invited talk, Department of Computer Science and Engineering, University of Nebraska-Lincoln, October 22, 2020.
• ``Quantifying Information Leakage Using Model Counting.'' Invited tutorial, 32nd International Conference on Computer Aided Verification, July 20, 2020. (video)
• ``Software, Logic, and Automata: Automating Dependability of Software.'' Distinguished Speaker, Institute for Software Research (ISR), University of California, Irvine, January 18, 2019.
• "Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution." (pdf file)
  
  • Keynote, 11th Working Conference on Verified Software: Theories, Tools, and Experiments, July 14, 2019, New York City, USA
  • Invited talk, Southern California Software Engineering Symposium (SuCSES), University of California, Irvine, June 7, 2019.
  • Keynote, Java PathFinder Workshop (JPF 2018), Lake Buena Vista, Florida, November 5, 2018.
  • Keynote, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Chennai Mathematical Institute, Chennai. December 13–15, 2016.
  • Invited talk, 6th International Symposium on High Confidence Software (ISHCS 2016), December 17-18, 2016, Institute of Software and Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing, China.
  • Keynote, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), October 17-20, 2016, Chiba, Japan.
  • Invited talk, 5th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2016), Santa Barbara, California, June 14, 2016.
• "String Analysis for Vulnerability Detection and Repair." (pdf file)
  
  • Invited tutorial, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), October 17-20, 2016, Chiba, Japan.
  • Distinguished Lecture, University of Luxembourg, Interdisciplinary Center for Security, Reliability and Trust (SnT), July 21, 2016.
  • Keynote, 22nd International Symposium on Model Checking Software (SPIN 2015), Stellenbosch, South Africa, August 24, 2015.
• "Automata-based String Analysis." (part 1 pdf file), (part 2 pdf file), (part 3 pdf file)
  Tutorial, 37th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2016), Santa Barbara, California, June 13, 2016.
• "Detecting and Repairing Security Vulnerabilities in Web Applications." (power point presentation)
  • Invited talk, Middle East Technical University, Ankara, Turkey, May 14, 2015.
  • Invited talk, Bilkent University, Ankara, Turkey, May 14, 2015.
  • Invited talk, Bogazici University, Istanbul, Turkey, May 4, 2015.
  • Invited talk, Sabanci University, Istanbul, Turkey, April 29, 2015.
  • Invited talk, Koc University, Istanbul, Turkey, March 30, 2015.
• "Differential String Analysis." (power point presentation)
  
  • Invited talk, Microsoft Research, Redmond, Washington, January 5, 2015.
  • Invited talk, Academia Sinica, Taipei, Taiwan, November 14, 2014.
• "String Analysis." (power point presentation)
  Tutorial, 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, November 17, 2014.
• "Data Model Analysis and Verification." (power point presentation)
  Invited talk, NTU, Taipei, Taiwan, November 15, 2014.
• "String Analysis for Dependable Input Validation and Sanitization." (power point presentation) (online video)
  
  • Invited talk, IFIP Working Group 2.3 Programming Methodology Meeting, Istanbul, Turkey, March 27, 2015.
  • Invited talk, NASA Ames Research Center, August 18, 2014.
  • Invited talk, Fujitsu Laboratories of America, August 18, 2014.
  • Invited talk, Department of Computer Science, Aarhus University, Aarhus, Denmark, April 24, 2013.
  • Distinguished Lecture, The Center for Embedded Systems for Critical Applications (CESCA), Virginia Tech, April 6, 2012.
  • Keynote, 13th International Workshop on Verification of Infinite-State Systems (Infinity 2011), October 10, 2011.
• "Data Model Analysis." (power point presentation)
  Workshop on the State of the Art in Automated Software Engineering Research (SOTA 2014), Toronto, Canada, June 25, 2014.
• "Data Model Property Inference and Repair." (power point presentation)
  2013 International Symposium in Software Testing and Analysis (ISSTA 2013), Lugano, Switzerland, July 17, 2013.
• "Analyzing Interactions of Asynchronously Communicating Software Components." (power point presentation)
  
  • Keynote, 2nd International Workshop on Quality Assurance for Service-based applications (QASBA 2013), Lugano, Switzerland, July 15, 2013.
  • Invited talk, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France, July 10, 2013.
  • Keynote, 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), June 3, 2013, Florence, Italy.
  • Keynote, 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, USA, September 12, 2012.
• "An Integrated Data Model Verifier with Property Templates." (power point presentation)
  ICSE 2013 Workshop on Formal Methods in Software Engineering (FormaliSE 2013), San Francisco, USA, May 25, 2013.
• "Unbounded Data Model Verification Using SMT Solvers." (power point presentation)
  27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, September 7, 2012.
• "Deciding Choreography Realizability," (power point presentation)
  39th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2012), Philadelphia, Pennsylvania, USA, January 25, 2012.
• "Synchronizability for Verification of Asynchronously Communicating Systems" (power point presentation)
  13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), Philadelphia, Pennsylvania, USA, January 24, 2012.
• "Web Yazılımlarındaki Hataları Otomatik Doğrulama Yöntemleri ile Düzeltmek." (In Turkish) (power point presentation)
  Keynote, 5th National Software Engineering Symposium (UYMS 2011), September 26, 2011.
• "A Tutorial on Automated Verification." (power point presentation)
  Invited tutorial, 5th National Software Engineering Symposium (UYMS 2011), September 27, 2011.
• "Eliminating Bugs in MVC-Style Web Applications." (power point presentation)
  UCSB Computer Science Security Day, May 31, 2011.
• "Analyzing Interactions of Asynchronously Communicating Systems" (power point presentation)
  
  • Invited talk, Computer Engineering Department, TOBB Economics and Technology University, September 27, 2011.
  • Invited talk, IFIP Working Group 2.3 Programming Methodology Meeting, Santa Barbara, CA, January 20, 2011.
• "Eliminating Navigation Errors in Web Applications via Model Checking and Runtime Enforcement of Navigation State Machines" (power point presentation)
  25th IEEE International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September 23, 2010.
• "Eliminating Web Software Vulnerabilities Using Automated Verification." (power point presentation)
  
  • Invited talk, CalPoly, San Luis Obispo, California, November 5, 2010.
  • Invited talk, Georgia Tech, Atlanta, September 8, 2010.
  • Keynote, Workshop on Software Reliability and Formal Methods, Koc University, Istanbul, Turkey, May 31, 2010.
  • UCSB Computer Science Security Day, May 17, Thursday
• "Relational String Verification Using Multi-track Automata." (power point presentation)
  15th International Conference on Implementation and Application of Automata (CIAA 2010), Winnipeg, Manitoba, Canada, August 13, 2010.
• "Modular Verification of Synchronization with Reentrant Locks." (power point presentation)
  8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, July 26, 2010.
• "A Tool for Choreography Analysis Using Collaboration Diagrams." (power point presentation)
  7th IEEE International Conference on Web Services (ICWS 2009), Los Angeles, CA, July 9, 2009.
• "Modularity, Interfaces, and Verification." (power point presentation)
  Keynote, 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2008), November 9, 2008.
• "Service Choreography and Orchestration with Conversations." (power point presentation)
  
  • Keynote, 19th International Conference on Concurrency Theory (CONCUR 2008), Toronto, Canada, August 21, 2008.
  • Invited talk, Bilkent University, Ankara, Turkey, January 2, 2009.
  • Invited talk, Middle East Technical University, Ankara, Turkey, December 24, 2008.
• "Infinite State Model Checking with Arithmetic Constraints" (power point presentation)
  • Invited talk, 1st International Workshop on Numerical Abstractions for Software Verification (NSV 2008), July 8th, 2008.
  • Keynote, 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008), June 6, 2008.
• "Client and Server Verification for Web Services Using Interface Grammars." (power point presentation)
  Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), Washington, July 21, 2008.
• "Developing Verifiable Concurrent Software." (power point presentation)
  CAV 2008 Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), July 7, 2008, Princeton, NJ.
• "Interface Grammars for Modular Software Verification", (power point presentation) (YouTube video)
  Google Tech Talks. Frontiers of Automated Software Engineering Workshop, June 4, 2008, Mountain View, CA.
• ``Structuring Software for Verifiability,'' (power point presentation)
  • Invited talk, University of California, Riverside, December 13, 2007.
  • Invited talk, NEC Labs, Princeton, November 5, 2007.
• "Extended Interface Grammars for Automated Stub Generation," (power point presentation)
  Automated Formal Methods Workshop (AFM 2007), Atlanta, Georgia, November 6, 2007.
• "Specification of Realizable Service Conversations Using Collaboration Diagrams," (power point presentation)
  IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2007), Newport Beach, California, June 19, 2007.
• "Modeling Interactions of Web Software," (power point presentation)
  Invited tutorial, 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV 2006), Paphos, Cyprus, November 19, 2006.
• "Analyzing Tabular Requirements Specifications Using Infinite State Model Checking." (power point presentation)
  Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006), Napa, CA, July 27, 2006.
• "Analyzing Conversations of Web Services," (power point presentation)
  Invited talk, State University of New York at Stony Brook, December 2, 2005.
• "Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software," (power point presentation)
  The 20th IEEE/ACM Internation Conference on Automated Software Engineering, Long Beach, CA, November 7, 2005.
• "Design for Verification for Concurrent and Distributed Software," (power point presentation)
  State of the Art in Automated Software Engineering Workshop, City University, London, UK, July 27, 2005.
• "Verification of Parameterized Hierarchical State Machines Using Action Language Verifier," (power point presentation)
  Third ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2005) Verona, Italy, July 13, 2005.
• "Tools for Automated Verification of Web Services," (power point presentation)
  
  • Invited talk, Naval Research Lab, November 24, 2004.
  • Invited talk, Second International Symposium on Automated Technology on Verification and Analysis (ATVA 2004), November 1, 2004.
  • Invited talk, Software Chat, Computer Science Department, University of Maryland, September 27, 2004.
  • Invited talk, Computer Science Department, Brown University, July 9, 2004.
  • Invited talk, Nokia Research Center, Boston, July 12, 2004.
• "Model Checking: Foundations and Applications," (power point presentation)
  Guest lectures on model checking in CMSC 631: Program Analysis and Understanding, Computer Science Department, University of Maryland, November 9, 11, 2004.
• "Tools for Automated Verification of Concurrent Software," (power point presentation)
  Invited talk, Naval Research Lab, September 29, 2004.
• "WSAT: A Tool for Formal Analysis of Web Services," (power point presentation)
  16th International Conference on Computer Aided Verification (CAV 2004). Boston, July 2004.
• "Model Checking XML Manipulating Software," (power point presentation)
  2004 ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004). Boston, July 2004.
• "Tools for Automated Verification of Web Services," (power point presentation)
  Invited talk, Bell Laboratories, Lucent Technologies, May 18, 2004.
• "Tools for Automated Verification of Concurrent Software," (power point presentation)
  • Invited talk, Department of Computer Science and Engineering, Michigan State University, September 26, 2003.
  • Invited talk, Department of Computer Science and Engineering, University of California, San Diego, August 18, 2003.
• "A Top-Down Approach to Modeling Global Behaviors of Web Services," (power point presentation)
  Requirements Engineering for Open Systems Workshop (REOS 2003), Monterey, California, September 8th, 2003.
• "Integrating Arithmetic Constraint Based Verification and Shape Analysis," (power point presentation)
  Dagstuhl Seminar on Deduction and Infinite-state Model Checking, April 2003.
• "Automated Verification of Concurrent Linked Lists," (power point presentation)
  9th International Static Analysis Symposium (SAS '02). Madrid, Spain, September 2002.
• "Tools for Specification, Verification, and Synthesis of Concurrency Control Components," (power point presentation)
  Faculty Research Seminar, Department of Computer Science, University of California, Santa Barbara, May 9, 2002.
• "Tools for Specification, Verification, and Synthesis of Reactive Systems," (power point presentation)
  • Invited talk, Computer Science Department, State University of New York at Stony Brook, March 22nd, 2002.
  • Invited talk, Computer Science Department, University of Massachusetts, Amherst, March 25th, 2002.
• "A Specification Language and a Verification Engine for Reliable Reactive Software Development," (power point presentation)
  Invited talk, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, November 19, 2001.
• "Reachability Analysis for Some Models of Infinite-State Transition Systems." (power point presentation)
  11th International Conference on Concurrency Theory (CONCUR 2000), University Park, PA, August 2000.
• "Action Language: A Specification Language for Model Checking Reactive Systems." (power point presentation)
  22nd International Conference on Software Engineering (ICSE 2000), University of Limerick, Ireland, June 2000.
• "BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems." (power point presentation)
  Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), Berlin, Germany, March 2000.
• "Model Checking Software Specifications," (ps file)
  Faculty Research Seminar, Department of Computer Science, University of California, Santa Barbara, January 22, 1999.
• "Automated Symbolic Analysis of Reactive Systems," (ps file)
  PhD dissertation defense, Department of Computer Science, University of Maryland, College Park, July 16, 1998.