Eva Darulova
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
Our department in lovely Freiburg has an opening for a Full Professorship (W3) on Software Engineering (succession of Andreas Podelski) with a more technical and formal focus uni-freiburg.de/en/job/00004...
University of FreiburgText icon 'Universität Freiburg'Seal element of the university of freiburg in the shape of a flowerSearch iconMenu iconText icon 'Universität Freiburg'Search iconMenu iconhomehom...
uni-freiburg.de
📣 I have open PhD and postdoc positions in "Practically Usable Verification for Numerical Programs", located in Uppsala, Sweden. Deadline to apply: 22 April. Start date is flexible. Find the links to ad and application portals on my website: malyzajko.github.io
Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE: 2025.ecoop.org/track/ecoop-...
ECOOP 2025 - Technical Papers - ECOOP 2025
ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to pro...
2025.ecoop.org
CAV (International Conference on Computer Aided Verification) is now also on Bluesky! Please follow @confcav.bsky.social and help us spread the word.
my take on bringing HCI to PL blog.sigplan.org/2024/11/21/e...
Evaluating Human Factors Beyond Lines of Code
Software systems researchers want to make human-centered claims, but don’t have the proper tools to do so. That’s how we ended up with the ubiquitous lines-of-code comparison found in e…
blog.sigplan.org
It's the 10 year anniversary of one of the coolest things I've ever done on the Internet: My feminist remix of Mattel's absurdly sexist Computer Engineer Barbie book. A thing I did to procrastinate from writing my dissertation but then resulted in me consulting for Mattel. medium.com/csforall-sto...
Tech Barbie’s Backstory: How she went from “math is hard” to robotics engineer
Learning to code can be an exciting journey, but having to overcome stereotypes along the way makes it a more difficult one. Girls deal…
medium.com
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x