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

2022

4.
Bittner, Paul Maximilian; Schultheiß, Alexander; Thüm, Thomas; Kehrer, Timo; Young, Jeffrey M.; Linsbauer, Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft für Informatik, Bonn, Germany
Februar 2022
DOI:10.18420/se2022-ws-002
Datei:https://doi.org/10.18420/se2022-ws-002

2021

3.
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:https://doi.org/10.1145/3468264.3468531
2.
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

1.
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
Oktober 2020
DOI:10.1145/3382025.3414965
ISBN:9781450375696
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-SPLC-Young.pdf