Peer-Reviewed Conference and Workshop Papers
- 2023
- Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
Authors: Jeffrey M. Young, Sylvain Henry, John Ericson
Conference: 1st ACM SIGPLAN International Workshop on Functional Software Architecture. (FUNARCH), 2023
- Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design
- 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
Talks
- 2025
- What is Functional Architecture
Conference: FUNARCH 2025
- Future of FUNARCH
Conference: FUNARCH 2025
- What is Functional Architecture
- 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
Service
- 2025
- Program Chair
Conference: 3rd ACM SIGPLAN International Workshop on Functional Software Architecture. (FUNARCH), 2025
- Haskell Core Library Committee Member
- Program Chair
- 2024
- Program Committee
Conference: 2nd ACM SIGPLAN International Workshop on Functional Software Architecture. (FUNARCH), 2024
- Program Committee