Top Tweets for #DSSS17
DeepSpec Summer School 2017: a summary. ~ Jan Stolarek https://t.co/oFC350qcAw #Formal_verification #DSSS17
Interested in mechanized formal verification of software? Full #dsss17 videos & study materials are now online! https://t.co/qTBqZ65SzL
Me, during #dsss17: Idk why ppl think binding is so hard.
Me, looking at my old code: Man, I must've spent days debugging substitution... oh
"I proved this program the ancient Egyptian way: running it on one input. This is also the modern software engineering way.” Appel #dsss17
Proving the correctness of C programs with separation logic in coq #dsss17
Andrew Appel on problems with Hoare Logic and how it's been improved over the years #dsss17
@rahulmutt @chris__martin @kaftoot At the #dsss17 summer school, I��ve heard several professors use it with this meaning.
Zhong Shao: PL meets OS: The Good and the Bad
#dsss17
It looks like CPDT still have exercises after all. They’re just not in the book. https://t.co/d3e2revIGM
#dsss17
“Specifications are harder to get right in Coq than proofs. Coq will tell you when your proofs are wrong.” — Andrew Appel
#dsss17
I love the sound of typing keyboards in the back of the room in the afternoon. #dsss17
The formal verification of compilers
https://t.co/K6ut1laF91
https://t.co/X2ZcSvHXpd
Xavier Leroy - DeepSpec Summer School 2017
#dsss17
Steve Zdancewic shows how vellvm is implemented and formalized.
Last Seen Hashtags on Sotwe
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90.1M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.2M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers