🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Thank you Vivek Sarkar for everything. May you have a happy, healthy, long and productive life ahead and may it be continue to inspire many generations ahead. Thank you Raj Barik and Jens Palsberg for organizing VivekFest as part of SPLASH Conference.

The Programming Languages Mentoring Workshop workshop going strong. SPLASH Conference is also about community building!

I gave a keynote at IWACO, "Explaining and Visualizing Rust's Ownership Model". I do a deep dive into how we designed and iterated on the borrow checker visualization. youtube.com/live/qOb2OYima…

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 recruiting for our CTO infra & security research team: full time, consulting, internships. I love meeting new creative people! Don’t be shy & hit me up!

My talk on finding security vulnerabilities by combining classical symbolic reasoners with modern-day LLMs: Recording: youtube.com/live/yOzqdhYou… Slides: docs.google.com/presentation/d… I gave this talk yesterday at the 2024 Static Analysis Symposium in Pasadena, California. Finding

Todd Millstein from UCLA is kicking off SPLASH Conference #oopsla “Everything is a program”

I'll be recruiting PhD students this cycle! If you're interested in working on program synthesis, type systems, program analysis, and in general ways to make programming better, please reach out. Here some things we are working on: ku-progsys.github.io RTs appreciated 🙏

Armando is an incredible role model as a researcher and as a person in general . I can't really think of anyone deserving this award more

Thank you SPLASH Conference community for an amazing SPLASH 2024!

Shashin Halalingiah gave a cool talk at OOPSLA 2024 on "The ART of sharing points-to Analysis". Read the full paper here: cse.iitm.ac.in/~krishna/prepr… Had a great time with the current and ex members of PACE Lab, IIT Madras , IIT Madras at SPLASH 2024. #SPLASH2024.

Thanks everyone for attending SPLASH Conference! I had a blast and hope you did too

What an amazing keynote we heard by Neha! The scale of their applications of formal methods is just astounding. SPLASH Conference

The @sigplan Robin Milner Young Research Award goes to Armando Solar-Lezama for his work on program synthesis.

Distinguish Artifacts and Distinguish Artifacts Reviewers at OOPSLA

So glad my whole group could make it to attend SPLASH Conference!

SPLASH and ICFP will be co-located in 2025! 📆 Mark your calendars: the ICFP'25 submission deadline will be Feb 27, 2025 icfp25.sigplan.org/track/icfp-202…

SoCal Programming Languages and Systems is back and will be UCSD CSE in February! Submit your abstracts! socalpls.github.io Ranjit Jhala Manu Sridharan Retweets appreciated!

Are you interested in programming 💻 languages 🗣️research? Do you like reading cool short student papers? Then you could become part of the PC of the PLDI 25 student research competition!!!! Here is the self nomination form with more information: docs.google.com/forms/d/e/1FAI…