Anastasia Isychev

399 posts

Anastasia Isychev

@izycheva

postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)

Vienna, Austria Katılım Kasım 2020

117 Takip Edilen380 Takipçiler

Sabitlenmiş Tweet

Anastasia Isychev@izycheva·13 Oca

Next time I answer the question “which underrepresented group you identify with?” I’m gonna put “formal methods community” right next to “women in CS”

Lindsey@lindsey

Still true in 2021. Our CSE Ph.D. application deadline was yesterday, and 76% of applicants have one of {AI, ML, CV, NLP} listed as their #1 research interest. Distributed systems, PL, and logic and verification are 3% *combined*.

English

Anastasia Isychev@izycheva·14 Kas

Decided to join the mass migration, so here's my BlueSky account: bsky.app/profile/isyche… :)

English

375

Anastasia Isychev@izycheva·29 Eki

@ilyasergey I’ll be applying

English

412

Ilya Sergey@ilyasergey·28 Eki

Who is on the faculty job marked in PL this year?

English

5.4K

Anastasia Isychev@izycheva·22 Eki

If you’re @ASE_conf next week, stop by for our talks: 🔷Oct 29 16:50 Solidity fuzzers benchmarking 🔷Oct 31 11:00 testing program analyzers x2

Maria Christakis@mchri5taki5

📢3 papers accepted @ASE_conf on testing program analyzers and benchmarking Solidity fuzzers! 👉mariachris.github.io/Pubs/ASE-2024-… 👉mariachris.github.io/Pubs/ASE-2024-… 👉mariachris.github.io/Pubs/ASE-2024-…

English

1.4K

Anastasia Isychev retweetledi

ISSTA Conference@issta_conf·23 Eyl

Shoutout to our amazing team of volunteers who, guided by @malyzajko, worked tirelessly for the smooth sailing of #ISSTA24 and #ECOOP24 🫶

English

1.7K

Anastasia Isychev retweetledi

Maria Christakis@mchri5taki5·20 Eyl

Thank you @izycheva for doing so much more than being a publicity chair! And especially for designing the beautiful conference logos!

ISSTA Conference@issta_conf

Thank you all for joining #ISSTA24 and making it a success! 🎉 Special thanks to the general chair @mchri5taki5 without whom #ISSTA24 (literally) would not have happened ✨ yours truly, @izycheva, publicity chair of #ISSTA24👋 @yannicnoller, tag, you're it!

English

1.5K

Anastasia Isychev retweetledi

Valentin Wüstholz@vwuestholz·19 Eyl

This is the first result of a collaborative effort between @ConsensysAudits, @LineaBuild, and @tu_wien to catch critical bugs in ZK infrastructure! @izycheva @hochra1ner @mchri5taki5

English

674

Anastasia Isychev@izycheva·18 Eyl

@schowdhary02 @AndreasZeller @issta_conf it’s “devil’s advice” aka things NOT to do during your PhD (or in general really). So yes, the message is: rest, otherwise you cannot possibly be creative and productive

English

Sangeeta Chowdhary@schowdhary02·18 Eyl

@izycheva @AndreasZeller @issta_conf That is such bad advice if it is not a joke. I had real episodes of health issues because I wasn’t sleeping much during my PhD. It took me multiple years to recover after my PhD, and I am still recovering. PhD students should be advised to prioritize health and well-being.

English

203

Anastasia Isychev@izycheva·17 Eyl

Getting some quality “devil’s advice” for research from @AndreasZeller @issta_conf

English

Anastasia Isychev@izycheva·17 Eyl

A dog did not get an award @ECOOPconf but it sure did steal the show 😁

English

14K

Anastasia Isychev retweetledi

Loris D'Antoni@lorisdanto·8 Eyl

Who still works on program synthesis here?

English

19.3K

Anastasia Isychev@izycheva·6 Eyl

@malyzajko @ERC_Research Amazing news, congratulations!!🎊

English

Eva Darulova@malyzajko·5 Eyl

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

European Research Council (ERC)@ERC_Research

📣 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 👉 europa.eu/!hrxyBp 🇪🇺 #EUfunded #FrontierResearch #ERCStG @HorizonEU @EUScienceInnov

English

1.6K

Anastasia Isychev@izycheva·20 Ağu

@TheFigen_ @RanjitJhala if only we could train humans not to throw cigarette butts on the ground

English

The Figen@TheFigen_·19 Ağu

In France, some crows have been trained to pick up cigarette butts on the street. The crows pick up cigarette butts and put them into a machine, where they receive food as a reward.

English

834

6.1K

54.4K

3.7M

Anastasia Isychev@izycheva·2 Ağu

@ilyasergey not sure how broadly you understand “soft skills”, I remember I liked a lot the talk on mental health by Aaron Turon “Emotional Machines”

English

133

Ilya Sergey@ilyasergey·2 Ağu

Fellow academics: what are your favourite “soft skills” talks (from PLMW etc)?

English

2.1K

Anastasia Isychev retweetledi

Shriram Krishnamurthi (primary: Bluesky)@ShriramKMurthi·28 Tem

We're still getting the OOPSLA 2025 site up. But for those who're wondering: OOPSLA 2025 will have two rounds of submission as before, and the deadlines will be as follows: R1: Tue 15 October 2024 R2: Tue 25 March 2025 Please share with others who might be interested.

English

7.1K

Anastasia Isychev@izycheva·9 Tem

@lorisdanto @wicko3 yeah, just got lucky :)

English

Loris D'Antoni@lorisdanto·8 Tem

@wicko3 @izycheva Glad it wasn't like hotcrp

English

118

Anastasia Isychev@izycheva·8 Tem

After months of not knowing where to start I finally made my affiliation-independent web-page: aisychev.github.io :) If you're also looking for an easy-to-use template, check this out: github.com/academicpages/… It's on GitHub (Pages), so just fork and adjust the text & CSS.

English

1.6K

Anastasia Isychev@izycheva·4 Tem

2 years later @FLoC2022 merch still lives and accompanies me on vacation :)

English

561

Anastasia Isychev@izycheva·1 Tem

@jana_tweets_cs @ruhrunibochum Awesome news!!!! congratulations 🎉

English

142

Jana Hofmann@jana_tweets_cs·1 Tem

📣 News! I am excited to announce that I will join MPI for Security & Privacy as tenure-track faculty in October! 🥳 I am very much looking forward to working with my future colleagues at MPI-SP and @ruhrunibochum 1/2 mpi-sp.org/66902/news_pub…

English

202

18.9K

Anastasia Isychev@izycheva·28 Haz

Bidding for papers to review, just out of curiosity searched for “LLM” on the page with (51) abstracts. Got 32 hits.

English

438

Keşfet

@ilyasergey @ASE_conf @malyzajko @ConsensysAudits @LineaBuild @tu_wien @hochra1ner @mchri5taki5