Eva Darulova
@malyzajko.bsky.social
📤 338
📥 99
📝 2
Assoc. prof. at Uppsala University, working in programming languages and verification
reposted by
Eva Darulova
Armin Biere
11 months ago
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...
loading . . .
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...
https://uni-freiburg.de/en/job/00004237/
0
6
6
📣 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
11 months ago
0
10
3
reposted by
Eva Darulova
Jonathan Aldrich
about 1 year ago
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-...
loading . . .
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...
https://2025.ecoop.org/track/ecoop-2025-technical-papers
1
16
11
reposted by
Eva Darulova
about 1 year ago
CAV (International Conference on Computer Aided Verification) is now also on Bluesky! Please follow
@confcav.bsky.social
and help us spread the word.
0
16
8
reposted by
Eva Darulova
a ton of crates
about 1 year ago
my take on bringing HCI to PL
blog.sigplan.org/2024/11/21/e...
loading . . .
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…
https://blog.sigplan.org/2024/11/21/evaluating-human-factors-beyond-lines-of-code/
2
66
34
reposted by
Eva Darulova
Dr. Casey Fiesler
about 1 year ago
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...
loading . . .
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…
https://medium.com/csforall-stories/tech-barbies-backstory-how-she-went-from-math-is-hard-to-robotics-engineer-63d22437df5d
4
114
22
reposted by
Eva Darulova
Isil Dillig
about 1 year ago
Here is my starter pack of PL folks -- please come and join the fun!
go.bsky.app/6kzdn3x
add a skeleton here at some point
4
72
40
you reached the end!!
feeds!
log in