• Sign in
  • Sign up
conf.researchr.org / Ziyang Li
  • FSE 2025 profile
  • ICFP/SPLASH 2025 profile
  • ICST 2025 profile
  • PLDI 2023 profile
Ziyang Li

Registered user since Mon 13 Jun 2022

Name:Ziyang Li
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://liby99.github.io
GitHub: https://github.com/liby99
Research interests:Programming Languages, Machine Learning

Contributions

2025

LMPL

  • Committee Member in Program Committee within the LMPL 2025-track

ESEC/FSE

  • Author of NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS within the Ideas, Visions and Reflections-track

ICST

  • Author of Evaluating the Effectiveness of LLMs in Detecting Security Vulnerabilities within the Research Papers-track

2023

PLDI

  • Author of Neurosymbolic Programming in Scallop within the Tutorials-track
  • Author of Scallop: A Language for Neurosymbolic Programming within the PLDI Research Papers-track
Share
xSat 21 Jun 10:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up