Annette Bieniusa's Projects
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Erlang bindings to RocksDB datastore
A hunky Erlang worker pool factory
Rebar3 Protobuffs compiler plugin
Distributed systems infrastructure used by Riak.
Multi-Paxos framework in Erlang
TUKLjudge, a fork of the TUMjudge programming contest jury system, a fork of DOMjudge.
Women in Programming Languages and Software Engineering Research