emeryberger / PC-Resources
Resources for conference program chairs, especially in systems/PL areas of computer science.
☆11Updated 2 years ago
Alternatives and similar repositories for PC-Resources
Users that are interested in PC-Resources are comparing it to the libraries listed below
Sorting:
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 10 months ago
- rules for writing and typesetting☆24Updated 3 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
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- Major CS conference publication stats (including accepted and submitted) by year.☆124Updated last month
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆18Updated 4 years ago
- The Splash-3 benchmark suite☆44Updated 2 years ago
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- A translation validation framework for MLIR☆81Updated last month
- ☆40Updated 3 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated 9 months ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆30Updated 7 months ago
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated 2 months ago
- FPGA synthesis tool powered by program synthesis☆46Updated last week
- A Framework for Modeling and Analyzing Network Configurations☆34Updated 2 years ago
- ☆14Updated 5 years ago
- ☆16Updated 6 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 11 months ago
- Repo for Performance Interfaces for Hardware Accelerators.☆12Updated 10 months ago
- The Domino compiler to run packet programs on pipelined switches☆29Updated 3 years ago
- Verilog AST☆21Updated last year
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆25Updated 5 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- A verification tool for many memory models☆93Updated this week
- A false sharing detection and repair tool☆14Updated 6 years ago
- simple snapshot-style integration testing for commands☆71Updated 10 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆14Updated 5 months ago