Repositories list

• Coeus

  Public
  Relational Verification using Reinforcement Learning (Verifier Source Code)

  OCaml

  •

  Apache License 2.0

  •2•3•0•1•Updated Apr 23, 2024Apr 23, 2024

• Opera

  Public
  Code repository for 'From Batch to Stream: Automatic Generation of Online Algorithms' https://arxiv.org/abs/2404.04743

  Python

  •

  MIT License

  •0•4•0•0•Updated Apr 12, 2024Apr 12, 2024

• Smore

  Public
  Code repository for 'Data Extraction via Semantic Regular Expression Synthesis'

  Python

  •

  MIT License

  •2•6•0•1•Updated Jul 14, 2023Jul 14, 2023

• TypeT5

  Public
  Seq2seq Type Inference using Static Analysis and CodeT5

  pythontype-inferencegradual-typing+ 1transformer-architecture

  Jupyter Notebook

  •

  BSD 3-Clause "New" or "Revised" License

  •7•30•0•0•Updated Jul 9, 2023Jul 9, 2023

• graphy

  Public
  Code repository for 'Type-Directed Synthesis of Visualizations from Natural Language Queries'

  Jupyter Notebook

  •

  MIT License

  •0•5•0•0•Updated Aug 12, 2022Aug 12, 2022

• regel

  Public
  REGEL: Regular Expression Generation from Examples and Language

  Java

  •

  MIT License

  •9•33•4•0•Updated Jul 11, 2022Jul 11, 2022

• WebQA

  Public
  Code repository for 'Web Question Answering with Neurosymbolic Program Synthesis'

  Python

  •

  MIT License

  •2•7•0•0•Updated Jul 11, 2022Jul 11, 2022

• cortado

  Public
  Cortado implementation and Benchmarks from our 2022 OOPSLA paper

  Java

  •

  MIT License

  •1•1•0•0•Updated Mar 24, 2022Mar 24, 2022

• verisol

  Public
  A formal verifier and analysis tool for Solidity Smart Contracts

  C#

  •

  Other

  •46•1•0•0•Updated Feb 4, 2022Feb 4, 2022

• legion

  Public
  The Legion Parallel Programming System

  C++

  •

  Apache License 2.0

  •144•0•0•0•Updated Jan 31, 2022Jan 31, 2022

• CFPChecker

  Public
  Java

  •1•0•0•0•Updated Aug 8, 2021Aug 8, 2021

• SmartPulseTool

  Public
  C

  •9•9•2•0•Updated Jul 2, 2021Jul 2, 2021

• relish

  Public
  Java

  •0•1•0•0•Updated Dec 4, 2020Dec 4, 2020

• dynamite

  Public
  Java

  •1•1•0•0•Updated Sep 19, 2020Sep 19, 2020

• LoopAnalysis

  Public
  scratchy scripts on Solidity loop analysis

  Jupyter Notebook

  •2•0•0•0•Updated Aug 28, 2020Aug 28, 2020

• mediator

  Public
  Java

  •0•0•0•0•Updated Jul 16, 2020Jul 16, 2020

• cfp-checker-bench-slicer

  Public
  Java

  •0•0•0•0•Updated Jun 23, 2020Jun 23, 2020

• solidity

  Public
  Solidity, the Contract-Oriented Programming Language

  C++

  •

  GNU General Public License v3.0

  •5.8k•0•0•0•Updated Jan 27, 2020Jan 27, 2020

• scuba

  Public
  Bottom-up summary-based pointer analysis for Java

  Java

  •1•2•0•0•Updated Nov 11, 2019Nov 11, 2019

• ReCoeus

  Public
  Relational Verification using Reinforcement Learning (Learning Source Code)

  Python

  •

  Apache License 2.0

  •2•4•0•0•Updated Oct 6, 2019Oct 6, 2019

• migrator

  Public
  Java

  •0•3•0•0•Updated Sep 8, 2019Sep 8, 2019

• neo

  Public
  Java

  •6•5•0•0•Updated Jul 11, 2019Jul 11, 2019

• Reading-Group

  Public
  0•0•12•0•Updated Apr 8, 2019Apr 8, 2019

• utopia-group.github.io

  Public
  CSS

  •0•0•0•0•Updated Jun 18, 2018Jun 18, 2018

• sypet

  Public
  SyPet: Component-Based Synthesis for Complex APIs

  Java

  •

  Other

  •7•20•0•0•Updated May 24, 2018May 24, 2018

• apposcopy

  Public
  Java

  •12•18•1•1•Updated Apr 27, 2018Apr 27, 2018

• GrammarComparison

  Public
  A system for analyzing and comparing context-free grammars

  Scala

  •

  Other

  •3•0•0•0•Updated Oct 9, 2017Oct 9, 2017

• drat-trim

  Public
  The DRAT-trim proof checker

  C

  •

  MIT License

  •20•0•0•0•Updated Aug 30, 2017Aug 30, 2017

• STAC-engagement-src

  Public
  Java

  •1•0•0•0•Updated Jun 23, 2017Jun 23, 2017

• klee

  Public
  KLEE Symbolic Virtual Machine

  C++

  •

  Other

  •683•0•0•0•Updated Oct 16, 2016Oct 16, 2016