Dr. Jeffrey M. Young

My main research interest lies in the intersection of an emerging programming
paradigm called variational programming and satisfiability solvers. The central
thrust of my research is in the creation, design and exploration of variational
satisfiability solvers and their possible applications in areas as diverse as
software product lines and type theory. The goal of my current work is to gain a
deeper understanding of variation as a computational phenomena that is induced
into software systems by external factors such as a host system, time, or
end-user requirements; with satisfiability solvers being one such example.

Besides my work on variational satisfiability solvers I am an expert in
functional programming, programming languages and type theory and have am
interested in dependent types, extremely extensible homoiconic languages, and
relational or constraint based programming. In addition to research I enjoy
community building and contributing to the open source community (mostly in the
Haskell community). I founded the Oregon State University functional programming
club two years ago and am quite proud that it is still alive and meets weekly.

Teaching

Summer Term 2020

Seminar - Features of Programming Languages: Main Contact

Publications

2021

4.
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
DOI:10.1145/3468264.3468531
ISBN:9781450385626
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-ESECFSE-Bittner.pdf
3.
Young, Jeffrey M.
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
Juni 2021
Datei:https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/dv140182g?locale=en

2020

2.
Young, Jeffrey M.; Walkingshaw, Eric; Thüm, Thomas
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Juni 2020
DOI:10.1145/3382025.3414965
ISBN:9781450375696
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-SPLC-Young.pdf

2018

1.
Young, Jeffrey; Walkingshaw, Eric
A Domain Analysis of Data Structure and Algorithm Explanations in the Wild
Proceedings of the 49th ACM Technical Symposium on Computer Science Education
Herausgeber: Association for Computing Machinery, New York, NY, USA
2018
DOI:10.1145/3159450.3159477
ISBN:9781450351034

Dr. Jeffrey M. Young

Jeffrey M. Young
Dr. Jeffrey M. Young
Research Assistant
Institute of Software Engineering and Programming Languages Ulm University
89081 Ulm
Germany
Raum: O27 413