Our paper "Java Typestate Checker" is freely available at:
https://link.springer.com/chapter/10.1007%2F978-3-030-78142-2_8
The paper will be presented by João Mota next wednesday (16 June) at 16:30 (Lisbon Time) @Coordination: feel free to register and attend!
https://www.discotec.org/2021/programme
https://link.springer.com/chapter/10.1007%2F978-3-030-50029-0_9
GoPi: Compiling Linear and Static Channels in Go
COORDINATION 2020
http://ctp.di.fct.unl.pt/~mgiunti/demo.mp4
The GoPi compiler transforms high level processes featuring linear and secret channels in executable Go programs.
