UW PLSE

We are the Programming Languages and Software Engineering group at the University of Washington (@uwcse)

[Zachary Tatlock @ztatlock]

Brett Saiki on our recent Herbie work with @pavpanchekha and team:
https://t.co/iKWaHSnYVY

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 @doescience for the support!

[Zachary Tatlock @ztatlock]

Fantastic event yesterday with wonderful friends! Many many thanks to @fakeagnu and James Yoo for the amazing leadership. Already excited for next year :D

(Rumor has it @BjornerNikolaj will be 2025 the selfie director and social media coordinator 📸)

https://t.co/Z4G5JtfzAx

[UW PLSE @uwplse]

PLSE PhD student Gus Smith spoke about his work on "FPGA Technology Mapping Using Sketch-Guided Program Synthesis", check out the paper here: https://t.co/iYXORGZVhK

[UW PLSE @uwplse]

Today's the day for PNW PLSE! Take a look at our schedule of talks here: https://t.co/MDDz8GP417!

[Zachary Tatlock @ztatlock]

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 :)

https://t.co/Z4G5JtfzAx

[Yihong Zhang @yihongz_bot]

Wondering what the solution to the following puzzle is? Check out my new post at UW PLSE's biweekly blog!
https://t.co/PbLaowz3gV

[UW PLSE @uwplse]

👀 Check out what @oflatt did with lab outreach for @uwcse's Computer Science Education Week! https://t.co/jPcpwvZrcS

[UW PLSE @uwplse]

It's been a while, but we're back! Check out our all-new blogs at https://t.co/lTsn7h7nMy!

[UW PLSE @uwplse]

We were delighted that @lorisdanto could "visit" us back in May to share an inspiring vision for Semantics Guided Synthesis.

Through the magic of Zoom, he visited UW without leaving the other UW.

Through the magic of Youtube, all can now enjoy the talk: https://t.co/OST9Zf1iXk

[UW PLSE @uwplse]

When UWPLSE says "More TBA" we mean it. Huge congratulations to @uwcse professor Emina Torlak, https://t.co/Udi47q85i9, who was just announced as the 2021 @sigplan Robin Milner Young Researcher Award winner, https://t.co/OnMv7fo6GT. Emina's award talk @pldi is now & in 12 hours

[UW PLSE @uwplse]

Yes, @uwplse is “out in force” @PLDI 2021!
* Pumpkin Pi https://t.co/6TK6U47njj
* Reticle https://t.co/Pg84TacV0I
* Both (!) SRC finalists https://t.co/Gck8uRPVbQ
* Tensor rewriting at MAPS https://t.co/Aw03bPzVhk
* PLMW Panel on Grad School https://t.co/fXbf4MWUV9
* More TBA :)

[Max Willsey @mwillsey]

Congrats to @realcalebwin and @yihongz_bot on a (very rare) 1st place tie at the #PLDI2021 Student Research Competition! I'm super lucky to work with both students, and it says a lot about how @uwplse attracts and supports such awesome undergrads!

[UW PLSE @uwplse]

Yes, @uwplse is “out in force” @PLDI 2021!
* Pumpkin Pi https://t.co/6TK6U47njj
* Reticle https://t.co/Pg84TacV0I
* Both (!) SRC finalists https://t.co/Gck8uRPVbQ
* Tensor rewriting at MAPS https://t.co/Aw03bPzVhk
* PLMW Panel on Grad School https://t.co/fXbf4MWUV9
* More TBA :)

[Max Willsey @mwillsey]

"egg: Fast and Extensible Equality Saturation" is a distinguished paper at @poplconf 2021! Thanks to all my awesome coauthors!

Fun fact: lowercase letters sort after uppercase, so we are at the end (egg is always lowercase)

https://t.co/UE1S5clHYi

[Allen School @uwcse]

Wood you like to read more about Carpentry Compiler, a collaboration between researchers in #UWAllen's GRAIL & @uwplse groups and Mechanical Engineering? 😉 Check out this article in @thedaily: https://t.co/3kJws5a19Z

[Talia Ringer 🕊🪬 @TaliaRinger]

I'm excited to share this post about the POPLmark Retrospective panel!

Have thoughts on how to design benchmark suites and evaluate programming languages tools and techniques? I'd love to hear them, either here or as comments on the blog post.

[UW PLSE @uwplse]

"QED at Large: A Survey of Engineering of Formally Verified Software" by @TaliaRinger, Karl Palmskog, @ilyasergey, Milos Gligoric, and @ztatlock is now available in FTPL. Free copies are available online until September 10th. Be sure to check it out! https://t.co/Lxt5qQ2ZgU

[Talia Ringer 🕊🪬 @TaliaRinger]

We are recruiting heroes to participate in a study of the development processes of proof engineers in Coq. This study will help inform the design of future proof automation tooling. More information is in the video description. Please spread the word!

https://t.co/4i0YEEZhvh

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

So excited that @dougwoos is joining us in the fall. Systems, formal methods, programming languages…my dream hire!
https://t.co/fo6oaDiWgq

[SIGARCH @sigarch]

In the final #asplos19 WACI talk, UW’s @mwillsey pitches mega-microfluidics: distributed systems of chemical experiment substrates, shared in the cloud.

[Alvin Cheung @alvinkcheung]

Congrats to Junwen, @congyan_2016, Chengcheng, and Shan from @UChicagoCS and @uwcse for winning a distinguished paper award @icse2019! Check out our tool for optimizing #BigData #webapp at https://t.co/z6EMRT5oDd