We have released the following software in our group. All of these are under a BSD/MIT/Illinois license. We ask that you cite the relevant papers if you use any of our software in your research. Please contact us if you want access to something not listed here. Our Github organization is DependableSystemsLab.


  • PCMeetingDashboard – A web application for PC meetings that interfaces with HotCRP. We developed it for the DSN’19 PC meeting, but it was also used in HPDC’19, DSN’20, DSN’21, SRDS’22 PC meetings.