DeepSpec Project @deep_spec

deepspec.org Joined October 2015

Tweets

217
Followers

878
Following

0
Likes

10

The Rocq Prover @CoqLang

5 years ago

The REMS-@deep_spec workshop (part of @PLDI 2020) will be held online on June 15-16th: pldi20.sigplan.org/home/rems-deep… Registration is free but it closes on June 5th!

1 8 17 0 0

DeepSpec Project @deep_spec

6 years ago

The third DeepSpec Summer School on Verified Systems will be held in New Haven, CT from July 13 to 24, 2020, including an introductory Coq Intensive from July 13 to 15. deepspec.org/event/dsss20/

2 8 20 0 1

The REMS-DeepSpec Workshop provides a forum for researchers interested in foundational specifications and rigorous engineering of mainstream systems and their components. Deadline 19 Mar. pldi20.sigplan.org/home/rems-deep… (13/20)

1 3 3 0 0

DeepSpec Project @deep_spec

6 years ago

cacm.acm.org/magazines/2019… Congratulations to the CertiKOS team on a CACM Research Highlight!

0 3 8 0 0

DeepSpec Project @deep_spec

6 years ago

cacm.acm.org/magazines/2019…

0 1 2 0 0

PurPL @purdue_pl

6 years ago

Register now for PurPL Fest & Midwest PL Summit! Stephanie Weirich @fancytypes will give a keynote talk on "A Dependently-Typed Core Calculus for GHC"

PurPL @purdue_pl

6 years ago

Register now for PurPL Fest & Midwest PL Summit! Stephanie Weirich @fancytypes will give a keynote talk on "A Dependently-Typed Core Calculus for GHC"

1 6 18 0 0

Download Image

0 8 12 0 0

CertiK @CertiK

6 years ago

“CertiKOS demonstrates that it is feasible and practical to build verified software that additionally provides evidence — through machine-checkable mathematical proofs — that it is functionally correct.” #FormalVerification #Blockchain ➡️@Yale bit.ly/2JU0vK4

0 5 13 0 0

Massachusetts Institute of Technology (MIT) @MIT

6 years ago

Behind every web service is a programmer’s code. Computer scientist Adam Chlipala’s work is even further from view: He’s automating programming, eliminating “boring, repetitive work” and reducing the cost of secure, reliable systems. mitsha.re/eIld50vgrrq

0 20 50 0 3

Download Image

Nick Palladinos @NickPalladinos

7 years ago

Never Again: Spectre-Proofing Chip Designs with End-to-End Formal Methods - Adam Chlipala youtube.com/watch?v=uIbPt1…

0 5 13 0 0

Michael Greenberg @mgrnbrg

7 years ago

Pierre Wilke (with Yuting Wang and Zhong Shao) lists his considerable desiderata #POPL2019

0 1 3 0 0

Download Image

Joey Dodds @n1nj4

7 years ago

Every verification paper needs a discussion like this. It's important for tools and critical for verification efforts. There should be a massive project about writing clear and useful specifications... @deep_spec

1 4 16 0 1

Download Image

Strange Loop Conf @strangeloop_stl

7 years ago

"Vellvm - Verifying the LLVM" by Steve Zdancewic thestrangeloop.com/2018/vellvm---… #strangeloop2018

0 8 22 0 1

David Thrane Christiansen @d_christiansen

7 years ago

Yet another well-deserved award, to Adam Chlipala for PHOAS!

0 6 33 0 0

Download Image

J.T. Parker @JTParker09

7 years ago

@jacquesgt Maybe not me personally but I am following the work of @deep_spec They are doing a fabulous job at developing tools and protocols for secure software deepspec.org/page/About/

0 1 1 0 0

Adrian Herrera @0xadr1an

7 years ago

@johnregehr I also like Formal Reasoning about Programs ("FRAP") by Adam Chlipala, although I guess it's aimed more at verification adam.chlipala.net/frap/