Eva Darulova
@malyzajko
Followers
177
Following
65
Media
1
Statuses
30
Assoc. prof. at Uppsala University. Programming languages, verification, approximate computing, finite-precision. Also @[email protected]
Uppsala
Joined October 2015
Happy to share that my project "Holistic Rigorous Numerical Verification" has been selected for an @ERC_Research Starting grant! 😀.More cool work on finite precision is to come. #ERCStG.
📣 The latest ERC Starting Grant competition results are out! 📣. 494 bright minds awarded €780 million to fund research ideas at the frontiers of science. Find out who, where & why 👉 🇪🇺 #EUfunded #FrontierResearch #ERCStG @HorizonEU @EUScienceInnov
8
0
35
Proud advisor moment: my PhD student @DebasmitaLohar has just defended her thesis with flying colors! 🎉.
3
0
23
📢 Looking for a PhD student to work with me on verifying real-world numerical programs! .Pls share if you know someone who may be interested. Message me to know more about the position or living in Sweden (it's great)!.Deadline to apply 26 April:
0
6
11
RT @issta_conf: 📢 Call for student volunteers @ ISSTA/ECOOP 2024. You are a student and eager to meet new people, help the community and at….
0
3
0
Open PhD position: CIM (Centre for Interdisciplinary Mathematics) has open PhD positions; I will be a co-advisor on project #8 (mixed-precision in HPC: . Application deadline is 22 March 2024!.
1
3
5
RT @heathercmiller: I'm just going to post this, because @TitzerBL hasn't and should. @TitzerBL (and I, but more Ben) are looking for….
0
34
0
RT @symposiumSAS: The last talk of the session is given by Rosa Abbasi Boroujeni, with Modular Optimization-Based Roundoff Error Analysis o….
0
2
0
RT @izycheva: If you missed the talk but want to learn about scalable rounding error analysis on loops over data structures, please find me….
0
3
0
Proud (co-)advisor moment: Anastasia (@izycheva) just presented the last work of her PhD, and nailed it!.
Anastasia Isychev is concluding the session with Scaling up Roundoff Analysis of Functional Data Structure Programs
0
0
7
Proud advisor moment: @DebasmitaLohar is presenting the last conference paper of her PhD at EMSOFT. Well done! Also check out the paper:
0
1
22
Open PhD position in PL (lots of type opportunities) with Tobias Wrigstad at Uppsala University:
0
4
7
Check out this great work by my student @DebasmitaLohar.
Deploying neural networks on resource-constrained hardware? Do bounds on roundoff errors still hold?.Check out our #EMSOFT2023 work on generating sound mixed fixed-point implementations! .Joint work with C. Jeangoudoux, A. Volkova, and @malyzajko.Preprint👉🏼
0
0
5
RT @AndrewCMyers: The state of computer security is like having all of our buildings made of wood but we're celebrating arsonists. https://….
0
10
0
RT @gconstantinides: Please spread the word! I’m recruiting for two fully-funded PhD students sponsored by @AMD (home or OS). Will pay both….
0
18
0
RT @LambdaDays: .@malyzajko gave an amazing talk at #LambdaDays 2022 where she gave an overview of her recent research results for formal v….
0
1
0
RT @mchri5taki5: I'm hiring PhD students and postdocs in Vienna! If you are interested in program analysis and bug finding, please apply!….
0
33
0
RT @izycheva: Visa Gods didn't let me present my work on floating-point loop invariant synthesis @ SAS in person, but YouTube has everythin….
0
2
0
RT @FormalMtds: 🚨Doctoral Symposium @ FM 2023. The symposium provides a venue for PhD students to present their work & get feedback. Submi….
0
5
0
RT @vwuestholz: Interested in doing a postdoc on program analysis and software engineering? Consider applying to Maria Christakis' group at….
0
1
0