Julien Lange
Scholar

Julien Lange

Google Scholar ID: mpXU9XQAAAAJ
Department of Computer Science, Royal Holloway, University of London
Computer scienceProgramming languagesConcurrency theorySoftware verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,007
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
27
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
27 total
Nobuko Yoshida
Nobuko Yoshida
Department of Computer Science, University of Oxford
Co-author 2
Co-author 2
Bernardo Toninho
Bernardo Toninho
Instituto Superior Técnico, Universidade de Lisboa
Laura Bocchi
Laura Bocchi
University of Kent
Co-author 5
Co-author 5
Gianluigi Zavattaro
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Mario Bravetti
Mario Bravetti
University of Bologna
Co-author 8
Co-author 8