vijay03 / asstprofbook
Github repo backing website for the CS Assistant Professor Handbook
☆26Updated 8 months ago
Alternatives and similar repositories for asstprofbook
Users that are interested in asstprofbook are comparing it to the libraries listed below
Sorting:
- Major CS conference publication stats (including accepted and submitted) by year.☆124Updated last month
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated 2 years ago
- Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)☆24Updated last year
- "Moshpit SGD: Communication-Efficient Decentralized Training on Heterogeneous Unreliable Devices", official implementation☆29Updated 3 months ago
- An Attention Superoptimizer☆21Updated 3 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- Code for reproducing experiments performed for Accoridon☆13Updated 3 years ago
- Heavyweight Python dynamic analysis framework☆13Updated last year
- ☆17Updated 2 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆28Updated 5 years ago
- ☆9Updated 2 years ago
- Learning-Based Coded Computation☆47Updated 2 years ago
- Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆24Updated 5 months ago
- A Minimum Working Example of the Dissertation Template for UW-Madison.☆11Updated last year
- ☆22Updated 4 years ago
- Distributed transactions☆13Updated 5 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 3 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 4 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated 2 years ago
- Summaries of readings in operating systems, networking and machine learning☆22Updated 6 years ago
- "How to Do Great Research" Course for Ph.D. Students☆117Updated last year
- [NeurIPS 2019 Spotlight] High dimensional mean estimation and outlier detection in nearly-linear time.☆26Updated 5 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆18Updated 4 years ago
- The official repo for GCP-CROWN paper☆13Updated 2 years ago
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆27Updated 3 years ago
- ☆20Updated last year
- OVAL framework for BaB-based Neural Network Verification☆13Updated last year
- ☆18Updated 3 years ago