Manu Sridharan
@rakingleaves
Followers
2K
Following
12K
Statuses
3K
Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS BSky: @manu.sridharan.net
Riverside, CA
Joined February 2009
For SPLASH’24 attendees I thought I’d write up some personal vegan / vegetarian recommendations for the Pasadena area (in thread) 1/n @splashcon #SPLASH24 #SPLASH2024
1
1
23
RT @PLDI: Are you interested in programming 💻 languages 🗣️research? Do you like reading cool short student papers? Then you could become…
0
10
0
RT @lorisdanto: SoCal Programming Languages and Systems is back and will be @ucsd_cse in February! Submit your abstracts!
0
9
0
RT @splashcon: SPLASH and ICFP will be co-located in 2025! 📆 Mark your calendars: the ICFP'25 submission deadline will be Feb 27, 2025 ht…
0
12
0
RT @splashcon: The @sigplan Robin Milner Young Research Award goes to Armando Solar-Lezama for his work on program synthesis. https://t.co/…
0
15
0
What an amazing keynote we heard by @neharungta! The scale of their applications of formal methods is just astounding. @splashcon
0
4
23
RT @lorisdanto: Armando is an incredible role model as a researcher and as a person in general . I can't really think of anyone deserving t…
0
7
0
RT @ngsankha: I'll be recruiting PhD students this cycle! If you're interested in working on program synthesis, type systems, program analy…
0
45
0
RT @nvkrishna77: Shashin Halalingiah gave a cool talk at OOPSLA 2024 on "The ART of sharing points-to Analysis". Read the full paper here:…
0
1
0
RT @AI4Code: My talk on finding security vulnerabilities by combining classical symbolic reasoners with modern-day LLMs: Recording: https:…
0
33
0
RT @jvanegue: On my way to Pasadena for OOPSLA. Come check me out tomorrow at 2:40 to hear about non-termination proving at scale. I am r…
0
6
0
0
3
0
RT @AlexP_DownUnder: Six amazing talks at @splashcon Doctoral Symposium today on record and replay, logics, flow and access in Rust, fuzzin…
0
2
0
RT @tonofcrates: I gave a keynote at IWACO, "Explaining and Visualizing Rust's Ownership Model". I do a deep dive into how we designed and…
0
49
0
0
1
0