SyGuS-Comp 2017: Results and Analysis

by Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Published 2017-11-01

Results and Analysis of SyGuS-Comp'15

by Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Published 2016-02-01

SyGuS-Comp 2016: Results and Analysis

by Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Published 2016-11-01

Multi-language code search

by Premtoon, Varot.
Published 2019

Synthesizing a synthesis tool

by Singh, Rohit, Ph. D. Massachusetts Institute of Technology.
Published 2014

Preventing information leaks with policy-agnostic programming

by Yang, Jean, Ph. D. Massachusetts Institute of Technology
Published 2016

Storyboard programming of data structure manipulations : a picture is worth 20 lines of code

by Singh, Rishabh
Published 2010

Specification-enhanced execution

by Yang, Jean, Ph. D. Massachusetts Institute of Technology
Published 2011

Analyzing performance and usability of broadcast-based inter-core communication (ATAC) on manycore architecture

by Park, Seo Jin
Published 2014

Incremental parametric syntax for multi-language transformation

by Koppel, James (James Brandon)
Published 2017

Expanding the synthesis of distributed memory implementations

by Sharpe, Jeremy Edward
Published 2016

Validating performance and simplicity of highly concurrent data structures utilitizing the ATAC broadcast mechanism

by Pellegrino, Nicholas A
Published 2014

Automatically learning optimal formula simplifiers and database entity matching rules

by Singh, Rohit, Ph. D. Massachusetts Institute of Technology
Published 2018

Synthesis of domain specific CNF encoders for bit-vector solvers

by Inala, Jeevana Priya
Published 2016

Jelf : a web framework for automatic privacy policy enforcement

by Hance, Travis J
Published 2014

A tool for automated inference in rule-based biological models

by Voss, Chelsea (Chelsea S.)
Published 2017

Program synthesis from execution traces and demonstrations

by Yessenov, Kuat T
Published 2016

MSL : a synthesis enabled language for distributed high performance computing implementations

by Xu, Zhilei
Published 2017

A novel inference algorithm on graphical model

by Pu, Yewen
Published 2015

Augmenting a neural agent with an Oracle

by Miranda, Zachery A
Published 2018