Recent Activities

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:

• Automated Verification (CS267): Prof. Tevfik Bultan.  Project: Symbolic Verification on Strings and Integers
• Seminar on Static String Analysis (CS595c):  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
• Great Presentation (CS594): Janet Kayfetz

Summer 2007:

• ESEC/FSE 2007, Croatia Sep.3 -Spe. 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:

• Software Engineering (CS272): Prof. Tevfik Bultan. 
   Project : String Analysis [report] [slide]
• Seminar on Architectural Support for Dynamic Software Analysis (CS595C): Prof. Tim Sherwood and Prof. Tevfik Bultan.
   Presentation:[Goldilocks].
• Advanced Writing (CS594): Janet Kayfetz

Winter 2007:

• Directed Research: Shape Analysis. Prof. Tevfik Bultan
• Programming Language (CS263): 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 Assistant at ERlab, UCLA.  Prof. Majid Sarrafzadeh
  (1) Networked  Embedded System Verification [draft]   (2) Power Analysis of Interrupt-Driven and Multi-threaded Programs [draft]
• The Organizing Committee of DLT 2006

Spring 2006:

• Teaching Assistant: Automated Verification (CS267): Prof. Tevfik Bultan
• Individual Study: An Efficient Shift Operation of BDDs. Prof. Tevfik Bultan
• Information Theory(CS225): Code Compression [draft].  Prof. Wim van Dam
• Advanced Algorithms(CS230): Prof. Teo Gonzalez
• Seminar on Algorithms(CS595A): Prof. Subash Suri
• Seminar on Membrane Computing(CS595D): Prof. Oscar Ibarra
• Graduate Writing (Ling3G): Dr. Judy Gough

Winter 2006:

• Research on Spiking Neural P System: Prof. Oscar Ibarra and Sara Woodworth
• Teaching Assistant: Data structures and Algorithms(CS130A)- Prof. Subhash Suri, Coworker: Sorabh Gandhi
• Distributed Systems(CS271): Prof. Amr El Abbadi
• Theory of Computation and Complexity (CS220): Prof. Oscar Ibarra
• Formal Specification and Verification(CS266): Project-Loop Invariants for Fixpoints [draft]. Prof. Richard Kemmerer
• Seminar on Description Logics(CS595): Prof. Jianwen Su
• Linguistic 6: Dr. Jeffery Hanson

Fall 2005:

• Research on Database Privacy: Prof. Jianwen Su and Prof. Oscar Ibarra  
• Teaching Assistant: Data structures and Algorithms(CS130A): Prof. Teo Gonzalez, Coworker: Arturo Gonzalez
• Algorithms for the Internet Ages (CS230B): Prof. Subhash Suri
• Seminar on Database and Sensor Networks(CS595)
• Linguistic 9: Dr. Randy Rightmire
• Linguistic 4: Dr. Jan Fordson