Claire Wang

Research interests - Combining machine learning with program analysis, synthesis, testing, and verification. Also music and dependent types.

Publications

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities [Paper] [Code]
Claire Wang, Ziyang Li, Saikat Dutta, Mayur Naik. ICLR 2026

Demo: Rocq N'Roll [Paper] [Code]
Roger Burtonpatel, Claire Wang. FARM Workshop, ICFP 2025

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning [Paper] [Code]
Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong. ICML 2025

Projects

CodeQL LSP MCP Server - LLM agent tools for interfacing with the CodeQL language server.
IRIS - a tool used to synthesize CodeQL queries using LLM-identified sources and sinks.
Prismriver - a music representation library and DSL in Lean 4. Currently formalizing counterpoint.
Composition - algorave/technical salon focused on the intersections of art modalities, math, and code.
Teaching Assistant for CIS1904 Introduction to Haskell - I love teaching Haskell!

Misc

San Francisco Opera

Former Board member of SF Opera Bravo! Club - we are a young professionals club for anyone under 45 with discounts to the SF Opera and lots of events!

Running

5k - 19:43, Hot Chocolate 5k 2021
10k - 41:55, Chinatown Lunar New Year Run 2021, 1st 10k
Half marathon - 01:33:44.1, Yosemite Half Marathon 2021, 1st Half Marathon
Double Dipsea 2021 - 2:25:58
Dipsea 2022 - 1:18:13.50, 1st attempt and invitational qualifier
CIM 2022 - 03:37:02, 1st marathon
Philadelphia Marathon 2023 - 03:29:25, 2nd marathon

Publications

Projects

Links

Misc