Jeffrey M. Young

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

Boolean Satisfiability

Stochastic Local Search

Top Venues

Software Engineering

Empir. Softw. Eng.

ESEC/SIGSOFT FSE

Publications

Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces. Software Engineering (2024)
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary. Software Engineering (2023)
Jeffrey M. Young, Sylvain Henry, John Ericson
Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design. FUNARCH (2023)
Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. 28 (2) (2023)
Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm
Variational satisfiability solving: efficiently solving lots of related SAT problems. Empir. Softw. Eng. 28 (1) (2023)
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
Feature Trace Recording - Summary. Software Engineering (2022)
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer
Feature trace recording. ESEC/SIGSOFT FSE (2021)
Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm
Variational satisfiability solving. SPLC (A) (2020)
Jeffrey M. Young, Eric Walkingshaw
A Domain Analysis of Data Structure and Algorithm Explanations in the Wild. SIGCSE (2018)