author-photo

Julien Lange

Imperial College London

45

Papers

467

Citations

Citation Trend

Filter By

Papers (34) Sort By

Journal Conference Others

Provable GPU Data-Races in Static Race Detection.

2022 CoRR
- Tiago Cogumbreiro
- Julien Lange
Show All
- Source
- Cite
- Save
Citations (0)
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.

2022 | TACAS (2)
Show All
- Source
- Cite
- Save
Citations (0)
A Session Subtyping Tool (Extended Version).

2021 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (1)
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.

2021 Logical Methods in Computer Science
Show All
- Source
- Cite
- Save
Citations (5)
Fair Refinement for Asynchronous Session Types (extended version).

2021 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (1)
Checking Data-Race Freedom of GPU Kernels, Compositionally (Artifact)

2021
Show All
- Source
- Cite
- Save
Citations (1)
Bounded verification of message-passing concurrency in Go using Promela and Spin

2020 arXiv: Programming Languages
- Nicolas Dilley
- Julien Lange
Show All
- Source
- Cite
- Save
Citations (0)
Proceedings of 13th Interaction and Concurrency Experience

2020
Show All
- Source
- Cite
- Save
Citations (0)
Verifying Asynchronous Interactions via Communicating Session Automata.

2019 arXiv: Programming Languages
- Julien Lange
- Nobuko Yoshida
Show All
- Source
- Cite
- Save
Citations (1)
An Empirical Study of Messaging Passing Concurrency in Go Projects

2019 SANER | IEEE International Conference on Software Analysis, Evolution, and Reengineering
- Nicolas Dilley
- Julien Lange
Show All
- Source
- Cite
- Save
Citations (16)