Julien Lange

1. Featherweight Go
   2020/05/24 by Robert Griesemer, Raymond Hu, Griesemer, Robert +13 · 5 voices
   Computer Science · Social Sciences · #Artificial Intelligence in Games #Digital Games and Media #Logic, programming, and type systems #cs.LO #cs.PL
2. Verifying Asynchronous Interactions via Communicating Session Automata
   2019/01/28 by Julien Lange, Lange, Julien, Nobuko Yoshida +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
3. RustMC: Extending the GenMC stateless model checker to Rust
   2025/02/10 by Oliver Pearce, Pearce, Oliver, Julien Lange +3 · 1 voice
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning and Algorithms #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Testing and Debugging Techniques #cs.CR #cs.PL