Technical Reports
You can use the search the tech reports database on the right, or you can browse reports by author below by clicking the first letter of their last name.
Summary
There are currently 1076 reports and 808 authors in the datbase.
Recently added reports:
- TR-002-22 - Human-machine Collaboration in Real-World Machine-Learning Applications (2022)
- TR-001-22 - A Serverless Architecture for Application-Level Orchestration (2022)
- TR-005-20 - Performance-Optimal Read-Only Transactions (Extended Version) (2022)
- TR-004-20 - Tolerating Slowdowns in Replicated State Machines using Copilots: Pseudocode and Proof of Correctness (2021)
- TR-007-20 - Progressive Automated Formal Verification of Memory Consistency in Parallel Processors (2020)
