Alternatives and similar repositories for wisc-thesis-template:

Users that are interested in wisc-thesis-template are comparing it to the libraries listed below

• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆21Updated 4 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• VeriGu / DistAI
  DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
  ☆13Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆121Updated last week
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 7 months ago
• ryscheng / paper-template
  LaTeX templates for papers
  ☆46Updated 6 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated last week
• y-ding / causal-system-papers
  ☆22Updated 4 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 3 years ago
• self-checker / SelfChecker
  ICSE2021 Submission
  ☆13Updated 2 years ago
• LearningOpt / pie
  ☆50Updated 9 months ago
• OrderLab / xinda
  Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems
  ☆11Updated last month
• shinan6 / chatgpt_cmd
  Simply calling chatgpt APIs and store chat history in csv
  ☆22Updated 2 years ago
• akshithasriraman / Accelerometer
  The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…
  ☆15Updated 5 years ago
• dywsjtu / apparate
  Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]
  ☆24Updated 5 months ago
• hku-systems / naspipe
  ☆14Updated 3 years ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆43Updated 10 months ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆59Updated 5 years ago
• 95616ARG / PRDNN
  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
  ☆10Updated 2 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆43Updated this week
• wenischlab / MicroTune
  µTune: Auto-Tuned Threading for OLDI Microservices
  ☆14Updated 6 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 4 months ago
• llylly / RANUM
  [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.
  ☆12Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• hpides / pmem-olap
  This repository contains the source code for our ACM SIGMOD '21 paper (Maximizing Persistent Memory Bandwidth Utilization for OLAP Worklo…
  ☆21Updated 2 years ago
• columbia / PrivateKube
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)
  ☆24Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆91Updated 4 years ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated 2 years ago