sriram0339 / csci3155_notebooks

Related projects ⓘ

Alternatives and complementary repositories for csci3155_notebooks

• bhumbers / optcomp
  CMU 15-745 Spring 2014
  ☆10Updated 10 years ago
• PurduePL / purduepl.github.io
  A blog of Programming Languages Group @Purdue
  ☆10Updated last week
• theosotr / buildfs
  A dynamic method for detecting faults in incremental and parallel builds.
  ☆16Updated 2 years ago
• Marghrid / FOREST
  Regular expression for form validations synthesizer
  ☆14Updated 3 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆49Updated this week
• kisslune / POCR
  ☆12Updated 5 months ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 2 years ago
• upenn-cis198 / lecture1
  High level overview of Rust
  ☆18Updated 3 years ago
• vaibhavbsharma / java-ranger
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆13Updated 3 weeks ago
• dblotsky / stringfuzz
  Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.
  ☆20Updated 2 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆42Updated last month
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆21Updated 2 years ago
• meelgroup / unigen
  UniGen approximately uniform sampler
  ☆25Updated 3 weeks ago
• fredfeng / CS190I
  Program Synthesis
  ☆12Updated 3 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated last month
• FP-Analysis / atomic-condition
  ☆20Updated 5 years ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆14Updated this week
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated last year
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆58Updated last week
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated last year
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• umd-cmsc330 / cmsc330spring22
  ☆27Updated 2 years ago
• compiler-research / pldi-tutorials-2023
  ☆11Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆57Updated 3 weeks ago