I'm very happy to be one of the winners of the Huawei grant for portuguese students! Thank you Huawei and congratulations to the other winners!

It is only made possible with your encouragement and support, especially considering all the bumps it has gone through!! I am truly grateful to have such an amazing advisor in early career. You really deserve the recognition, and I wish the best for any of your future endeavor!

If you are at #FAccT2023, I will be presenting our work Co-Designing for Transparency: Lessons from building a Document Organization Tool in the Criminal Justice Domain where we reflect on a 14 months cross-disciplinary collaboration among computer scientists, journalists,& (1/3)

Very honored to receive this year’s SIGPLAN Doctoral Dissertation Award. Thank you @AntonyHosking Isil Dillig and the committee!!

Big update! I’ll be joining UC Berkeley as an Assistant Professor in January 2024! 🐻 Huge thanks to my wonderful advisors Zachary Tatlock and Luis Ceze and the many, many others who helped me throughout my PhD and postdoc ❤️

I'm on the job market! Interested in roles that combine design+engineering to create novel UX (industry research, R&D, frontend, postdoc). My PhD has focused on HCI for programming; also excited about AI-powered tools, end-user creation, complex data, human-AI interaction, etc.

Wee, my Strange Loop talk is out! If you're curious about what I've been up to for the last 2+ years at Berkeley—and how I think compilers can radically change how data journalists build interactive graphics—give it a watch!

Hey I'm on the academic job market. I build systems to make programmers smarter, informed by PL theory (to make correct & generalizable tools) and HCI theory (to make humanly-useful tools). Also, students say I'm "one of the best lecturers at Stanford."

Really, really excited to share a ✨ sneak preview ✨ of something I’ve been hard at work on this year. Introducing cartokit, a new direct manipulation programming environment for interactive cartography on the web. alpha.cartokit.dev

Do you use statically-typed functional programming languages like #haskell, #ocaml, #elmlang, or #fsharp? Do you have ~opinions~ about code style? Then I’d love to hear from you! 😄 Please consider filling out my survey by Nov. 6: berkeley.qualtrics.com/jfe/form/SV_0G… RTs appreciated! 😊❤️

Thank you all SO, SO MUCH for your engagement!!! I am so grateful to the amazing STFP community for the overwhelming number of responses to and further sharing of this survey <3 I'm so honored to have your help!

There's about a week left until the PLATEAU deadline—it's totally not too late to submit!! Why not write up a 4-page (or longer) paper about some PL+HCI stuff you'd like to discuss and get feedback on? 😊 We'd love for you to join the discussion happening at PLATEAU this year!

Here's a question about semiring provenance and derivation trees I've been wondering about lately! Anyone able to help out? 🙂 cstheory.stackexchange.com/q/53607

Hello, all!  Do you know Python?  Do you have 10 minutes to help us learn about programmers by participating in an online user study?  No scheduling required, just a quick programming activity at this link!  plait-lab.org/programming-in…

Guess who's about to become Rhode Island's #1 Rustacean and #2 document engineer (behind Andy van Dam, ofc). Catch me as an assistant prof at Brown CS in 2025!

Just landed in Copenhagen for PLDI! Excited to present our paper Stream Types, Wednesday afternoon in the Types session (15:00 in the Sweden room). Come if you want to hear a talk that has been described as “If Billy Mays sold type systems”

Do you use 📔 #Jupyter Notebooks for #Python? 🐍 If so, please consider signing up for my friend Eric Rawn's user study to help research on the present and future of computational notebooks! :D Info: github.com/erawn/pagebrea… Signup: forms.gle/m6H27Q7y6ivFVr… RTs appreciated ❤️

It was such a privilege (and so much dang fun!) getting to work on maps, graphics, data analysis, and cloud infra with the folks grist on this piece. Chuffed that we won this award and even happier that this amazing piece of reporting is getting the attention it deserves 🙌