Jian Gu

Synthesis of Loop-free Programs (which is more general paper on program synthesis) https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/pldi11-loopfree-synthesis.pdf Program Synthesis (survey paper summarizing the state of the art for program synthesis) https://www.microsoft.com/en-us/research/wp-content/uploads/2017/10/program_synthesis_now.pdf

Wasmer: _a standalone WebAssembly runtime, for running WebAssembly outside of the Browser_ https://github.com/wasmerio/wasmer

Lucet _(the Sandboxing WebAssembly Compiler)_ _Lucet is a native WebAssembly compiler and runtime. It is designed to safely execute untrusted WebAssembly programs inside your application._ https://github.com/bytecodealliance/lucet

[twiggy](https://rustwasm.github.io/twiggy/) > Twiggy is a code size profiler for Wasm. It analyzes a binary's call graph to answer questions like: > - Why was this function included in the binary...

I found homeworks of ETHZ's Advanced Compiler Design course are helpful. I will start from there.

> > I found homeworks of ETHZ's Advanced Compiler Design course are helpful. I will start from there. > > Add the link :) [hw0.pdf](https://ethz.ch/content/dam/ethz/special-interest/infk/inst-cs/lst-dam/documents/Education/Classes/Spring2016/2810_Advanced_Compiler_Design/Homework/hw0.pdf) [hw1.pdf](https://ethz.ch/content/dam/ethz/special-interest/infk/inst-cs/lst-dam/documents/Education/Classes/Spring2016/2810_Advanced_Compiler_Design/Homework/hw1.pdf) [hw2.pdf](https://ethz.ch/content/dam/ethz/special-interest/infk/inst-cs/lst-dam/documents/Education/Classes/Spring2016/2810_Advanced_Compiler_Design/Homework/hw2.pdf) [slides_hw0.pdf](https://ethz.ch/content/dam/ethz/special-interest/infk/inst-cs/lst-dam/documents/Education/Classes/Spring2016/2810_Advanced_Compiler_Design/Homework/slides_hw0.pdf) [slides_hw1.pdf](https://ethz.ch/content/dam/ethz/special-interest/infk/inst-cs/lst-dam/documents/Education/Classes/Spring2016/2810_Advanced_Compiler_Design/Homework/slides_hw1.pdf) [slides_hw2.pdf](https://ethz.ch/content/dam/ethz/special-interest/infk/inst-cs/lst-dam/documents/Education/Classes/Spring2016/2810_Advanced_Compiler_Design/Homework/slides_hw2.pdf)...

I have learned these ideas, but the course code seems not so close to our aim ([semifinished repo](https://github.com/jianguda/acd)). Hey @Jacarte, is it better for us to hack [this repo](https://github.com/LLVM-but-worse/maple-ir)? My...

Hey @satabin We feel your plan is very great! We are checking [maple-ir](https://github.com/LLVM-but-worse/maple-ir) because it may help our work. Does it help the CFG framwork? WDYT?