Meeting of May 31st - Githubissues

uwplse / syncro

Synthesis of Incremental Operations

2 stars 1 forks source link

Meeting of May 31st #2

Open Sumith1896 opened 7 years ago

Sumith1896 commented 7 years ago

Break commutativity in the grammar
Extract high level operations from the source code
Replace AST encoding with Bonsai trees
(fix general grammar) Benchmark general grammar with basic grammar and bonsai
SSA grammar design simplify
Other domains of incremental computations
Other gibbs sampling benchmarks