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 Illinois Automated Software Engineering Group within the Programming Languages, Formal Methods, and Software Engineering (PL-FM-SE) area at Illinois CS. My adviser is professor Tao Xie.
My research interests encompass software engineering and software verification. Primarily, my research spans the area program analysis, test generation. My goal is to create software that push tedious software development tasks such as finding bugs onto computers. Ultimately, I wish to make industry impact by creating tools to help software developers create more reliable software.

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, Siwakorn Srisakaokul, Xusheng Xiao, and Tao Xie.
    Pexum: 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.

  2. 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]

  3. 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]