University of California, Santa Barbara

Department of Computer Science

VLab Dissertations

  • 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

    2016

    • Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, and Tevfik Bultan. "String Analysis for Side Channels with Segmented Oracles." To appear in the Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016).
    • Ivan Bocic and Tevfik Bultan. "Finding Access Control Bugs in Web Applications with CanCheck." To appear in the Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016).
    • Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang and Tevfik Bultan. "Optimal Sanitization Synthesis for Web Application Vulnerability Repair." To appear in the Proceedings of the 2016 International Symposium on Software Testing and Analysis (ISSTA 2016).
    • Samik Basu and Tevfik Bultan. "Automated Choreography Repair" Proceedings of the, 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016). pages 13-30, Eindhoven, The Netherlands, April 2-8, 2016.
    • Samik Basu and Tevfik Bultan. "On Deciding Synchronizability for Asynchronously Communicating Systems." Accepted for publication in Theoretical Computer Science (TCS).

    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