Jeffrey Bosboom

According to our database, Jeffrey Bosboom authored at least 19 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

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

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

Proceedings of the 10th International Conference on Fun with Algorithms, 2021

Tatamibari Is NP-Complete.

Aviv Adler, Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Quanquan C. Liu, Jayson Lynch

Proceedings of the 10th International Conference on Fun with Algorithms, 2021

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

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, Oliver Korten, Zhezheng Luo, Lillian Zhang

J. Inf. Process., 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

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, Lillian Zhang

Proceedings of the 31st International Symposium on Algorithms and Computation, 2020

2018

Losing at Checkers is Hard.

Jeffrey Bosboom, Spencer Congero, Erik D. Demaine, Martin L. Demaine, Jayson Lynch

CoRR, 2018

Computational Complexity of Generalized Push Fight.

Jeffrey Bosboom, Erik D. Demaine, Mikhail Rudoy

Proceedings of the 9th International Conference on Fun with Algorithms, 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

Proceedings of the 9th International Conference on Fun with Algorithms, 2018

Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs.

Sumanaruban Rajadurai, Jeffrey Bosboom, Weng-Fai Wong, Saman P. Amarasinghe

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Even 1 × <i>n</i> 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

Netrunner Mate-in-1 or -2 is Weakly NP-Hard.

Jeffrey Bosboom, Michael Hoffmann

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

CoRR, 2017

2015

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

Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman P. Amarasinghe

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Mario Kart Is Hard.

Jeffrey Bosboom, Erik D. Demaine, Adam Hesterberg, Jayson Lynch, Erik Waingarten

Proceedings of the Discrete and Computational Geometry and Graphs - 18th Japan Conference, 2015

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

Proceedings of the Discrete and Computational Geometry and Graphs - 18th Japan Conference, 2015

2014

StreamJIT: a commensal compiler for high-performance stream programming.

Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

OpenTuner: an extensible framework for program autotuning.

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

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014