Conference Papers
-
Swizzle Inventor: Data Movement Synthesis for GPU Kernels.
Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Rastislav Bodik, and Vinod Grover.
Architectural Support for Programming Language and Operating Systems (ASPLOS), 2019.
(TO APPEAR) -
Floem: A Programming System for NIC-Accelerated Network Applications.
Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodik, and Thomas Anderson.
USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2018. (PDF, slides) -
Data-Driven Synthesis of Full Probabilistic Programs.
Sarah Chasins and Phitchaya Mangpo Phothilimthana.
Conference on Computer-Aided Verification (CAV), 2017. (PDF) -
High-Coverage Hint Generation for Massive Courses: Do Automated Hints Help CS1 Students?
Phitchaya Mangpo Phothilimthana and Sumukh Sridhara.
Conference on Innovation and Technology in Computer Science Education (ITiCSE), 2017. (PDF) -
Domain-Specific Symbolic Compilation
Rastislav Bodik, Kartik Chandra, Phitchaya Phothilimthana, and Nathaniel Yazdani.
Summit oN Advances in Programming Languages (SNAPL), 2017. (PDF) -
Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture.
Phitchaya Mangpo Phothilimthana, Michael Schuldt, and Rastislav Bodik.
Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 2016. (PDF, slides) -
Scaling up Superoptimization.
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati Architectural Support for Programming Language and Operating Systems (ASPLOS), 2016. (PDF, slides) -
GreenThumb: Superoptimizer Construction Framework.
Tool Demonstration Paper.
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati.
Conference on Compiler Construction (CC), 2016. (PDF, demo) -
Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures.
Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins, and Rastislav Bodik.
Programming Languages Design and Implementation (PLDI), 2014. (PDF, slides) -
Communication-Minimizing 2D Convolution in GPU Registers.
Forrest Iandola, David Sheffield, Michael Anderson, Phitchaya Mangpo Phothilimthana, and Kurt Keutzer.
International Conference on Image Processing (ICIP), 2013. (PDF) -
Portable Performance on Heterogeneous Architectures.
Phitchaya Mangpo Phothilimthana, Jason Ansel, Jonathan Ragan-Kelley, and Saman Amarasinghe.
Architectural Support for Programming Language and Operating Systems (ASPLOS), 2013. (PDF, slides) -
Short and Simple Cycle Separators in Planar Graphs.
Eli Fox-Epstein, Shay Mozes, Phitchaya Mangpo Phothilimthana, and Christian Sommer.
Algorithm Engineering and Experiments (ALENEX), 2013. (PDF)
Journal & Workshop Papers
-
Short and Simple Cycle Separators in Planar Graphs.
Eli Fox-Epstein, Shay Mozes, Phitchaya Mangpo Phothilimthana, and Christian Sommer.
Journal of Experimental Algorithmics (JEA), 2016. (PDF) -
Dicer: A Framework for Controlled, Large-Scale Web Experiments.
Sarah Chasins and Phitchaya Mangpo Phothilimthana Temporal Web Analytics Workshop (TempWeb), 2015. (PDF) -
A Comparison of Error Metrics for Learning Model Parameters in Bayesian Knowledge Tracing.
Phitchaya Mangpo Phothilimthana, Asif Dhanani, Seung Yeon Lee, and Zachary Pardos.
Bayesian Knowledge Tracing 20 Years Workshop (BKT20y), 2014. (PDF, poster) -
MRSI module and SIVIC interface.
Bjoern Menze, Mangpo Phothilimthana, Olson Beck, Jason Crane, and Polina Golland.
National Alliance for Medical Image s Summer Project week (NAMIC), 2010. (URL)
Technical Reports
- Dueling Metrics: Choosing the Appropriate Error Metric for Models of Cognition in the Learning Analytics Field.
Phitchaya Phothilimthana, Seung Yeon Lee, and Zachary Pardos.
University of California, Berkeley, 2018. (PDF)
Invited Talks
- High-Coverage Hint Generation for Racket Programming Assignments.
RacketCon, 2017. (slides)