Yannic Noller

Postdoctoral Researcher

Department of Computer Science
National University of Singapore

yannic.noller@acm.org


Find Out More

I am a postdoctoral researcher in the group of Abhik Roychoudhury at the National University of Singapore. Previously, I have been a PhD student at the Humboldt-Universität zu Berlin, advised by Lars Grunske. My research interests address the need for efficient and scalable techniques in verification of real-world software systems. Such techniques are crucial to help software engineers to develop and maintain modern software systems, whose activities are driven by properties like correctness and reliability. I am particular interested in developing such techniques for automated software engineering such as testing, program repair, and probabilistic software analysis.

My PhD work focused on the differential program analysis, i.e., the identification of behavioral divergences: (1) between two program versions for the same input (aka regression analysis), and (2) for the same program with two different inputs, e.g. algorithmic complexity analysis and side-channel analysis. I applied combinations like fuzzing and symbolic execution to several application domains in order to provide efficient and scalable techniques.

Latest News

Archive


October 2020

I am a co-chair of the NIER track at SCAM'2021. Stay tuned for the CfP and consider submitting your awesome ideas!

September 2020

It's official, I'm a postdoctoral fellow at the Department of Computer Science at the National University of Singapore.

September 2020

Proud to announce that I just passed my PhD defense with distinction! :) You can check my slides.

July 2020

Our paper Evolutionary Grammar-Based Fuzzing got accepted at 12th Symposium on Search-Based Software Engineering (SSBSE 2020).

Publications


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

2020

Evolutionary Grammar-Based Fuzzing

Martin Eberlein, Yannic Noller, Thomas Vogel and Lars Grunske
Accepted for the 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
Accepted for the 42st International Conference on Software Engineering (ICSE 2020). (129/617 = 20.9%)
[doi] [bibtex] [slides]

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 '19). 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, 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


Ongoing Activities

  • NIER Track co-chair for SCAM 2021
  • Online Tutorials Session Chair for A-TEST 2020
  • Reviewer for ACM Transactions on Software Engineering and Methodology (TOSEM) in 2020
  • Subreviewer for ESOP 2021

Past Activities

Education


Dr. rer. nat. (PhD), 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.