vijay03 / asstprofbook
Github repo backing website for the CS Assistant Professor Handbook
☆26Updated 4 months ago
Alternatives and similar repositories for asstprofbook:
Users that are interested in asstprofbook are comparing it to the libraries listed below
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆117Updated last month
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- Interview questions for Computer Science faculty jobs☆39Updated 10 months ago
- Course website for Advanced Operating Systems☆12Updated 2 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 3 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated last year
- Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]☆22Updated last month
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- An Attention Superoptimizer☆20Updated 8 months ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 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
- website for systems seminar at UIUC☆17Updated this week
- "How to Do Great Research" Course for Ph.D. Students☆109Updated last year
- Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)☆24Updated last year
- FPGA synthesis tool powered by program synthesis☆37Updated last month
- Code associated with the paper **Fine-tuning Language Models over Slow Networks using Activation Compression with Guarantees**.☆27Updated last year
- A fun OS course☆19Updated 4 years ago
- ☆16Updated 2 years ago
- Heavyweight Python dynamic analysis framework☆13Updated 9 months ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆105Updated 5 months ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆24Updated last year
- ☆22Updated 3 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆18Updated 7 months ago
- ☆9Updated 2 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆18Updated 4 years ago
- ☆20Updated last year
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆29Updated 7 months ago