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
bokep jilbab
Seen from Indonesia
좆밥
Seen from Korea
colouredpoes
Seen from South Africa
TND
Seen from United Kingdom
minichat()*********************************
Seen from Brazil
Sizetwitter
Seen from Germany
gay syrian
Seen from Malaysia
thickhoe
Seen from United Kingdom
มหาสารคาม
Seen from Thailand
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241.8M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.6M 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