• Sign in
  • Sign up
conf.researchr.org / Claire Wang
  • ICFP 2026 profile
  • ICFP/SPLASH 2025 profile
  • STAF 2026 profile

Registered user since Fri 26 Sep 2025

Name:Claire Wang
Affiliation:University of Pennsylvania

Contributions

2026

FARM

  • Author of Composition: Building Community with Arts, Math, and Code (Experience Report) within the FARM 2026-track
  • Author of Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 within the FARM 2026-track
  • Session Chair of Midday Session (part of FARM 2026)
  • Composer of Algorithmic Composition in Prismriver within the FARM 2026-track

LLM4DE

  • Author of POC-GYM: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation within the LLM4SE 2026-track

2025

SPLASH

  • Author of Concert: RocqNRoll within the FARM-track
  • Author of Rocq N'Roll within the FARM-track
Share
xMon 7 Sep 04:42
using conf.researchr.org (v1.76.0)
Support page
Sign Up