Coordinator
- 01 Jan 2023 » Soft3202 Comp9202 Software Construction and Design 2
- 01 Jan 2023 » Info4999 Honours
Instructor
- 12 Apr 2021 » Selected Topics In Testing And Debugging Selected Topics in Automated Testing and Debugging
- 14 May 2020 » Advanced Fuzzing Techniques Advanced Fuzzing Techniques
- 15 Oct 2019 » Generatingtests W1920 Generating Software Tests
- 01 Apr 2019 » Comparing Fuzzing Techniques Comparing Fuzzing Techniques
- 16 Oct 2018 » Generatingtests W1819 Generating Software Tests
- 16 Oct 2017 » Securitytesting W1718 Security Testing
- 01 Jun 2011 » Cs381 Programming Language Fundamentals
Teaching Assistant
- 01 Jun 2016 » Cs290 Web Development
- 01 Oct 2012 » Cs325 Analysis of Algorithms
- 01 Apr 2012 » Cs517 Theory of Computation
- 01 Oct 2011 » Cs411 Operating Systems II
- 01 Apr 2011 » Cs381 Programming Language Fundamentals
- 01 Jan 2011 » Cs480 Translators
- 01 Oct 2010 » Cs311 Introduction to Operating Systems I
Graduated Students
- 30 Nov 2023 » Harshini Jayakumar
Thesis: Directed Fuzzing for Binary Formats - 06 Nov 2023 » Tanaka Chitete
Thesis: Lowering Barriers to Using Computational Notebooks - 05 Nov 2023 » Eve Fernando
Thesis: Example Free Learning of Regular Languages with Prefix Queries - 03 Nov 2023 » Tim Yarkov
Thesis: Increasing the Breadth and Accuracy of Build System Detection for Supply Chain Security Analysis - 07 Feb 2022 » Abhilash Gupta
Thesis: Grammar Fuzzing Command line utilities in Linux - 13 Oct 2021 » Vera Resch
Thesis: URL-Fuzzing - 06 Oct 2021 » Banji Olorundare
Thesis: Inferring Input Grammars from Binary Programs using String Inclusion - 20 Sep 2021 » Bachir Bendrissou
Thesis: Empirical Evaluation of GLADE - 14 Dec 2020 » Leon Bettscheider
Thesis: Concolic Grammar Refinement for Stateful Fuzzing - 09 Dec 2020 » Marius Smytzek
Thesis: Mutation-Based Impact Analysis or Where Do My Results Come From? - 26 Oct 2020 » Markus Demmel
Thesis: Differential Testing - 24 Sep 2020 » Florian Grun
Thesis: ARM Processor Fuzzing via QEMU - 23 Jul 2020 » Saikrishna Dhiddi
Thesis: An Empirical Investigation on the Application of Statistical Estimators in Mutation Testing - 23 Jun 2020 » Guillermo Aguilar
Thesis: Identifying Implied Assumptions in Test Suits - 01 May 2020 » Florian Schwander
Thesis: Higher Order Mutation Analysis Using Rejected Input Strings - 18 Feb 2018 » Kevin Denk
Thesis: Evaluating the Robustness of Ethereum Virtual Machines
Ph.D. Member of Examination Board
- 26 Nov 2020 » Nataniel Borges Jr
Thesis: Learning the Language of Apps - 08 Sep 2020 » Felix Klein
Thesis: Synthesizing Stream Control - 22 Oct 2018 » Konrad Jamrozik
Thesis: Mining Sandboxes