>_ Anil Madhavapeddy@avsm/
  • About
  • Projects
  • Ideas
  • Papers
  • Notes
  • Talks
  • Network
  • Links
Subscribe
AtomfullJSON Feedfull
AtompermaJSON Feedperma
>_ Anil Madhavapeddy
About
ProjectsIdeas
PapersNotesTalks
NetworkLinks
>_
3 on this site · 7 links
On this siterelevancedate3
An io_uring IO implementation for Lean1st Apr 2026#concurrency#fplaunchpad#lean#linux#verificationSibylFS: formal specification and oracle-based testing for POSIX and real-world file systems1st Oct 2015#filesystems#formal-methods#testing#verificationSPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions1st Aug 2005#formal-methods#model-checking#protocols#verification
Narrowfilter these results
2005
2026
Linkscited from entries here7
Pramaana - AI that speaks the truthApr 2026pramaanalabs.ai
lean4/doc/dev/ffi.md at master · leanprover/lean4Apr 2026lean-lang.org
Lean Programming LanguageApr 2026lean-lang.org
https://kernel.dk/io_uring.pdfApr 2026kernel.dk
ocaml-uring/tests/urcp_lib.ml at main · ocaml-multicore/ocaml-uringOct 2025github.com
GitHub - ocaml-multicore/eio: Effects-based direct-style IO for multicore OCamlOct 2025github.com
GitHub - ocaml-multicore/ocaml-uring: Bindings to io_uring for OCamlJan 2025github.com

© 1998–2026 Anil Madhavapeddy.

{} md