This year, we published a paper "Engineering with Logic: Rigorous Test-Oracle Specification
and Validation for TCP/IP and the Sockets API" in the Journal of the ACM! :) 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

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!