( en | de | ru )

 

Disambiguation of "Lange, Julien"

Author of the publication

copydeleteadd this publication to your clipboard
A model of actors and grey failures.

, , , and . Log. Methods Comput. Sci., (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julien Lange

Julien Köhrle

Julien Bonnamour

Julien Ndinga

Julien Béthune

 

Other publications of authors with the same name

A Sound Algorithm for Asynchronous Session Subtyping., , , , and . CONCUR, volume 140 of LIPIcs, page 38:1-38:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Checking Data-Race Freedom of GPU Kernels, Compositionally., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 403-426. Springer, (2021)kmclib: Automated Inference and Verification of Session Types., , and . CoRR, (2021)Kmclib: Automated Inference and Verification of Session Types from OCaml Programs., , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 379-386. Springer, (2022)A model of actors and grey failures., , , and . Log. Methods Comput. Sci., (2023)An Empirical Study of Messaging Passing Concurrency in Go Projects., and . SANER, page 377-387. IEEE, (2019)Bounded verification of message-passing concurrency in Go using Promela and Spin., and . PLACES@ETAPS, volume 314 of EPTCS, page 34-45. (2020)Verifying Asynchronous Interactions via Communicating Session Automata., and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 97-117. Springer, (2019)Provable GPU Data-Races in Static Race Detection., , and . PLACES@ETAPS, volume 356 of EPTCS, page 36-45. (2022)Featherweight go., , , , , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 149:1-149:29 (2020)