Jeffrey Bosboom

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