Julien Lange -

Registered user since Sun 17 Dec 2017

Name:Julien Lange

Country:United Kingdom

Affiliation:Royal Holloway, University of London

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

Contributions

2027

Principles and Practice of Parallel Programming

PC Member in Program Committee within the Main Conference-track

2026

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

FTfJP

Author of Automated Verification of Concurrent Go Programs within the FTfJP 2026-track

POPL

Author of A Modular Static Cost Analysis for GPU Warp-Level Parallelism within the POPL-track
Author of Welterweight Go: Boxing, Structural Subtyping, and Generics within the POPL-track

2024

SPLASH

Vivek Sarkar Festschrift Symposium

Author of Hidden assumptions in static verification of data-race free GPU programs within the VIVEKFEST 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