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

Twitter:https://twitter.com/julienlange

Contributions

AGERE 2021	Author of A model of actors and grey failures within the AGERE 2021-track
ASE 2021	Author of Automated Verification of Go Programs via Bounded Model Checking within the Artifact Evaluation-track Author of Automated Verification of Go Programs via Bounded Model Checking within the Research Papers-track
SPLASH 2020	Session Chair of T-4 (part of OOPSLA) Author of Featherweight Go within the OOPSLA Artifacts-track Session Chair of F-5B (part of OOPSLA) Author of Featherweight Go within the OOPSLA-track
Erlang 2019	Programme Committee in Program Committee within the Erlang 2019-track
POPL 2017	Author of Fencing off Go: Liveness and Safety for Channel-Based Programming within the POPL-track
* ICSE 2018 *	Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track