Michael Schröder


Hello 👋

I am a PhD student and university assistant at the faculty of informatics of TU Wien. I am part of the Interactive Programming & Analysis Lab and the Business Informatics Group. My PhD advisor is Jürgen Cito. My office is located in room HD0209.

If you want to hire me, you might be interested in my CV.
If not, you might be interested in my Twitter.

michael.schroeder@tuwien.ac.at


Research Interests

I am interested in programming languages, software engineering, human-computer interaction, and the intersection of these disciplines. My current research focuses on inferring formal grammars for ad hoc parsers:

Ad hoc parsers are everywhere: they appear any time a string is split, looped over, interpreted, transformed, or otherwise processed. Every ad hoc parser gives rise to a language: the possibly infinite set of input strings that the program accepts without going wrong. Any language can be described by a formal grammar: a finite set of rules that can generate all strings of that language. But programmers do not write grammars for ad hoc parsers—even though they would be eminently useful. Grammars can serve as documentation, aid program comprehension, generate test inputs, and allow reasoning about language-theoretic security. We propose an automatic grammar inference system for ad hoc parsers that would enable all of these use cases, in addition to opening up new possibilities in mining software repositories and bi-directional parser synthesis. Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers

If you want to collaborate on research, let me know!


News


Selected Publications

ESEC/FSE Industry
Discovering Feature Flag Interdependencies in Microsoft Office
Michael Schröder, Katja Kevic, Dan Gopstein, Brendan Murphy, Jenifer Beckmann
Paper / Video / Slides

ICSE NIER
Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers
Michael Schröder and Jürgen Cito
Paper / arXiv / Video / Slides

EMSE
An Empirical Investigation of Command-Line Customization
Michael Schröder and Jürgen Cito
Paper / arXiv / Springer / Dataset / Code

KPS
Transactional Tries
Michael Schröder
Paper / Slides / ttrie package

MSc Thesis
Durability and Contention in Software Transactional Memory
Michael Schröder
Advisors: Jens Knoop (TU Wien) and Gabrielle Keller (UNSW Sydney)
Thesis / Poster / Repo / GHC fork

BSc Thesis
Optimizing Lua using run-time type specialization
Michael Schröder
Advisor: Anton Ertl (TU Wien)
Thesis / Lua fork

You can find more of my publications on Google Scholar.


Teaching

If you are interested in a thesis or a project, here is an (incomplete) list of offered topics:

You can find more topics at the IPA Lab. If you have any other idea that you think would align with my areas of interest, feel free to contact me!

Previously:


Service

2023 ECOOP, Artifact Evaluation Committee
PLDI, Artifact Evaluation Committee
MSR, Junior Program Committee
2022 ISSTA, Artifact Evaluation Committee
The Programming Journal, Artifact Evaluation Committee (Volume 7)
ECOOP, Artifact Evaluation Committee and Extended Review Committee
2021 ICSE, Additional Reviewer (DEMO Track)
2020 CIKM, Program Committee (Resource Track)
2015 ZuriHac, Beginner's Mentor
2014 Vienna Summer of Logic, Student Volunteer
HiPEAC, Student Volunteer

Other Projects

I maintain the ctrie package, a non-blocking concurrent hashmap for Haskell, and the ttrie package, a contention-free STM hashmap.

Since 2014, I have collaborated with the Berlin-based artist collective and design studio Refrakt on a number of artistic, educational, and commercial mixed reality experiences.

I co-founded Auctionist, an online auction house for fine art and collectibles, and served as CTO from 2016–2017.

Queerbot was a cocktail robot that aimed to get people drunk and challenge popular misconceptions about genotype and phenotypic expression, especially as it relates to gender and sexuality. Collaboration with Miss Peggy and Zwax for Roboexotica 2015. (code)

I host the annual(ish) Landjäger Kürzestfilm Festspiele, the world's shortest film festival, where every film has to be exactly 12 seconds long.