• Sign in
  • Sign up
conf.researchr.org / Julien Lange
  • * ICSE 2018 * profile
  • ASE 2021 profile
  • ASE 2022 profile
  • ICFP 2019 profile
  • POPL 2017 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

ASE 2022 Committee Member in Program Committee within the Artifact Evaluation-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
AGERE 2021 Author of A model of actors and grey failures within the AGERE 2021-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
* ICSE 2018 * Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track
POPL 2017 Author of Fencing off Go: Liveness and Safety for Channel-Based Programming within the POPL-track

Share
xSun 29 Jan 19:56
using conf.researchr.org (v1.58.0)
Support page
Sign Up