The following pages link to Julien Lange (Q832187):
Displaying 13 items.
- Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Characteristic formulae for session types (Q2272938) (← links)
- From Communicating Machines to Graphical Choreographies (Q2819808) (← links)
- Synthesising Choreographies from Local Session Types (Q2914373) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- (Q4994122) (← links)
- Meeting Deadlines Together (Q5357710) (← links)
- Fencing off go: liveness and safety for channel-based programming (Q5370909) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- Memory access protocols: certified data-race freedom for GPU kernels (Q6632202) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
