Alternatives and similar repositories for asstprofbook

Users that are interested in asstprofbook are comparing it to the libraries listed below

• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆154Updated 2 months ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 3 years 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 4 years ago
• stanford-sysml-seminar / stanford-sysml-seminar.github.io
  Website for Stanford SysML Seminar
  ☆17Updated last week
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• ruipeterpan / torch_profiler
  Simple PyTorch profiler that combines DeepSpeed Flops Profiler and TorchInfo
  ☆11Updated 2 years ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)
  ☆25Updated 2 years ago
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated 2 years ago
• STAR-Research / 18-847C-S22
  Official page for 18-847C (Spring '22): Data Center Computing
  ☆15Updated 3 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆70Updated 6 years ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• Lodour / wisc-thesis-template
  A Minimum Working Example of the Dissertation Template for UW-Madison.
  ☆11Updated last year
• YuhanLiu11 / AutoFreeze
  ☆22Updated 4 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆57Updated 10 months ago
• jiazhihao / attention_superoptimizer
  An Attention Superoptimizer
  ☆22Updated 9 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 2 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 3 years ago
• uw-mad-dash / Accordion
  Code for reproducing experiments performed for Accoridon
  ☆13Updated 4 years ago
• noise-lab / research-course
  "How to Do Great Research" Course for Ph.D. Students
  ☆130Updated last week
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• Ying1123 / llm-caching-multiplexing
  ☆20Updated 2 years ago
• xshaun / sc22-ae
  ☆14Updated last month
• DS3Lab / AC-SGD
  Code associated with the paper **Fine-tuning Language Models over Slow Networks using Activation Compression with Guarantees**.
  ☆27Updated 2 years ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆50Updated 3 years ago
• illinois-impact / klap
  A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches
  ☆15Updated 6 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆17Updated 3 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆36Updated 5 months ago