vijay03 / asstprofbook

Related projects: ⓘ

• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆16Updated last year
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆109Updated last week
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆20Updated 3 years ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 4 years ago
• Mondego / dafny-synthesis
  Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆30Updated 3 months ago
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads
  ☆23Updated 11 months ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 4 years ago
• manishshettym / tart
  tart: tensor abstracted relations and topologies
  ☆11Updated 2 months ago
• jiazhihao / attention_superoptimizer
  An Attention Superoptimizer
  ☆19Updated 4 months ago
• llm-db / FineInfer
  Deferred Continuous Batching in Resource-Efficient Large Language Model Serving (EuroMLSys 2024)
  ☆11Updated 3 months ago
• ithemal / DiffTune
  ☆16Updated 2 years ago
• y-ding / causal-system-papers
  ☆22Updated 3 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆18Updated 3 months ago
• GLaDOS-Michigan / I4
  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
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated last year
• YuhanLiu11 / AutoFreeze
  ☆22Updated 3 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆12Updated 2 years ago
• shizhouxing / Local-Lipschitz-Constants
  [NeurIPS 2022] Code for paper "Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation"
  ☆21Updated 9 months ago
• illinois-impact / klap
  A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches
  ☆13Updated 5 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆37Updated this week
• self-checker / SelfChecker
  ICSE2021 Submission
  ☆12Updated 2 years ago
• DS3Lab / AC-SGD
  Code associated with the paper **Fine-tuning Language Models over Slow Networks using Activation Compression with Guarantees**.
  ☆24Updated last year
• verivital / vnn-comp
  ☆12Updated last year
• strongh2 / sc22-ae
  ☆12Updated 2 years ago
• uw-mad-dash / Accordion
  Code for reproducing experiments performed for Accoridon
  ☆12Updated 3 years ago
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆26Updated 4 years ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆24Updated 5 years ago