Publications

• VOLPIC: Verifying Lifted Pascal in Coq - PLDI SRC 2024 - Extended Abstract - Poster
• Prettybird: A DSL for Programmatic Font Compilation - PLDI SRC 2023 - Extended Abstract - Poster
• Self-Supervised Unseeon Object Instance Segmentation via Long-Term Robot Interaction - RSS 2023
• NFTree: Art Without Emissions - JIPP Vol. 2 Issue 4
• Connecting the Brains via Virtual Eyes : Eye-Gaze Directions and Inter-brain Synchrony in VR - CHI 2021