Scholar
Julien Lange
Google Scholar ID: mpXU9XQAAAAJ
Department of Computer Science, Royal Holloway, University of London
Computer science
Programming languages
Concurrency theory
Software verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,007
H-index
15
i10-index
22
Publications
20
Co-authors
27
list available
Publications
2 items
Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)
2026
Cited
0
RustMC: Extending the GenMC stateless model checker to Rust
2025
Cited
0
Co-authors
12 total
Nobuko Yoshida
Department of Computer Science, University of Oxford
Bernardo Toninho
Instituto Superior Técnico, Universidade de Lisboa
Laura Bocchi
University of Kent
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Mario Bravetti
University of Bologna
Alceste Scalas
Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
Philip Wadler
University of Edinburgh and IOHK/IOG
Raymond Hu
Queen Mary University of London
