corpus.blog
43,884 blogs · 5,580,801 posts Claim your blog
Record · corpus.blog/posts/01a0f595-047c-71bc-b25f-30db80068379

Increasing the Impact of PL Research

SIGPLAN Blog · published 29 July 2020

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
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
34
Words captured
2,455

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
rust
rust-lang.org
TypeScript
typescriptlang.org
https://webassembly.org/
webassembly.org
https://dl.acm.org/doi/abs/10.1145/3386320
dl.acm.org
https://www.tensorflow.org/
tensorflow.org
https://pytorch.org/
pytorch.org
https://julialang.org/
julialang.org
https://amturing.acm.org/bysubject.cfm
amturing.acm.org
https://www.csail.mit.edu/research/center-deployable-machine-learning-cdml
csail.mit.edu
https://arxiv.org/pdf/1903.10541.pdf
arxiv.org
http://csrankings.org/
csrankings.org
https://dl.acm.org/doi/proceedings/10.1145/512927
dl.acm.org
https://dl.acm.org/doi/abs/10.1145/512927.512941
dl.acm.org
https://dl.acm.org/doi/10.1145/1250734.1250739
dl.acm.org
https://sri-csl.github.io/VSTTE20/slides/isil-dillig.pdf
sri-csl.github.io
https://dl.acm.org/doi/10.1145/2535838.2535851
dl.acm.org
http://www.pl-enthusiast.net/2019/02/04/what-is-pl-research-the-talk/
pl-enthusiast.net
https://www.sigplan.org/Conferences/PLMW/
sigplan.org
https://www.cs.uoregon.edu/research/summerschool/summer20/
cs.uoregon.edu
http://www.pl-enthusiast.net/2018/07/24/teaching-programming-languages/
pl-enthusiast.net
https://penrose.ink/
penrose.ink
http://www.pl-enthusiast.net/2020/07/29/increasing-the-impact-of-pl-research/
pl-enthusiast.net
https://penrose.ink/siggraph20.html
penrose.ink
https://www.darpa.mil/program/clean-slate-design-of-resilient-adaptive-secure-hosts
darpa.mil
https://breakingdefense.com/2012/12/darpa-crash-program-seeks-to-reinvent-computers-for-better-secur/
breakingdefense.com
http://www.neurosymbolic.org
neurosymbolic.org
http://nscv.csail.mit.edu/
nscv.csail.mit.edu
https://youtu.be/25RhyyOg5Pg
youtu.be
https://project-everest.github.io/
project-everest.github.io
https://www.microsoft.com/en-us/research/project/ironclad/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fprojects%2Fironclad%2F
microsoft.com
https://www.fstar-lang.org/
fstar-lang.org
http://david.darais.com/
david.darais.com
https://www.cs.umd.edu/~mwh/
cs.umd.edu
https://distill.pub/
distill.pub
Elsewhere on blog.sigplan.org (1)