Kwanghoon Choi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2001–2024
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICCD | Interference-Aware DNN Serving on Heterogeneous Processors in Edge Systems. | Yeonjae Kim, Igjae Kim, Kwanghoon Choi, Jeongseob Ahn, Jongse Park, Jaehyuk Huh |
| 2024 | SAC | Ranked Syntax Completion With LR Parsing. | Kwanghoon Choi, Sooyeon Hwang, Hyeon-Ah Moon, Isao Sasano |
| 2021 | PEPM | A text-based syntax completion method using LR parsing. | Isao Sasano, Kwanghoon Choi |
| 2021 | PPDP | A Typed Slicing Compilation of the Polymorphic RPC calculus. | Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders |
| 2018 | COMPSAC | Smart Block: A Visual Programming Environment for SmartThings. | Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi |
| 2004 | APLAS | A Type Theory for Krivine-Style Evaluation and Compilation. | Kwanghoon Choi, Atsushi Ohori |
| 2001 | APLAS | A Type System for the Push-Enter Model. | Kwanghoon Choi, Taisook Han |
| 2001 | FLOPS | Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. | Kwanghoon Choi, Hyun-il Lim, Taisook Han |