Angello Astorga Angello Astorga

PhD Student
Department of Computer Science
University of Illinois at Urbana-Champaign
Email: aastorg2 AT illinois DOT edu

I am a PhD student in the department of computer science at the University of Illinois at Urbana-Champaign within the Programming Languages, Formal Methods, and Software Engineering (PL-FM-SE) area. I am co-advised by professor Tao Xie and professor Madhusudan Parthasarathy. My research interests are in software testing, program synthesis and machine learning. My current research focuses on building robust testing-based learning frameworks for synthesizing specifications.     

I obtained a Bachelor of Science (B.S.) in Computer Science and Engineering with Magna Cum Laude Honors from The Ohio State University. During my time as an undergraduate, I participated in the Summer Research Opportunities Program (SROP) where I engaged in rigourous research experiences. This includes a stint at Purdue University with Professor Xiangyu Zhang and at the University of Iowa with Professor Aaron Stump.


  1. Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, and Tao Xie.
    Synthesizing Contracts Correct Modulo a Test Generator.
    In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2021), Chicago, Illinois, Article 104, October 2021.
    Download: [PDF]
  2. Yingjie Fu, Jonathan Osei-Owusu, Angello Astorga, Zirui Neil Zhao, Wei Zhang, and Tao Xie.
    PaCon: A Symbolic Analysis Approach for Tactic-oriented Clustering of Programming Submissions.
    In Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E
    (SPLASH-E 2021)
    , pages 32–42, Chicago, Illinois, October 2021.
    Download: [PDF]
  3. Wing Lam, Stefan Winter, Angello Astorga, Victoria Stodden, and Darko Marinov
    Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects
    31st IEEE International Symposium on Software Reliability Engineering
    (ISSRE 2020), pages 403-413, Virtual Conference, Oct. 2020
    Download: [PDF]

  4. Yi Qin, Tao Xie, Chang Xu, Angello Astorga, and Jian Lu.
    CoMID: Context-based Multi-invariant Detection for Monitoring Cyber-Physical Software.
    IEEE Transactions on Reliability (TR), 69(1), pages 106-123, 2020.
    Download: [PDF]
  5. Angello Astorga, Madhusudan Parthasarathy, Shambwaditya Saha, and Tao Xie.
    Learning Stateful Preconditions Modulo a Test Generator.
    In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation
    (PLDI 2019), Phoenix, Arizona, June 2019.
    Download: [PDF]
  6. Jonathan Osei-Owusu, Angello Astorga, Liia Butler, Tao Xie, and Geoffrey Challen
    Grading-Based Test Suite Augmentation.
    In Proceedings of 34th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2019), Short Paper, San Diego, California, USA, November 2019.
    Download: [PDF]
  7. Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, and Tao Xie.
    Preinfer: Automatic Inference of Preconditions via Symbolic Analysis.
    In Proceedings of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks
    (DSN 2018), Luxemborg, June 2018.
    Download: [PDF]

  8. Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga, Oreoluwa Alebiosu, and Tao Xie.
    Multiple-Implementation Testing of Supervised Learning Software.
    In Proceedings of the AAAI-18 Workshop on Engineering Dependable and Secure Machine Learning Systems
    (EDSMLS 2018) , co-located with AAAI 2018, co-located with , New Orleans, LA, Feburary 2018.
    Download: [PDF]

  9. Adrian Clark, Jonathan Wells, Angello Astorga, Andrew Xie, Jalen Coleman-Lands, and Tao Xie.
    Preliminary Analysis of Contestant Performance for a Code Hunt Contest.
    In Proceedings of the 8th Workshop on Evaluation and Usability of Programming Languages and Tools
    (PLATEAU 2017), Vancouver, Canada, October 2017.
    Download: [PDF] [Slides]