• Sign in
  • Sign up
conf.researchr.org / Changjie Wang
  • ICSE 2025 profile
  • POPL 2026 profile

Registered user since Sun 6 Apr 2025

Name:Changjie Wang
Affiliation:KTH Royal Institute of Technology

Contributions

2026

Dafny

  • Author of Toward Automated, Contamination-free Dafny Benchmark Generation within the Dafny 2026-track

2025

LLM4Code

  • Author of Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning (Virtual Talk) within the Large Language Models for Code-track
  • Author of From Scientific Texts to Verifiable Code: Automating the Process with Transformers (Virtual Talk) within the Large Language Models for Code-track
  • Author of Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues within the Large Language Models for Code-track
Share
xWed 14 Jan 05:20
using conf.researchr.org (v1.72.1)
Support page
Sign Up