August Shi

Ph.D. Student
Office: 4219 Siebel Center
Email: awshi2@illinois.edu
Address: 201 N Goodwin Ave. Urbana, IL 61801


Short Bio

I am a Ph.D. student in the Department of Computer Science at the University of Illinois at Urbana-Champaign working with Professor Darko Marinov. My research interests are in software testing, and I am in particular interested in regression testing and how to make regression testing run faster without loss in quality of testing. I obtained a B.S. in both Computer Science and Electrical and Computer Engineering from the University of Texas at Austin in 2013.  You can download my CV from here.
Publications

  1. Mutation Testing Meets Approximate Computing
    Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
    International Conference on Software Engineering, New Ideas and Emerging Results
    (ICSE NIER 2017), pages 3-6, Buenos Aries, Argentina, May 2017
    slides

  2. Optimizing Test Placement for Module-Level Regression Testing
    August Shi, Suresh Thummalapenta, Shuvendu Lahiri, Nikolaj Bjorner, Jacek Czerwonka
    International Conference on Software Engineering
    (ICSE 2017), pages 689-699, Buenos Aries, Argentina, May 2017
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    slides

  3. NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications
    Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
    ACM SIGSOFT International Symposium on the Foundations of Software Engineering
    (FSE DEMO 2016), pages 993-997, Seattle, Washington, Nov. 2016

  4. An Extensive Study of Static Regression Test Selection in Modern Software Evolution
    Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov
    ACM SIGSOFT International Symposium on the Foundations of Software Engineering
    (FSE 2016), pages 583-594, Seattle, Washington, Nov. 2016

  5. Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level
    Farah Hariri, August Shi, Hayes Converse, Darko Marinov, Sarfraz Khurshid
    IEEE International Symposium on Software Reliability Engineering
    (ISSRE 2016), pages 105-115, Ottawa, Canada, Oct. 2016

  6. Evaluating Non-adequate Test-Case Reduction
    Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, Alex Groce
    IEEE/ACM Conference on Automated Software Engineering
    (ASE 2016), pages 16-26, Singapore, Singapore, Sept. 2016
    slides

  7. Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications
    August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
    IEEE International Conference on Software Testing, Verification and Validation
    (ICST 2016), pages 80-90, Chicago, Illinois, Apr. 2016
    slides

  8. Comparing and Combining Test-Suite Reduction and Regression Test Selection
    August Shi, Tifany Yung, Alex Gyori, Darko Marinov
    ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (FSE 2015), pages 237-247, Bergamo, Italy, Sept. 2015
    slides

  9. Reliable Testing: Detecting State-Polluting Tests to Prevent Test Dependency
    Alex Gyori, August Shi, Farah Hariri, Darko Marinov
    International Symposium on Software Testing and Analysis
    (ISSTA 2015), pages 223-233, Baltimore, Maryland, Jul. 2015

  10. Balancing Trade-Offs in Test-Suite Reduction
    August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
    ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (FSE 2014), pages 246-256, Hong Kong, Nov. 2014
    slides

  11. Evaluation of a Feature Tracking Vision Application on a Heterogeneous Chip
    Ruben Gran Tejero, August Shi, Ehsan Totoni, Maria J. Garzaran
    IEEE International Symposium on Computer Architecture and High Performance Computing
    (SBAC-PAD 2014), pages 246-253, Paris, France, Oct. 2014