corpus.blog
41,554 blogs · 5,225,211 posts Claim your blog
Record · corpus.blog/posts/01a0f607-1491-725b-828d-65c9da4891ba

Program Synthesis in 2019

SIGPLAN Blog · published 31 July 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.sigplan.org Wayback capture
1blogs citing
First cited
13 Mar 2021
Most recent
13 Mar 2021
Rank this month
not ranked
External links
29
Words captured
1,289

Cited by

Blog
In the post
Date
people.csail.mit.edu
Commoditize the Complement of Your Research Read at the source ↗
13 Mar 2021

Links from this post

Link
Host
https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf
cs.umd.edu
http://ts.data61.csiro.au/publications/nicta_full_text/1852.pdf
ts.data61.csiro.au
https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-beringer.pdf
usenix.org
https://deepspec.org/main
deepspec.org
https://dl.acm.org/citation.cfm?id=362568
dl.acm.org
https://courses.cs.washington.edu/courses/cse501/15sp/papers/massalin.pdf
courses.cs.washington.edu
https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf
usenix.org
It’s Time for a Modern Synthesis Kernel Read at the source ↗
blog.regehr.org
https://dl.acm.org/citation.cfm?id=1168907
dl.acm.org
https://homes.cs.washington.edu/~bornholt/post/synthesis-explained.html
homes.cs.washington.edu
https://support.office.com/en-us/article/using-flash-fill-in-excel-3f9bcf1e-db93-4890-94a0-1578341f73f7
support.office.com
https://dl.acm.org/citation.cfm?doid=1926385.1926423
dl.acm.org
https://emina.github.io/rosette/
emina.github.io
https://mangpo.net/papers/chlorophyll-pldi14.pdf
mangpo.net
http://memsynth.uwplse.org/
memsynth.uwplse.org
https://homes.cs.washington.edu/~emina/doc/rulesy.vmcai18.pdf
homes.cs.washington.edu
https://dl.acm.org/citation.cfm?doid=2462156.2462180
dl.acm.org
https://alexpolozov.com/blog/program-synthesis-2018/
alexpolozov.com
https://arxiv.org/abs/1611.01989
arxiv.org
https://arxiv.org/abs/1410.4615
arxiv.org
https://arxiv.org/pdf/1804.00218.pdf
arxiv.org
https://mangpo.net/papers/swizzle-inventor-asplos19.pdf
mangpo.net
https://papers.nips.cc/paper/7845-learning-to-infer-graphics-programs-from-hand-drawn-images.pdf
papers.nips.cc
https://homes.cs.washington.edu/~cnandi/docs/icfp18-cr.pdf
homes.cs.washington.edu
https://homes.cs.washington.edu/~bornholt/papers/sympro-oopsla18.pdf
homes.cs.washington.edu
https://arxiv.org/abs/1703.05698
arxiv.org
https://mangpo.net/papers/lens-asplos16.pdf
mangpo.net
https://github.com/google/souper
github.com
https://homes.cs.washington.edu/~bornholt/
homes.cs.washington.edu