PhD

Goal
  • Developing tools and techniques for improving the reliability of software
Interests
  • Software Engineering: Testing concurrent programs, test input generation, static and dynamic analysis
  • Programming Languages: Concurrent/parallel/distributed programming languages/language features
Peer Reviewed Publications
  • IMUnit: Improved Multithreaded Unit Testing (Position Statement) (paper)
    Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, and Darko Marinov
    3rd International Workshop on Multicore Software Engineering (IWMSE 2010),
    co-located with the ACM/IEEE 32nd International Conference on Software Engineering
    (ICSE 2010), to appear, Cape Town, South Africa, May 2010
  • Test Generation through Programming in UDITA (paper) (webpage)
    Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
    ACM/IEEE 32nd International Conference on Software Engineering
    (ICSE 2010), to appear, Cape Town, South Africa, May 2010
  • Mutation Operators for Actor Systems (paper)
    Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, and Gul Agha
    5th International Workshop on Mutation Analysis (Mutation 2010),
    co-located with the 3rd International Conference on Software Testing, Verification and Validation
    (ICST 2010), to appear, Paris, France, April 2010
  • A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures
    Rohan Sharma, Milos Gligoric, Vilas Jagannath, and Darko Marinov
    2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA 2010),
    co-located with the 3rd International Conference on Software Testing, Verification and Validation
    (ICST 2010), to appear, Paris, France, April 2010
  • MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code (paper)
    Milos Gligoric, Vilas Jagannath, and Darko Marinov
    3rd International Conference on Software Testing, Verification and Validation
    (ICST 2010), to appear, Paris, France, April 2010
  • ReAssert: Suggesting Repairs for Broken Unit Tests (paper) (webpage)
    Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov
    24th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2009), to appear, Auckland, New Zealand, November 2009
  • Reducing the Costs of Bounded-Exhaustive Testing (paper) (presentation) (webpage)
    Vilas Jagannath, Yun Young Lee, Brett Daniel, and Darko Marinov
    12th International Conference on Fundamental Approaches to Software Engineering
    (FASE 2009), 171-185, York, United Kingdom, March 2009
Other Publications
  • On Test Generation through Programming in UDITA (report) (webpage)
    Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
    Ecole Polytechnique Fédérale de Lausanne Technical Report, September 2009
  • ReAssert: Suggesting Repairs for Broken Unit Tests (report) (webpage)
    Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov
    University of Illinois Technical Report, August 2009
Research Service Educational Service

University of Illinois: University of Auckland: