Jeffrey Bosboom

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 21

Top Topics

Chamfer Matching

Free Form Objects

Top Venues

J. Inf. Process.

Publications

Jeffrey Bosboom, Josh Brunner, Michael J. Coulombe, Erik D. Demaine, Dylan H. Hendrickson, Jayson Lynch, Elle Najt
The Legend of Zelda: The Complexity of Mechanics. CoRR (2022)
Joshua Ani, Jeffrey Bosboom, Erik D. Demaine, Yevhenii Diomidov, Dylan H. Hendrickson, Jayson Lynch
Walking Through Doors Is Hard, Even Without Staircases: Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets. FUN (2021)
Aviv Adler, Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Quanquan C. Liu, Jayson Lynch
Tatamibari Is NP-Complete. FUN (2021)
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
Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players. J. Inf. Process. 28 (2020)
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
Arithmetic Expression Construction. CoRR (2020)
Joshua Ani, Jeffrey Bosboom, Erik D. Demaine, Yevhenii Diomidov, Dylan H. Hendrickson, Jayson Lynch
Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets. CoRR (2020)
Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Roderick Kimball, Justin Kopinsky
Path Puzzles: Discrete Tomography with a Path Constraint is Hard. Graphs Comb. 36 (2) (2020)
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
Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players. CoRR (2020)
Aviv Adler, Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Quanquan C. Liu, Jayson Lynch
Tatamibari is NP-complete. CoRR (2020)
Zachary Abel, Jeffrey Bosboom, Michael J. Coulombe, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy, Clemens Thielen
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. Theor. Comput. Sci. 839 (2020)
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
Arithmetic Expression Construction. ISAAC (2020)
Sumanaruban Rajadurai, Jeffrey Bosboom, Weng-Fai Wong, Saman P. Amarasinghe
Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs. ASPLOS (2018)
Zachary Abel, Jeffrey Bosboom, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. CoRR (2018)
Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Roderick Kimball, Justin Kopinsky
Path Puzzles: Discrete Tomography with a Path Constraint is Hard. CoRR (2018)
Jeffrey Bosboom, Erik D. Demaine, Mikhail Rudoy
Computational Complexity of Generalized Push Fight. CoRR (2018)
Jeffrey Bosboom, Erik D. Demaine, Mikhail Rudoy
Computational Complexity of Generalized Push Fight. FUN (2018)
Jeffrey Bosboom, Spencer Congero, Erik D. Demaine, Martin L. Demaine, Jayson Lynch
Losing at Checkers is Hard. CoRR (2018)
Zachary Abel, Jeffrey Bosboom, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. FUN (2018)
Jeffrey Bosboom, Michael Hoffmann
Netrunner Mate-in-1 or -2 is Weakly NP-Hard. CoRR (2017)
Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Pasin Manurangsi, Anak Yodpinyanee
Even 1×n Edge-Matching and Jigsaw Puzzles are Really Hard. CoRR (2017)
Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Pasin Manurangsi, Anak Yodpinyanee
Edge-Matching and Jigsaw Puzzles are Really Hard. J. Inf. Process. 25 (2017)
Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman P. Amarasinghe
Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. PLDI (2015)
Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Jayson Lynch, Pasin Manurangsi, Mikhail Rudoy, Anak Yodpinyanee
Dissection with the Fewest Pieces is Hard, Even to Approximate. CoRR (2015)
Jeffrey Bosboom, Erik D. Demaine, Adam Hesterberg, Jayson Lynch, Erik Waingarten
Mario Kart Is Hard. JCDCGG (2015)
Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Jayson Lynch, Pasin Manurangsi, Mikhail Rudoy, Anak Yodpinyanee
Dissection with the Fewest Pieces is Hard, Even to Approximate. JCDCGG (2015)
Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe
StreamJIT: a commensal compiler for high-performance stream programming. OOPSLA (2014)
Jason Ansel, Shoaib Kamil, Kalyan Veeramachaneni, Jonathan Ragan-Kelley, Jeffrey Bosboom, Una-May O'Reilly, Saman P. Amarasinghe
OpenTuner: an extensible framework for program autotuning. PACT (2014)