StreamJIT: A Commensal Compiler for High-Performance Stream Programming

by Rajadurai, Sumanaruban, Wong, Weng-Fai, Bosboom, Jeffrey William, Amarasinghe, Saman P.
Published 2015

Mario Kart Is Hard

by Waingarten, Erik, Bosboom, Jeffrey William, Demaine, Erik D, Hesterberg, Adam Classen, Lynch, Jayson R.
Published 2017

Walking through doors is hard, even without staircases: Proving PSPACE-hardness via planar assemblies of door gadgets

by Ani, Joshua, Bosboom, Jeffrey William, Demaine, Erik D, Diomidov, Y, Hendrickson, Dylan H., Lynch, Jayson
Published 2020

Even 1 × n Edge-Matching and Jigsaw Puzzles are Really Hard

by Bosboom, Jeffrey William, Demaine, Erik D, Demaine, Martin L, Hesterberg, Adam Classen, Manurangsi, Pasin, Yodpinyanee, Anak
Published 2019

OpenTuner: an extensible framework for program autotuning

by Ansel, Jason, Kamil, Shoaib, Veeramachaneni, Kalyan, Ragan-Kelley, Jonathan, Bosboom, Jeffrey, O'Reilly, Una-May, Amarasinghe, Saman
Published 2021

Tatamibari is NP-complete

by Adler, Aviv, Bosboom, Jeffrey William, Demaine, Erik D, Demaine, Martin L, Liu, Quanquan C., Lynch, Jayson R.
Published 2021

Dissection with the Fewest Pieces is Hard, Even to Approximate

by Manurangsi, Pasin, Bosboom, Jeffrey William, Demaine, Erik D, Demaine, Martin L, Lynch, Jayson R., Rudoy, Mikhail, Yodpinyanee, Anak
Published 2018

Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code

by Wu, Kevin, Kamil, Shoaib, Ragan-Kelley, Jonathan, Paris, Sylvain, Zhao, Qin, Mendis, Thirimadura C. Yasend, Bosboom, Jeffrey William, Amarasinghe, Saman P.
Published 2015

Who witnesses the witness? Finding witnesses in the witness is hard and sometimes impossible

by Abel, Zachary R, Bosboom, Jeffrey William, Demaine, Erik D, Hamilton, Linus Ulysses, Hesterberg, Adam Classen, Kopinsky, Justin, Lynch, Jayson R., Rudoy, Mikhail
Published 2020

Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible

by Abel, Zachary R, Bosboom, Jeffrey William, Coulombe, Michael Joseph, Demaine, Erik D., Hamilton, Linus, Hesterberg, Adam, Kopinsky, Justin, Lynch, Jayson R., Rudoy, Mikhail, Thielen, Clemens
Published 2020

Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players

by Bosboom, Jeffrey, Chen, Charlotte, Chung, Lily, Compton, Spencer, Coulombe, Michael, Demaine, Erik D, Demaine, Martin L, Filho, Ivan Tadeu Ferreira Antunes, Hendrickson, Dylan, Hesterberg, Adam, Hsu, Calvin, Hu, William, Korten, Oliver, Luo, Zhezheng, Zhang, Lillian
Published 2022