Pinned Repositories
ClashOfCrowd
CSE 510 Project
falx
Visualization synthesis
falx-artifact
The artifact for Falx visualization synthesizer
MiniJava
MiniJava compiler in four steps
Patl4J
A transformation language for Java API adaptation
Scythe
Synthesizing SQL queries from input / output examples
Scythe2
Scythe 2.0 newly designed and implemented
SWIN-Project
Type-Safe Java Program Adaptation Language
viznet
VizNet is a repository providing real-world datasets that enable, among other things, (re)running empirical studies with higher ecological validity
Cosette
Cosette is an automated SQL solver.
Mestway's Repositories
Mestway/Scythe
Synthesizing SQL queries from input / output examples
Mestway/falx
Visualization synthesis
Mestway/Patl4J
A transformation language for Java API adaptation
Mestway/falx-artifact
The artifact for Falx visualization synthesizer
Mestway/Scythe2
Scythe 2.0 newly designed and implemented
Mestway/SWIN-Project
Type-Safe Java Program Adaptation Language
Mestway/viznet
VizNet is a repository providing real-world datasets that enable, among other things, (re)running empirical studies with higher ecological validity
Mestway/ClashOfCrowd
CSE 510 Project
Mestway/mestway.github.io
Mestway/CmdReader
Read cmds!
Mestway/cosette-oopsla-artifact
The artifact only.
Mestway/CourseWork
CSE505 this quater
Mestway/cse515
cse515 homework
Mestway/dbreaker
Break database
Mestway/docs
The SyGuS language standard
Mestway/DopCert-Website
Mestway/draco
Visualization Constraints and Weight Learning
Mestway/EnumExperiments
A small experiments about enumeration algorithms
Mestway/falx-editor
The user interface for falx visualization sythesizer
Mestway/homepage-redirect
Redirect my homepage
Mestway/IEEE-VAST-2014-MC1
VAST Challenge
Mestway/JOS
JOS labs
Mestway/Patl4JUpdateSite
Patl4J update site.
Mestway/phytolith
Mestway/Queries
Synthesizing DBQueries from demonstration
Mestway/Scythe-Web
The web interface of Scythe
Mestway/snapl
Mestway/Undergraduate-Thesis
My undergraduate thesis..(But in Chinese)
Mestway/Vis-Redcliff-Battle
Visualization project of Battle of Redcliff in San Guo Yan Yi
Mestway/visualization-benchmarks
The project page for the falx project