DeepSpec Project @deep_spec

deepspec.org Joined October 2015

Tweets

216
Followers

873
Following

0
Likes

10

The Rocq Prover @CoqLang

6 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

View Details

DeepSpec Project @deep_spec

6 years ago

@Linyxus00 postponed until 2021. :-(

0 0 0 0 0

View Details

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

View Details

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

View Details

DeepSpec Project @deep_spec

7 years ago

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

0 3 8 0 0

View Details

DeepSpec Project @deep_spec

7 years ago

cacm.acm.org/magazines/2019…

0 1 2 0 0

View Details

PurPL @purdue_pl

7 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" x.com/purdue_pl/stat…

PurPL @purdue_pl

7 years ago

Registration for PurPL Fest and Midwest PL Summit is open, come join us for an exciting program on Sept 23-24! Website now includes venue and hotel information. We have travel grants for students!

1 6 18 0 0

0 8 12 0 0

View Details

CertiK @CertiK

7 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 4 13 0 0

View Details

Massachusetts Institute of Technology (MIT) @MIT

7 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 48 0 3

View Details

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 4 13 0 0

View Details

Michael Greenberg @mgrnbrg

8 years ago

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

0 1 3 0 0

View Details

Joey Dodds @n1nj4

8 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 5 16 0 1

View Details

Strange Loop Conf @strangeloop_stl

8 years ago

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

0 8 21 0 1

View Details

David Thrane Christiansen @d_christiansen

8 years ago

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

0 6 34 0 0

View Details

J.T. Parker @JTParker09

8 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

View Details

Adrian Herrera @0xadr1an

8 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/