Julien Lange

Cited by

	All	Since 2019
Citations	915	648
h-index	14	14
i10-index	22	18

140

105

20122013201420152016201720182019202020212022202320245 14 14 35 57 69 50 82 82 138 113 116 114

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Laura BocchiUniversity of KentVerified email at kent.ac.uk
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Nicholas NgMonzoVerified email at monzo.com
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Alceste ScalasAssociate Professor in Computer Science, DTU Compute, Technical University of DenmarkVerified email at dtu.dk
Tiago CogumbreiroAssistant Professor, UMass BostonVerified email at umb.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Raymond HuQueen Mary University of LondonVerified email at qmul.ac.uk
Hannah ZicarelliUniversity of Massachusetts BostonVerified email at umb.edu
Dennis LiewUniversity of Massachusetts BostonVerified email at umb.edu
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Roberto ZuninoUniversità degli Studi di TrentoVerified email at unitn.it
Keigo ImaiDeNA Co., Ltd.Verified email at dena.com
Rumyana NeykovaBrunel University LondonVerified email at brunel.ac.uk
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Roly PereraUniversity of Cambridge, University of BristolVerified email at cl.cam.ac.uk

Julien Lange

Department of Computer Science, Royal Holloway, University of London

Verified email at rhul.ac.uk - Homepage

Computer science Programming languages Concurrency theory Software verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
From communicating machines to graphical choreographies J Lange, E Tuosto, N Yoshida Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	173	2015
A static verification framework for message passing in go using behavioural types J Lange, N Ng, B Toninho, N Yoshida Proceedings of the 40th International Conference on Software Engineering …, 2018	89	2018
Fencing off go: liveness and safety for channel-based programming J Lange, N Ng, B Toninho, N Yoshida ACM SIGPLAN Notices 52 (1), 748-761, 2017	79	2017
Synthesising choreographies from local session types J Lange, E Tuosto International Conference on Concurrency Theory, 225-239, 2012	70	2012
On the undecidability of asynchronous session subtyping J Lange, N Yoshida Foundations of Software Science and Computation Structures: 20th …, 2017	62	2017
Verifying asynchronous interactions via communicating session automata J Lange, N Yoshida Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	59	2019
Meeting deadlines together L Bocchi, N Yoshida, J Lange Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015	59	2015
An empirical study of messaging passing concurrency in Go projects N Dilley, J Lange 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019	35	2019
Featherweight go R Griesemer, R Hu, W Kokke, J Lange, IL Taylor, B Toninho, P Wadler, ... Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020	27	2020
Characteristic formulae for session types J Lange, N Yoshida International Conference on Tools and Algorithms for the Construction and …, 2016	25	2016
Automated verification of go programs via bounded model checking N Dilley, J Lange 2021 36th IEEE/ACM International Conference on Automated Software …, 2021	23	2021
Bounded verification of message-passing concurrency in go using promela and spin N Dilley, J Lange arXiv preprint arXiv:2004.01323, 2020	23	2020
A sound algorithm for asynchronous session subtyping and its implementation M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro Logical Methods in Computer Science 17, 2021	20	2021
Three Algorithms and a Methodology for Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Scientific Annals of Computer Science 22, 2012	19	2012
Checking data-race freedom of GPU kernels, compositionally T Cogumbreiro, J Lange, DLZ Rong, H Zicarelli International Conference on Computer Aided Verification, 403-426, 2021	14	2021
Fair refinement for asynchronous session types M Bravetti, J Lange, G Zavattaro International Conference on Foundations of Software Science and Computation …, 2021	14	2021
Choreography synthesis as contract agreement J Lange, A Scalas arXiv preprint arXiv:1310.4573, 2013	14	2013
Amending Contracts for Choreographies L Bocchi, J Lange, E Tuosto Arxiv preprint arXiv:1108.0470, 2011	14	2011
A sound algorithm for asynchronous session subtyping M Bravetti, M Carbone, J Lange, N Yoshida, G Zavattaro Leibniz International Proceedings in Informatics 140, 2019	13	2019
Choreographies in the wild M Bartoletti, J Lange, A Scalas, R Zunino Science of Computer Programming 109, 36-60, 2015	12	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors