Research and Course Works at UCSB
Spring 2010:
- Defense Exam: Automatic Verification of String Manipulating Programs [dissertation] [presentation]
- Job Talk: North Carolina State University, Raleigh, NC
- Paper Submitted: Relational String Verification Using Multi-track Automata
Winter 2010:
- Job Talk: National Chung Cheng University, Chya-Yi, Taiwan (Video conference)
- Paper Submitted: Patching String Vulnerabilities with Automated Sanitization Generation
Fall 2009:
- Proposal Exam: Automatic Verification of String Manipulating Programs [report] [presentation]
- CS 267, Guest Lecture [presentation]
- Paper Submitted: Stranger: An Automat-based String Analysis Tool for PHP
Summer 2009:
- Stranger Tool Announcement [website]
- Program committee, GSWC09, UCSB
- Research Assistant, Prof. Tevfik Bultan, UCSB
Spring 2009:
- CS 290A: Combinatorial Methods and Algorithms. Prof. Omer Egecioglu
- CS 595C: Seminar on Dependable Web Application via String Analysis. Prof. Tevfik Bultan
- Paper Submitted: Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses
Winter 2009:
- ETAPS/ TACAS 2009, York, Mar. 22 -29. [presentation]
- Paper Submitted: Verification of String Manipulating Programs Using Multi-track Automata
Fall 2008:
- SIGSOFT 2008/FSE 16, Atlanta, Nov. 10 -14. [presentation]
- Paper Submitted: Symbolic String Verification: Combining String Analysis and Size Analysis
Summer 2008:
- SPIN 2008, Los Angeles, Aug. 10 -12. [presentation]
- Intern, NEC Laboratories America, Inc. Princeton, NJ. July 14 - Sep. 24. Supervised by Chao Wang.
Spring 2008:
- CS 267: Automated Verification. Prof. Tevfik Bultan. Project: Symbolic Verification on Strings and Integers
- CS 595C: Seminar on Static String Analysis. Prof. Tevfik Bultan
- Paper Submitted: (1) Symbolic String Verification: An Automata-based Approach
(2) Modular Verification of Synchronization with Reentrant Locks
Winter 2008:
- Directed Research: Modular Reachability Analysis. Prof. Tevfik Bultan and Dr. Chao Wang
- Paper Submitted: Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization
Fall 2007:
- Directed Research: String Analysis. Prof. Tevfik Bultan
- CS 594: Great Presentation. Dr. Janet Kayfetz
Summer 2007:
- ESEC/FSE 2007, Croatia Sep. 3 - 7. [presentation]
- Intern, NEC Laboratories America, Inc. Princeton, NJ. June 25 - Sep. 25. Project: Scalable Verification on Web Services, supervised by Chao Wang.
Spring 2007:
- CS 272: Software Engineering. Prof. Tevfik Bultan. Project : String Analysis [report] [presentation]
- CS 595C: Seminar on Architectural Support for Dynamic Software Analysis. Prof. Tim Sherwood and Prof. Tevfik Bultan. Presentation:[Goldilocks].
- CS 594: Advanced Writing. Dr. Janet Kayfetz
Winter 2007:
- Directed Research: Shape Analysis. Prof. Tevfik Bultan
- CS 263: Programming Language. Prof. Chandra Krintz
Fall 2006:
- Directed Research: Verifying Size Properties of Object Constraint Language. Prof. Tevfik Bultan and Erik Peterson
- Major Area Exam: Software Model Checking at Design and Implementation [reading list]
Summer 2006:
- Summer Research at ERlab, UCLA. Prof. Majid Sarrafzadeh (1) Networked Embedded System Verification [report] (2) Power Analysis of Interrupt-Driven and Multi-threaded Programs [report]
- The Organizing Committee of DLT 2006
Spring 2006:
- Teaching Assistant - CS 267: Automated Verification. Prof. Tevfik Bultan
- Individual Study: An Efficient Shift Operation of BDDs. Prof. Tevfik Bultan
- CS 225: Information Theory. Prof. Wim van Dam. Project: Code Compression [report].
- CS 230: Advanced Algorithms. Prof. Teo Gonzalez
- CS 595A: Seminar on Algorithms. Prof. Subash Suri
- CS 595D: Seminar on Membrane Computing. Prof. Oscar H. Ibarra
- Ling 3G: Graduate Writing. Dr. Judy Gough
Winter 2006:
- Research on Spiking Neural P System: Prof. Oscar H. Ibarra and Sara Woodworth
- Teaching Assistant – CS130A: Data Structures and Algorithms. Prof. Subhash Suri, Coworker: Sorabh Gandhi
- CS 271: Distributed Systems. Prof. Amr El Abbadi
- CS 220: Theory of Computation and Complexity. Prof. Oscar H. Ibarra
- CS 266: Formal Specification and Verification. Prof. Richard Kemmerer. Project: Loop Invariants for Fixpoints [draft].
- CS 595A: Seminar on Description Logics. Prof. Jianwen Su
- Ling 6: TA Presentation. Dr. Jeffery Hanson
Fall 2005:
- Research on Database Privacy: Prof. Jianwen Su and Prof. Oscar Ibarra
- Teaching Assistant – CS 130A: Data Structures and Algorithms. Prof. Teo Gonzalez, Coworker: Arturo Gonzalez
- CS 231: Algorithms for the Internet Ages. Prof. Subhash Suri
- CS 595D: Seminar on Database and Sensor Networks
- Ling 9: Pronunciation. Dr. Randy Rightmire
- Ling 4: Individual Writing. Dr. Jan Fordson