‎

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

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

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

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