Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lange, Julien
300  Ergebnisse:
Personensuche X
?
1

Automated verification of concurrent go programs via bounde..:

Dilley, Nicolas ; Lange, Julien
Automated Software Engineering.  30 (2023)  2 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
2

Memory access protocols: certified data-race freedom for GP..:

Cogumbreiro, Tiago ; Lange, Julien ; Liew, Dennis.
Formal Methods in System Design.  , 2023
Link: https://doi.org/10.1007/..
 
?
3

A Tool for Choreography-Based Analysis of Message-Passing S..:

, In: Behavioural Types,
Lange, Julien ; Tuosto, Emilio ; Yoshida, Nobuko - p. 125-145 , 2022
Link: https://doi.org/10.1201/..
 
?
4

A Model of Actors and Grey Failures:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Bocchi, Laura ; Lange, Julien ; Thompson, Simon. - p. 140-158 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Kmclib: Automated Inference and Verification of Session Typ..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Imai, Keigo ; Lange, Julien ; Neykova, Rumyana - p. 379-386 , 2022
Link: https://doi.org/10.1007/..
 
?
6

A Session Subtyping Tool:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Bacchiani, Lorenzo ; Bravetti, Mario ; Lange, Julien. - p. 90-105 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Fair Refinement for Asynchronous Session Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Bravetti, Mario ; Lange, Julien ; Zavattaro, Gianluigi - p. 144-163 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Checking Data-Race Freedom of GPU Kernels, Compositionally:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Cogumbreiro, Tiago ; Lange, Julien ; Rong, Dennis Liew Zhen. - p. 403-426 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Automated verification of go programs via bounded model che..:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,
Dilley, Nicolas ; Lange, Julien - p. 1016-1027 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Featherweight go:

Griesemer, Robert ; Hu, Raymond ; Kokke, Wen...
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Featherweight go:

Griesemer, Robert ; Hu, Raymond ; Kokke, Wen...
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://doi.org/10.1145/..
 
?
12

Verifying Asynchronous Interactions via Communicating Sessi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lange, Julien ; Yoshida, Nobuko - p. 97-117 , 2019
Link: https://doi.org/10.1007/..
 
?
13

A static verification framework for message passing in Go u..:

, In: Proceedings of the 40th International Conference on Software Engineering,
Lange, Julien ; Ng, Nicholas ; Toninho, Bernardo. - p. 1137-1148 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Fencing off go: liveness and safety for channel-based progr..:

Lange, Julien ; Ng, Nicholas ; Toninho, Bernardo.
ACM SIGPLAN Notices.  52 (2017)  1 - p. 748-761 , 2017
Link: https://doi.org/10.1145/..
 
?
15

Fencing off go: liveness and safety for channel-based progr..:

, In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages,
Lange, Julien ; Ng, Nicholas ; Toninho, Bernardo. - p. 748-761 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15