Top Tweets for #RutgersCS
Meeting Ricardo Bianchini (former Rutgers CS colleague) at Microsoft Research today. #RutgersCS
Matan and Hari presenting the soundness specification of an abstract operator for the eBPF verifier at CAV 2023 #RutgersCS
Thanks Intel for supporting the RLIBM project with another unrestricted research gift. https://t.co/7BT0Alc431 #RutgersCS #RutgersSAS. Read about the RLIBM project here: https://t.co/iHGaT5KPDr
Thanks @NSF for funding our project (with colleague Mridul Aanjaneya) on solvers for low dimensional linear programs . These LLDP solvers are useful in a large number of domains apart from developing math libraries with the RLIBM approach. https://t.co/lwIuAzyo1E #RutgersCS
Congratulations to Sangeeta Chowdhary (@schowdhary02), 6th PhD student to graduate from group. #Rutgers #RutgersCS #RAPL Sangeeta is enjoying her post-phd life at AMD Research.
Rutgers CS is hiring multiple tenure track faculty in all areas of CS. https://t.co/sYGGkqCTJD @RutgersSASMPS #RutgersCS
My talk at the Papers We Love Conference 2022 on the RLIBM project. I summarize our key ideas from the RLIBM project (a synthesis of work that we have done int the last 5 years on this project) #RutgersCS #RutgersSAS https://t.co/v6b0RYGDzn
๐ฌ PWLConf 2022 Video:
A Case for Correctly Rounded Math Libraries by Santosh Nagarakatte
https://t.co/IkISgUACW3
#pwlconf #paperswelove #pwlconf2022 #integers #math
Thanks Intel for supporting our work on the RLIBM project with a research gift! #RutgersSAS #RutgersCS https://t.co/jT2jhpBFw7
Congratulations to Dr. Sangeeta Chowdhary on successfully defending her PhD dissertation today. Thanks the committee, Rich Martin, Sreepathi Pai, and Mridul Aanjaneya for their feedback. Sixth PhD graduate from my group! @schowdhary02 @SreepathiPai #RutgersCS #RutgersSAS
My PhD student Jay Limโs dissertation has been awarded the 2022 ACM SIGPLAN John C Reynoldsโs Outstanding Dissertation Award! Congratulations Jay! @sigplan @PLDI #RutgersCS
Hooded my fourth PhD student Jay Lim. Jay has done amazing work in the RLIBM project #RutgersCS @JayPLim1
ACM SIGPLAN blog post about our new result in the RLIBM project that was recognized with the POPL 2022 Distinguished Paper award https://t.co/FixdeBhCdT @sigplan @poplconf @RutgersSASMPS #RutgersCS
Rutgers CS invites applications for multiple positions in all areas of CS at all levels! Apply here: https://t.co/2TjxjCfUOM @RutgersSASMPS #RutgersCS
DIMACS @DIMACSCenter is delighted to announce that Dr. David Pennock @pennockd will become the next Director of DIMACS, starting in January of 2020. https://t.co/yFSU5vmKh6
My student Adarsh Yoga successfully defended his PhD dissertation. He has done some impressive work on profiling parallel programs. Congratulations Dr. Adarsh Yoga! His PhD dissertation is available here: https://t.co/lgK7tLGIDX @adarsh_yoga #RutgersCS #rapl
Thanks @NSF for funding our project "FMitF: Track II: Automated Verification for Assembly Implementations of Cryptography Libraries". #RutgersCS #rapl
https://t.co/cfYnABOHU7
Mentors @augchang & @SarAnnWrap3 met their mentees for the first time tonight! If you've gotten together too, tweet us a picture! #rutgersCS
Last Seen Hashtags on Sotwe
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
119M followers
Cristiano Ronaldo
@cristiano
114.4M 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
90M followers
Taylor Swift
@taylorswift13
83.9M followers
Lady Gaga
@ladygaga
75.4M followers
Virat Kohli
@imvkohli
73.3M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.3M followers
Bill Gates
@billgates
65.1M followers
Selena Gomez
@selenagomez
63M followers
The Ellen Show
@theellenshow
62.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers