Top Tweets for #PLDI2019
3) At #PLDI2019, Greg gave an interesting new algorithm for the robustness verification of NNs. The algorithm was the first to complement gradient-based search for adversarial examples with abstraction-based search for proofs of robustness. https://t.co/PWMuZ8jz3s (4/4)
My PhD student Sangeeta Chowdhary presenting her work on Posits at PLDI SRC #pldi2019
Phil Nguyen giving a great talk on our paper "Size-Change Termination as a Contract" w/ @samth @lambda_calculus #pldi2019
Come see my student @takhandipu’s talk on detecting and eliminating false sharing today in the first morning session at PLDI’19 #pldi2019
@mvechev Prof. Martin Vechev wins this year’s #ACM #SIGPLAN Robin Milner Young Researcher Award for his contributions in #programminglanguages: Congratulations! #pldi2019 @ETH_en @TheOfficialACM
Attend my student Adarsh Yoga’s talk on TaskProf ( a parallelism profiler and an adviser) tomorrow in the first session at PLDI #pldi2019
Really excellent @TheOfficialACM #TuringAward lectures from giants in the field. Not so sure about “nail in coffin of symbolic #AI”. #SATSolvers like #Z3 already superhuman. Loving #PLDI2019 #FCRC2019. I’m at the @MSFTResearch table. #programming languages #ArtificialIntelligence
I am at #PLDI2019 till Wednesday afternoon. If you want to chat about life after PhD and what is it like to do research/engineering at Facebook, send me a DM or say hi!
As a member of the @compcomcon, I’m also chairing the #IndustryWorkingGroup & we’ve written a white paper on the increasing trend in faculty joint appointments with companies. Catch me at #PLDI2019 / #FCRC2019 in #Phoenix to discuss https://t.co/sZtaxxj7g1
I'll be at #PLDI2019 / #FCRC this week in #Phoenix and am happy to discuss exciting #programminglanguages #CSResearch #SoftwareEngineering #PLML going on at @MSFTResearch /@RiSE_MSR group. See me at the @Microsoft table Tuesday 3:30-4pm for #ExceLint, #PROSE demos, etc. 1/
We're excited and honored to have Anshu Dubey from Argonne National Laboratory delivering the keynote talk at CHIUW 2019 (at PLDI / FCRC), entitled "Programming Abstractions for Orchestration of HPC Scientific Computing." Join us!
For details, see: https://t.co/pG9s1mVHkm
Excited about attending FCRC at Phoenix. Attend our talk at PLDI 2019 on Tuesday morning. See our profiler with what-if analyses and differential analyses. #pldi2019
https://t.co/ojG5Pu2bjY
https://t.co/ulqaaDdN7H
Really looking forward to #PLDI2019 and #FCRC2019 next week! Lots of @MSFTResearch and @RiSE_MSR involvement - check it out here https://t.co/BmMssrj5KY I'm particularly looking forward to participating in the #PLMW mentoring workshop on Sunday. #progrmaminglanguages
Last Seen Hashtags on Sotwe
sucasasundays
Seen from United States
freeuse
Seen from United States
GyeonPrimeQ2
Seen from United States
beuretteakhel
Seen from Belgium
ome() filter:media
Seen from Germany
kayserieskort
Seen from Turkey
goonette
Seen from United Kingdom
FC2コンテンツマーケット
Seen from Spain
teenager()*****************
Seen from France
Fan
Seen from Brazil
Most Popular Users
Elon Musk 
@elonmusk
240.7M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.8M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.7M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
90.9M followers
KATY PERRY
@katyperry
87.8M followers
Taylor Swift
@taylorswift13
81.6M followers
Lady Gaga
@ladygaga
73.1M followers
Virat Kohli
@imvkohli
70M followers
Kim Kardashian
@kimkardashian
69.8M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
63.9M followers
Neymar Jr
@neymarjr
62.8M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.9M followers
Selena Gomez
@selenagomez
60.9M followers
X
@x
60.8M followers