Julien Lange -

Registered user since Sun 17 Dec 2017

Name:Julien Lange

Affiliation:Royal Holloway University of London

Personal website: https://www.cs.rhul.ac.uk/~jlange

X (Twitter): https://x.com/julienlange

Contributions

2024

SPLASH

Author of Sound and partially-complete static analysis of data-races in GPU programs within the OOPSLA 2024-track
Author of Automated Verification of Parametric Channel-Based Process Communication within the OOPSLA 2024-track

Principles and Practice of Parallel Programming

PC Member in Program Committee within the Main Conference-track

2023

SLE

Committee Member in Program Committee within the SLE 2023-track

2022

ASE

Committee Member in Program Committee within the Artifact Evaluation-track

2021

ASE

AGERE

Author of A model of actors and grey failures within the AGERE 2021-track

2020

SPLASH

2019

Erlang

Programme Committee in Program Committee within the Erlang 2019-track

2018

ICSE

Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track

2017

POPL

Author of Fencing off Go: Liveness and Safety for Channel-Based Programming within the POPL-track