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


















