Peer-Reviewed Conference and Workshop Papers
- 2020
- Variational Satisfiability Solving
Authors: Jeffrey M. Young, Eric Walkingshaw, Thomas Thüm
Conference: ACM Int. Systems and Software Product Line Conf. (SPLC), 2020
Data: on github
- Variational Satisfiability Solving
- 2018
- A Domain Analysis of Data Structure and Algorithm Explanations in the Wild
Authors: Jeffrey M. Young and Eric Walkingshaw
Conference: ACM SIGCSE Technical Symp. on Computer Science Education (SIGCSE), 2018, 870–875
Data: on github
- A Domain Analysis of Data Structure and Algorithm Explanations in the Wild
Journal Articles
- 2022
- Variational Satisfiability Solving: Solving Lots of Related SAT Problems
Authors: Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw,
Thomas Thüm
Journal: Empirical Software Engineering (EMSE)
Publisher: Springer
- Variational Satisfiability Solving: Solving Lots of Related SAT Problems
Theses and Other Papers
- 2022
- White Paper: Modularizing GHC
Authors: Sylvain Henry, John Ericson, Jeffery M. Young
- White Paper: Modularizing GHC
- 2021
- PhD Thesis: Variational Satisfiability Solving
Authors: Jeffrey M. Young
- PhD Thesis: Variational Satisfiability Solving
Books
- 2022
- Haskell Optimization Handbook
Still in progress, will be hosted on the Haskell Foundation website
eventually.
- Haskell Optimization Handbook
Talks
- 2022
- The Haskell Optimization Handbook
Conference: Haskell Implementors Workshop, (HiW), 2022
- The Haskell Optimization Handbook
- 2021
- Adventures in GHC Compile Times
Conference: Haskell Implementors Workshop, (HiW), 2021
- Adventures in GHC Compile Times