#UWAllen is hiring! Join our outstanding scholarly community at University of Washington shaping the future of computing—and having fun while doing it! Priority will be given to faculty applications received by Nov. 13 (teaching track) & Nov. 15 (tenure track). Please share! cs.washington.edu/faculty_candid…

Supercharging Formal with E-Graphs. Get a sneak preview of how my student Sam Coward (jointly advised by Theo Drane from Intel ) has helped speed up hardware formal verification of datapath designs! constantinides.net/2023/10/20/sup…

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 😁

egglog has its first release! crates.io/crates/egglog Egglog is a language that combines the power of egraphs and datalog, and it's ready to use! It's the culmination of a long line of egraph research across institutions and industry. I'm super excited to release it.

I am down one arm for a couple weeks. Recs on how to email etc by text to speech?

👀 Check out what Oliver Flatt did with lab outreach for Allen School's Computer Science Education Week! uwplse.org/2024/01/22/Dra…

The EGRAPHS Community is full steam ahead! Check out the upcoming events/talks: - 3/21: Lightning talks from the community - 4/5: Deadline to submit to EGRAPHS Workshop PLDI! Only 2-6pgs! - 5/16: Andy Reynolds on equality reasoning in CVC5 All links at egraphs.org!

Join the EGRAPHS Community Meeting next week to learn about an EqSat-based tensor compiler: Amir Shaikhha will be presenting "∇SD: Differentiable Programming for Sparse Tensors" on Thu 4/18, 9am PT! egraphs.org/meeting/2024-0… PS: EGRAPHS workshop deadline *this* Friday 4/12 AoE!

Interested in hanging out with a bunch of fantastic SE and PL folks across the PNW for a day? Join us for PNW PLSE 2024 on May 7th! We'll have a mix of posters, lightning talks, and longer talks with plenty of "hallway track" so everyone can catch up :) pnwplse.org

Two papers I’m involved in are selected for MIT PL Review 2024 plr.csail.mit.edu ! • Better Together: Unifying Datalog and EqSat, by the egglog team • Efficient Bottom-Up Synthesis for Programs with Local Variables, collab work with Xinyu Wang ‘s gang: Xiang, Xiangyu, Rui

Fantastic event yesterday with wonderful friends! Many many thanks to anjali and James Yoo for the amazing leadership. Already excited for next year :D (Rumor has it Nikolaj Bjorner will be 2025 the selfie director and social media coordinator 📸) pnwplse.org

Brett Saiki on our recent Herbie work with Pavel Panchekha and team: uwplse.org/2024/05/09/Her… We're rethinking Herbie to be target-platform-aware; i.e., for accuracy-aware codegen. Brett also overviews of Herbie's architecture and history. Thanks to DOE Office of Science for the support!

Ran my favorite half today: DRUMHELLER 2024! Dizzyingly good. More aid stations than any other race. raceconditionrunning.com/drumheller-mar… Many thanks to everyone who made it such a fantastic event, especially Nick!

Don't miss FPTalks 2024! Join us on July 11th for great talks on floating-point research. There's something for everybody: numerical representations, error analysis, verification, and hardware design! Register at: fpbench.org/talks/

Thursday is FPTalks 2024, the annual workshop on numerics. This year we have some exciting talks on quantization as well as great talks on bread and butter topics like verification, hardware, tools, and applications. There's still time to register: fpbench.org/talks/

@ super cool UW PLSE lunch with Laura Kovacs and Avery Laird, visiting Zach and group Delicious thai food so Zach didnt have to arrive running with pizza this time.

TheForkJoin is back for season 2!!! Join me and @notypes as we chat with new faculty in programming languages in systems, taking questions from the audience and generally having a great time. First up: Will Crichton *Sep 7 at 10am PT*! Schedule: theforkjoin.com

Want to catch up with SE and PL researchers across the Pacific Northwest? Have a cool project to share? The PNW PLSE 2025 is happening on May 7th, at the Uber Engineering Office in Seattle downtown, and you can sign up at pnwplse.org!

If you’re planning to attend PLDI 2025 in Seoul, please book your room via the SIGPLAN room block link ASAP! marriott.com/event-reservat… Super stoked to see folks in a month :D

Dave Patterson’s op-ed is a great overview on how taxpayer-funded research built the backbone of modern tech: RISC, RAID, cloud, ... the list goes on. Encourage your representatives to fully fund the NSF and CISE! thehill.com/opinion/techno…