I'd like to promote and highly recommend a workshop in complexity theory for graduate students which will be held at DIMACS and organized by Lijie Chen , Roei Tell, and Ryan Williams @[email protected] . More details can be found here: dimacs.rutgers.edu/events/details…
Deadline to apply: May 19

What a fun afternoon 👏. Big thanks to all the students, staff, and faculty who made our annual picnic a blast! 🌞 Your energy and enthusiasm made it a memorable day. Looking forward to more fun times ahead!

#rutgers   #goodbyeseniors   #rutgers computerscience

New faculty (or faculty to be): Please consider registering for our new faculty mentoring workshop at PLDI. We'll have invited talks from Isil Dillig, Nate Foster (@[email protected]), Ranjit Jhala, and Peter Müller, as well as multiple panel sessions and one-on-one mentoring. It's gonna be fun!

The list of accepted papers is now on our website: pldi24.sigplan.org/track/pldi-202…

Join us on the Busch Campus at table #173 for the ultimate celebration of everything Rutgers! We will have fun swag, trivia, mini tours of our CAVE space and our CS Clubs will be there too. You don’t want to miss it! #rutgersday

Our patch to the Linux kernel (bpf_next) to fix latent unsoundness in the ebpf abstract operator for and/or functions. Joint work with students Hari and Matan and colleague Srinivas Narayana lore.kernel.org/bpf/2024032903…

We are exited to be part of the next chapter in your academic journey! #computersciencephd #rutgersuniversity

Today, we welcome Perspective PhD Candidates! 👏👏 We look forward to getting to know you! #computerscience #phdprograms #rutgersuniversity

Hi Everyone

NYU is hosting the next iteration of the New Jersey PL and Systems Seminar on May 10 in NYC. Here's a link to the details. njpls.org/may2024.html

Participant registration deadline is May 6.
Talk proposals are due by April 10.

@AnthonyLeeZhang Literally the default advice I give all my students.
parentheticallyspeaking.org/articles/us-cs…

Excited about my upcoming sabbatical from July 1st. Visiting India in July and August. Will be in Bangalore for some time. Thinking about places to visit. Shriram Krishnamurthi 🟤 🏴‍☠️ 👨🏽‍🏫 🚴‍♂️ 🏏 do you have any suggestions?