OpenTuner: an extensible framework for program autotuning. - Jason Ansel; Shoaib Kamil 001; Kalyan Veeramachaneni; Jonathan Ragan-Kelley; Jeffrey Bosboom; Una-May O'Reilly; Saman P. Amarasinghe (PACT, 2014)

StreamJIT: a commensal compiler for high-performance stream programming. - Jeffrey Bosboom; Sumanaruban Rajadurai; Weng-Fai Wong; Saman P. Amarasinghe (OOPSLA, 2014)

Dissection with the Fewest Pieces is Hard, Even to Approximate. - Jeffrey Bosboom; Erik D. Demaine; Martin L. Demaine; Jayson Lynch; Pasin Manurangsi; Mikhail Rudoy; Anak Yodpinyanee (JCDCGG, 2015)

Mario Kart Is Hard. - Jeffrey Bosboom; Erik D. Demaine; Adam Hesterberg; Jayson Lynch; Erik Waingarten (JCDCGG, 2015)

Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. - Charith Mendis; Jeffrey Bosboom; Kevin Wu; Shoaib Kamil 001; Jonathan Ragan-Kelley; Sylvain Paris; Qin Zhao; Saman P. Amarasinghe (PLDI, 2015)

Even 1×n Edge-Matching and Jigsaw Puzzles are Really Hard. - Jeffrey Bosboom; Erik D. Demaine; Martin L. Demaine; Adam Hesterberg; Pasin Manurangsi; Anak Yodpinyanee (CoRR, 2017)

Netrunner Mate-in-1 or -2 is Weakly NP-Hard. - Jeffrey Bosboom; Michael Hoffmann 001 (CoRR, 2017)

Even 1 × n Edge-Matching and Jigsaw Puzzles are Really Hard. - Jeffrey Bosboom; Erik D. Demaine; Martin L. Demaine; Adam Hesterberg; Pasin Manurangsi; Anak Yodpinyanee (J. Inf. Process., 2017)

Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs. - Sumanaruban Rajadurai; Jeffrey Bosboom; Weng-Fai Wong; Saman P. Amarasinghe (ASPLOS, 2018)

Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. - Zachary Abel; Jeffrey Bosboom; Erik D. Demaine; Linus Hamilton; Adam Hesterberg; Justin Kopinsky; Jayson Lynch; Mikhail Rudoy (FUN, 2018)

Computational Complexity of Generalized Push Fight. - Jeffrey Bosboom; Erik D. Demaine; Mikhail Rudoy (FUN, 2018)

Losing at Checkers is Hard. - Jeffrey Bosboom; Spencer Congero; Erik D. Demaine; Martin L. Demaine; Jayson Lynch (CoRR, 2018)

Arithmetic Expression Construction. - Leo Alcock; Sualeh Asif; Jeffrey Bosboom; Josh Brunner; Charlotte Chen; Erik D. Demaine; Rogers Epstein; Adam Hesterberg; Lior Hirschfeld; William Hu; Jayson Lynch; Sarah Scheffler; et al. (ISAAC, 2020)

Path Puzzles: Discrete Tomography with a Path Constraint is Hard. - Jeffrey Bosboom; Erik D. Demaine; Martin L. Demaine; Adam Hesterberg; Roderick Kimball; Justin Kopinsky (Graphs Comb., 2020)

Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players. - Jeffrey Bosboom; Charlotte Chen; Lily Chung; Spencer Compton; Michael J. Coulombe; Erik D. Demaine; Martin L. Demaine; Ivan Tadeu Ferreira Antunes Filho; Dylan H. Hendrickson; Adam Hesterberg; Calvin Hsu; William Hu; et al. (J. Inf. Process., 2020)

Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. - Zachary Abel; Jeffrey Bosboom; Michael J. Coulombe; Erik D. Demaine; Linus Hamilton; Adam Hesterberg; Justin Kopinsky; Jayson Lynch; Mikhail Rudoy; Clemens Thielen (Theor. Comput. Sci., 2020)

Tatamibari Is NP-Complete. - Aviv Adler; Jeffrey Bosboom; Erik D. Demaine; Martin L. Demaine; Quanquan C. Liu; Jayson Lynch (FUN, 2021)

Walking Through Doors Is Hard, Even Without Staircases: Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets. - Joshua Ani; Jeffrey Bosboom; Erik D. Demaine; Yevhenii Diomidov; Dylan H. Hendrickson; Jayson Lynch (FUN, 2021)

The Legend of Zelda: The Complexity of Mechanics. - Jeffrey Bosboom; Josh Brunner; Michael J. Coulombe; Erik D. Demaine; Dylan H. Hendrickson; Jayson Lynch; Elle Najt (CoRR, 2022)