Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuxi Ling
conf.researchr.org general profile
ASE 2022 profile
ICFP/SPLASH 2025 profile
PLDI 2024 profile
SANER 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 7 Nov 2022
Name:
Yuxi Ling
Affiliation:
National University of Singapore
Contributions
2026
ISSTA
Author of KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification within the Research papers-track
SPLASH
Author of Infinitary Relational Logic within the OOPSLA-track
2025
PLMW
Author of Graduate Student Panel within the PLMW @ ICFP/SPLASH 2025-track
2024
PLDI
Author of Synthesising Programming Languages within the SRC-track
SANER
Author of Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions within the Research Papers-track
2022
ASE
Author of Are They Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions within the Research Papers-track
Share
x
Tue 29 Sep 13:50