Home

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
    ACM SIGSOFT Distinguished Paper Award
  • Mutation Operators for Actor Systems (paper) (presentation)
    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 (paper)
    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) (presentation)
    Milos Gligoric, Vilas Jagannath, and Darko Marinov
    3rd International Conference on Software Testing, Verification and Validation
    (ICST 2010), 55-64, 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), 433-444, 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