Tech Reports

This is an archive of department research. Research published since 2020 is available through arXiv or Mudd Library.

Search by AuthorTitleDateTR Number

Keywords

DISPLAY BY AUTHOR:

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

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 database.

Recently added reports:

• TR-002-22 - Human-machine Collaboration in Real-World Machine-Learning Applications (2022)
  Roberts, Claudia
• TR-001-22 - A Serverless Architecture for Application-Level Orchestration (2022)
  Liu, David
• TR-005-20 - Performance-Optimal Read-Only Transactions (Extended Version) (2022)
  Lloyd, Wyatt / Sen, Siddhartha / Lu, Haonan
• TR-004-20 - Tolerating Slowdowns in Replicated State Machines using Copilots: Pseudocode and Proof of Correctness (2021)
  Lloyd, Wyatt / Sen, Siddhartha / Ngo, Khiem
• TR-007-20 - Progressive Automated Formal Verification of Memory Consistency in Parallel Processors (2020)
  Manerkar, Yatin