Jeffrey Bosboom
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2014–2021
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FUN | Tatamibari Is NP-Complete. | Aviv Adler, Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Quanquan C. Liu, Jayson Lynch |
| 2021 | FUN | Walking Through Doors Is Hard, Even Without Staircases: Proving PSPACE-Hardness via Planar Assemblies of Door Gadgets. | Joshua Ani, Jeffrey Bosboom, Erik D. Demaine, Jenny Diomidova, Dylan H. Hendrickson, Jayson Lynch |
| 2020 | ISAAC | 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 |
| 2018 | ASPLOS | Gloss: Seamless Live Reconfiguration and Reoptimization of Stream Programs. | Sumanaruban Rajadurai, Jeffrey Bosboom, Weng-Fai Wong, Saman P. Amarasinghe |
| 2018 | FUN | 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 |
| 2018 | FUN | Computational Complexity of Generalized Push Fight. | Jeffrey Bosboom, Erik D. Demaine, Mikhail Rudoy |
| 2015 | PLDI | 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 |
| 2014 | OOPSLA | StreamJIT: a commensal compiler for high-performance stream programming. | Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe |