Dr Julian Rathke

Associate Professor

Connect with Julian

Email: jr2@ecs.soton.ac.uk

Address: B59, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)

Publications

37 publications

Page 1 of 4

Preemptive type checking

Neville Grech,

Bernd Fischer,

& Julian Rathke

, 2018 , Journal of Logical and Algebraic Methods in Programming , 101 , 151--181

DOI: 10.1016/j.jlamp.2018.08.003

Type: article

Compositional reachability in Petri nets

Julian Rathke,

Pawel Sobocinski,

& Owen Stephens

, 2014

DOI: 10.1007/978-3-319-11439-2_18

Type: conference

Preemptive type checking in dynamically typed languages

Neville Grech,

Julian Rathke,

& Bernd Fischer

, 2013

Type: conference

Permission-based separation logic for message-passing concurrency

Adrian Francalanza,

Julian Rathke,

& Vladimiro Sassone

, 2011 , Logical Methods in Computer Science , 7 (3) , 1--47

DOI: 10.2168/LMCS-7(3:7)2011

Type: article

The Lax Braided Structure of Streaming I/O

Alan Jeffrey,

& Julian Rathke

, 2011

Type: conference

Local memory via layout randomization

Radha Jagadeesan,

Corin Pitcher,

Julian Rathke,

& James Riely

, 2011

DOI: 10.1109/CSF.2011.18

Type: conference

JEqualityGen: Generating Equality and Hashing Methods

Neville Grech,

Bernd Fischer,

& Julian Rathke

, 2010

Type: conference

Deriving structural labelled transitions for mobile ambients

Julian Rathke,

& Pawel Sobocinski

, 2010 , Information and Computation , 208 (10) , 1221--1242

DOI: 10.1016/j.ic.2010.06.001

Type: article

Generating correct and efficient equality and hashing methods using JEqualityGen

Neville Grech,

Julian Rathke,

& Bernd Fischer

, 2010

Type: conference

Migrating Protocols In Multi-Threaded Message-Passing Systems

Julian Rathke,

& Gabrielle Anderson

, 2009

Type: conference

How to edit profile