Welcome! I'm a PhD candidate in Computer Science at the University of Pennsylvania, advised by Prof. Mayur Naik. My primary area of research is programming languages. My research also spans the fields of machine learning and security.
My dissertation research is focused on neurosymbolic programming, an emerging paradigm that bridges the gap between deep learning and logical reasoning. To this end, I have developed Scallop, a general-purpose neurosymbolic programming language and compiler toolchain. Scallop has been used to develop diverse applications in the domains of natural language processing (NLP), computer vision (CV), cybersecurity, clinical-decision making, and bioinformatics. I was awarded the AWS Fellowship in 2023 for my research on trustworthy AI.
Before my PhD, I obtained a dual B.S. degree in Computer Science and Mathematics from the UCSD, where I conducted research in computer graphics with Prof. Ravi Ramamoorthi. I also spent a year working in the UCSD Design Lab on HCI with Prof. Scott Klemmer. In my spare time, I am a Piano enthusiast and the keyboardist of the band, The Protagonists, where I play Jazz, Fusion, and Pop music. My favorite programming language is Rust!
Recent News
- I am on the academic job market for the 2024-25 cycle! Here is my CV, Teaching Statement, and Research Statement.
- Jan 22, 2025 - Two of our papers got accepted to ICLR 2025!
- Dec 20, 2024 - I will be co-organizing the 3rd TACPS Workshop which will happen with CAV 2025!
- Nov 18, 2024 - I defended my dissertation proposal on Neurosymbolic Programming in Scallop: Design, Implementation, and Applications!
Publications
Core Scallop Language and its Applications:
-
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming Preprint 2025
-
LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision ICLR 2025
-
Neurosymbolic Programming with Scallop: Principles and Practice Foundations and Trends in Programming Languages, 2024
-
Data-Efficient Learning with Neural Programs NeurIPS 2024
-
Relational Programming with Foundation Models AAAI 2024
-
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming ACL Findings 2023
-
Scallop, A Language for Neurosymbolic Programming PLDI 2023
-
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning NeurIPS 2021
Security and Program Analysis:
-
Challenges and Paths Towards AI for Software Engineering Preprint
-
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities ICLR 2025
-
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities ICST 2025
-
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks USENIX Security 2024
-
Arbitrar: User Guided API Misuse Detection IEEE S&P 2021
-
Hoppity: Learning Graph Transformation to Detect and Fix Bugs in Programs ICLR 2020
Health and Bioinformatics:
-
Advances in RNA secondary structure prediction and RNA modifications: Methods, data, and applications Preprint 2025
-
Crowd-sourced machine learning prediction of Long COVID using data from the National COVID Cohort Collaborative eBioMedicine 2024🏆 NIH L3C Honorable Mention Award Paper
-
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation ICML 2024🏆 Spotlight ArXiv
Others:
-
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS FSE 2025 IVR Track
-
Towards Faithful and High-Fiedlity Synthesis of Driving Scene Videos Preprint 2024
-
Numerical Reasoning over Legal Contracts via Relational Database NeurIPS 2021 Workshop on Databases and AI
Talks and Tutorials
- Dec 19, 2024 Invited talk on Scallop and Neurosymbolic Programming @ HKUST SEPL Seminar
- Oct 11, 2024 Invited talk on Scallop and Neurosymbolic Programming @ Columbia University
- Oct 4, 2024 Invited talk on Scallop and Neurosymbolic Programming @ TACPS workshop, ESWEEK'24
- Sep 26, 2024 Invited talk on Scallop and Neurosymbolic Programming @ UT Austin
- Jun 10-11, 2024 Scallop tutorial @ Summer School of Neurosymbolic Programming (SSNP'24) Tutorial
- Apr 17, 2024 Guest lecture on Neurosymbolic Programming in CIS 7000, Spring 2024
- Dec 10, 2023 Invited talk on Scallop and Neurosymbolic Programming @ Peking University PL Seminar
- Nov 9, 2023 Invited talk on Scallop and Neurosymbolic Programming @ Purdue University
- Aug 7, 2023 Invited talk on Scallop @ KDD'23
- Jun 17-19, 2023 Tutorial and Talk on Scallop and Neurosymbolic Programming @ PLDI'23 Tutorial Slides
- Apr 10, 2023 Invited talk on Scallop and Neurosymbolic Programming @ MIT Neurosymbolic Reading Group
- Jun 1-2, 2022 Tutorial on Scallop @ Summer School of Formal Techniques (SSFT'22) Tutorial Slides
Awards and Fellowships
- AWS Fellows - 05/2023
- KPCB Fellows, Engineering - 06/2018 - 09/2018
Teaching, Services, and Mentoring
Teaching:
- Teaching Assistant, CIS 7000, Large Language Models - UPenn, Fall 2024
- Teaching Assistant, CIS 5470, Software Analysis - UPenn, Fall 2020, Fall 2021, Summer 2022, Fall 2022, Fall 2023
- Tutor, CSE 190, Virtual Reality Technology - UCSD, Spring 2019
- Tutor, CSE 165, 3D User Interaction - UCSD, Winter 2019
- Tutor, CSE 130, Programming Language - UCSD, Fall 2018
- Tutor, CSE 163, Advanced Computer Graphics - UCSD, Spring 2018
- Tutor, CSE 167, Intro to Computer Graphics - UCSD, Winter 2018
- Tutor, CSE 12, Data Structure - UCSD, Winter 2017
Professional Services:
- Co-organizer, TACPS Workshop 2025
- Reviewer, NeurIPS 2024
- Reviewer, ICLR - 2023, 2024, 2025
- Reviewer, ICML - 2024
- Reviewer, ARR - 2023 Nov, 2024 Feb, May, Aug, Nov
Past Mentees:
Work
- Summer Research Intern - RelationalAI, 05/2021 - 08/2021
- Summer Research Intern - Visa Research, 05/2020 - 07/2020
- Front-end Engineer Intern - Coursera, 06/2018 - 09/2018
- Undergraduate Research Intern - UCSD Design Lab, 06/2017 - 06/2018