Follow

This year, we published a paper "Engineering with Logic: Rigorous Test-Oracle Specification
and Validation for TCP/IP and the Sockets API" cl.cam.ac.uk/~pes20/Netsem/pap in the Journal of the ACM! :) cl.cam.ac.uk/~pes20/rems/ so glad that this is finally out :D (happy to hear your thoughts on that, still working on a TCP/IP stack based on that work)

@hannesm you’re also published the MirageOS paper recently? Develolping with functors ?
@hannesm oh that’s annoying. IIRC this is the only one major paper on mirageos?
Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!