Jeffrey M. Young

According to our database, Jeffrey M. Young authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces.

Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer

Empir. Softw. Eng., March, 2023

Variational satisfiability solving: efficiently solving lots of related SAT problems.

Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm

Empir. Softw. Eng., 2023

Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary.

Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm

Proceedings of the Software Engineering 2023, 2023

Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design.

Jeffrey M. Young, Sylvain Henry, John Ericson

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2022

Feature Trace Recording - Summary.

Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer

Proceedings of the Software Engineering 2022, 2022

2021

Feature trace recording.

Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Variational satisfiability solving.

Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2018

A Domain Analysis of Data Structure and Algorithm Explanations in the Wild.

Jeffrey M. Young, Eric Walkingshaw

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018