University of California, Santa Barbara

Department of Computer Science

VLab Dissertations

  • Tegan Brennan, Ph.D. 2020, Dissertation: "Static and Dynamic Software Side Channels"
  • Lucas Bang, Ph.D. 2018, Dissertation: "Software Side-Channel Analysis"
  • Abdulbaki Aydin, Ph.D. 2017, Dissertation: "Automata-based Model Counting String Constraint Solver for Vulnerability Analysis"
  • Ivan Bocic, Ph.D. 2016, Dissertation: "Data Model Verification via Theorem Proving"
  • Muath Alkhalaf, Ph.D. 2014, Dissertation: "Automatic Detection and Repair of Input Validation and Sanitization Bugs" ACM SIGSOFT Outstanding Dissertation Award. Defense presentation.
  • 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" UCSB Computer Science Outstanding Dissertation Award.
  • Graham Hughes, Ph.D. 2009. Dissertation: "Interface Grammars for Modular Software Verification"
  • Aysu Betin Can, Ph.D., 2005. Dissertation: "Design for Verification for Concurrent and Distributed Programs"
  • Constantinos Bartzis, Ph.D., 2004. Dissertation: "Symbolic Representations for Integer Sets in Automated Verification"
  • Xiang Fu, Ph.D., 2004. Dissertation: "Formal Specification and Verification of Asynchronously Communicating Web Services"
  • Tuba Yavuz-Kahveci, Ph.D., 2004. Dissertation: "Specification and Automated Verification of Concurrent Software Systems"

    VLab Publications

    2022

    2021

    2020

    2019

    2018

    2017

    2016

    2015

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    2006

    2005

    2004

    2003

    2002

    2001

    • Giorgio Delzanno and Tevfik Bultan. "Constraint-based Verification of Client-Server Protocols." In Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming (CP 2001), T. Walsh ed., LNCS 2239, pp. 286-301, Springer, Paphos, Cyprus, November 26-December 1, 2001.
    • Tevfik Bultan and Tuba Yavuz-Kahveci. "Action Language Verifier." Short paper. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 382-386, Coronado Island, California, November 26-29, 2001.
    • Tuba Yavuz-Kahveci, Murat Tuncer, and Tevfik Bultan. "A Library for Composite Symbolic Representations." In Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Tiziana Margaria and Wang Yi, eds., LNCS 2031, pp. 52-66, Springer, Genova, Italy, April 2-6, 2001.
    • Xiang Fu, Tevfik Bultan, Richard Hull, and Jianwen Su. "Verification of Vortex Workflows." In Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Tiziana Margaria and Wang Yi, eds., LNCS 2031, pp. 143-157, Springer, Genova, Italy, April 2-6, 2001.
    • Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, and Richard A. Kemmerer. "Past Pushdown Timed Automata." In Proceedings of the Sixth International Conference on Implementation and Application of Automata (CIAA 2001). Bruce W. Watson and Derick Wood, eds., LNCS 2494, pp. 74-86, CIAA 2001, Pretoria, South Africa, July 23-25, 2001.
    • Oscar H. Ibarra, Tevfik Bultan, and Jianwen Su. "On Reachability and Safety in Infinite-State Systems." International Journal of Foundations of Computer Science (IJFCS), vol. 12, no. 6, pp. 821-836, December 2001.

    2000