Yannic Noller

Postdoctoral Researcher

Department of Computer Science
National University of Singapore

yannic.noller@acm.org


Find Out More

Yannic Noller is a Postdoctoral Research Fellow in the Programming Language and Software Engineering group at the National University of Singapore (NUS), working with Prof. Abhik Roychoudhury in program repair. His general research interests lie in automated software engineering, software testing/verification/repair to provide reliable, trustworthy, and secure software systems.

Before joining NUS in September 2020, he pursued his Ph.D. in the Software Engineering group (Prof. Lars Grunske) at the Humboldt-Universität zu Berlin, Germany. His Ph.D. work focused on differential software testing, in particular, by combining fuzzing and symbolic execution in the context of regression analysis, algorithmic complexity analysis, side-channel analysis, and robustness analysis of neural networks.

Latest News

Archive


July 2021

I have been invited to serve on the Program Committee for ISSTA 2022!

July 2021

I have been selected as Distinguished Artifact Reviewer for ISSTA 2021!

April 2021

Our work on Quantitative Fuzzing for Side Channels has been accepted for ISSTA 2021! Check our pre-print.

March 2021

Our work on Concolic Program Repair has been (conditionally) accepted for PLDI 2021! Check our pre-print.

Publications


Check also on Google Schoolar, Semantic Schoolar, DBLP, and ACM DL.

2021

How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools

Yannic Noller*, Ridwan Shariffdeen*, Xiang Gao, and Abhik Roychoudhury (*Joint first authors)
arXiv Pre-print
[bibtex]

QFuzz: Quantitative Fuzzing for Side Channels

Yannic Noller and Saeid Tizpaz-Niari
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2021. (51/233 = 21.9%)
[doi] [bibtex] [slides] [video] [artifact]

NNrepair: Constraint-based Repair of Neural Network Classifiers

Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, and Corina S. Pasareanu
(Invited Paper) 33rd International Conference on Computer Aided Verification (CAV) 2021.
[doi] [bibtex]

Concolic Program Repair

Ridwan Shariffdeen*, Yannic Noller*, Lars Grunske, and Abhik Roychoudhury (*Joint first authors)
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2021.
[doi] [bibtex] [slides] [video] [poster] [webpage] [artifact]

NeuroSPF: A tool for the Symbolic Analysis of Neural Networks

Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, and Divya Gopinath
Demonstrations Track at 43rd International Conference on Software Engineering (ICSE) 2021. (23/62 = 37.1%)
[doi] [bibtex] [video]

2020

Evolutionary Grammar-Based Fuzzing

Martin Eberlein, Yannic Noller, Thomas Vogel, and Lars Grunske
12th Symposium on Search-Based Software Engineering (SSBSE) 2020.
[doi] [bibtex]

HyDiff: Hybrid Differential Software Analysis

Yannic Noller, Corina Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, and Lars Grunske
42st International Conference on Software Engineering (ICSE) 2020. (129/617 = 20.9%)
[doi] [bibtex] [slides] [video] [artifact]

2019

Complete Shadow Symbolic Execution with Java PathFinder

Yannic Noller, Hoang Lam Nguyen, Minxing Tang, Timo Kehrer and Lars Grunske
SIGSOFT Software Engineering Notes 44, 4 (December 2019), 15-16.
Presented at Java Pathfinder Workshop 2019 at ASE 2019 in San Diego, California, USA (November 11-15, 2019).
[doi] [bibtex] [slides]

Symbolic Pathfinder for SV-COMP

Yannic Noller, Corina Pasareanu, Aymeric Fromherz, Xuan-Bach D. Le, and Willem Visser
Competition Contribution: SV-COMP 2019. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2019. Lecture Notes in Computer Science, vol 11429.
[doi] [bibtex]

DifFuzz: Differential Fuzzing for Side-Channel Analysis

Shirin Nilizadeh*, Yannic Noller*, and Corina Pasareanu (*Joint first authors)
In Proceedings of the 41st International Conference on Software Engineering (ICSE) 2019. IEEE Press, Piscataway, NJ, USA, 176-187. (109/529 = 20.6%)
A summary will be presented at SE 2020 and published in Lecture Notes in Informatics.
[doi] [bibtex] [slides] [SE 2020] [SE 2020 poster]

2018

Differential Program Analysis with Fuzzing and Symbolic Execution

Yannic Noller
As part of the Doctoral Symposium in the Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018). Pages 944-947.
[doi] [bibtex]

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

Yannic Noller, Rody Kersten, and Corina Pasareanu
In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2018. Pages 322-332. (31/132 = 23.5%)
A summary was presented at SE/SWM 2019 and published in Lecture Notes in Informatics.
[doi] [bibtex] [slides] [poster] [SE/SWM19]

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models

Sinem Getir, Lars Grunske, André van Hoorn, Timo Kehrer, Yannic Noller, and Matthias Tichy
Journal of Systems and Software, Volume 142, August 2018, Pages 115-135.
A summary was presented at SE/SWM 2019 and published in Lecture Notes in Informatics.
[doi] [bibtex] [SE/SWM19]

Semantic Program Repair Using a Reference Implementation

Sergey Mechtaev, Manh-Dung Nguyen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
In Proceedings of the 40th International Conference on Software Engineering (ICSE '18). Pages 129-139. (105/502 = 20.9%)
[doi] [bibtex]

2017

Shadow Symbolic Execution with Java PathFinder

Yannic Noller, Hoang Lam Nguyen, Minxing Tang, and Timo Kehrer
SIGSOFT Software Engineering Notes 42, 4 (January 2018).
Presented at Java Pathfinder Workshop 2017 (November 3, 2017, Urbana-Champaign, IL, USA)
[doi] [bibtex]


Note: Above are the author's versions of the works. They are posted here for your personal use. Not for redistribution. The definitive versions were published in the referenced conferences / journals.

Professional Activities


Awards

Future Activities

  • PC member for the International Symposium on Software Testing and Analysis (ISSTA) 2022
  • Poster Track committee member for ICSE 2022

Ongoing Activities

  • Reviewer for IEEE Transactions on Software Engineering (TSE) in 2021
  • Reviewer for Journal of Systems and Software (JSS) in 2021
  • Reviewer for ACM Transactions on Software Engineering and Methodology (TOSEM) in 2020 and 2021
  • Reviewer for IEEE Transactions on Dependable and Secure Computing (TDSC) in 2019 and 2021

Past Activities

Education


Dr. rer. nat. (Ph.D.), Computer Science

2016 - 2020
Humboldt-Universität zu Berlin, Germany
Topic: Hybrid Differential Software Testing
Advisor: Prof. Lars Grunske
[slides]

Master of Science (M.Sc.), Software Engineering

2013 - 2016
University of Stuttgart, Germany
Thesis Title: Model Counting of String Constraints for Probabilistic Symbolic Execution
Advisor: Dr. Antonio Filieri

Bachelor of Science (B.Sc.), Software Engineering

2010 - 2013
University of Stuttgart, Germany
Thesis Title: Graphical User Interface for the Analysis of Dependency Graphs
Advisor: Dr. Ivan Bogicevic

Resume


Please contact me for my full resume/CV.