miniblog.

Mar 25, 2019 at 22:26

Really impressive result: using generative adverserial networks to increase the resolution of videos! Abstract: https://ge.in.tum.de/publications/2019-tecogan-chu/ Video: https://www.youtube.com/watch?v=pZXFXtfd-Ak

Nov 23, 2021 at 02:56

The gopher logo for Go gets reused in so many project logos. It's a really fun community trend that I haven't seen for PLs with more abstract logos.

Jul 7, 2020 at 07:45

I keep thinking about the parallels between type checkers and abstract interpretation. E.g. abstract interpretation saying "this is one of two values, but I don't know which" feels very much like type checking a boolean. Have any tools taken advantage of this?

Jan 20, 2020 at 14:19

Day 1 at @poplconf had a bunch of interesting talks at VMCAI (Verification, Model Checking, and Abstract Interpretation). https://popl20.sigplan.org/home/VMCAI-2020 Thread.

VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation - POPL 2020

Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series. Proceedings https://link.springer.com/book/10.1007/978-3-030-39322-9 Invited Speakers We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...

Related Posts