🔥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

1/ Congratulations to Certora's former intern Ben Siraphob for winning in the SRC at SPLASH Conference #SPLASH2022 #SPLASH22! Ben, together with Oliver Flatt, vaibhav anumalla, and Chandrakana Nandi developed a mutation testing tool, Gambit, for improving formal specifications.

The EGRAPHS workshop will be taking place again at PLDI 2023 in Orlando! Start thinking about a talk that will generate great discussion about anything related to e-graphs! deadline: Apr 5 pldi23.sigplan.org/home/egraphs-2…

If you are an undergrad/grad student, please consider submitting your work to PLDI-SRC 2023!! CFP: pldi23.sigplan.org/track/pldi-202… This year, you can also nominate yourself as a reviewer/judge here: forms.gle/GwPsGEtcKMJGF2…

ASPLOS any news on ASPLOS24? specifically, whether it'll use roughly the same rolling deadline schedule as ASPLOS23? thanks!!

Have a cool use case for e-graphs or equality saturation? Want to discuss your next big idea with fellow egg-heads? Find deep connections with complementary techniques? EGRAPHS 2023 is for you! Get your proposals in; super stoked to see y'all at FCRC! pldi23.sigplan.org/home/egraphs-2…

Last call for PNW PLSE next Tue, May 9! Amazing schedule with tons of interesting folks. Come join us for a day of great talks, lively discussion, and catching up with old friends!! Schedule: sites.google.com/cs.washington.… Registration: docs.google.com/forms/d/e/1FAI…

Woohoo! Fun times!

uwplse.org/priya

Generate Compilers from Hardware Models! youtube.com/watch?v=IkdRtg… the video of my talk at the 2023 PL for Architecture workshop (PLDI /ISCA ) is up! thanks to my coauthors @ben_kushigian, Vishal Canumalla, Andrew Cheung, René Just, and Zachary Tatlock & the PLARCH organizers!

If you’re at SPLASH, come to my talk on Wednesday morning! I’ll be sharing our new DSL for rule inference- I’m really excited about this work and looking forward to hearing what people think of it 😁

Being done with grad admissions cycle is so satisfying that I almost want to restart it so I can feel the wave of relief again.