Incoming Assistant Professor @Cornell / PhD @MIT CSAIL / Trying to make things work / 🇯🇵→@00_

New York
Joined February 2013
Yuka Ikarashi retweeted
6 new faculty members will join Cornell Tech for the 2026-27 academic year, bringing expertise in AI, machine learning, programming languages, and operations research at a pivotal moment for the future of computing. Learn more: bit.ly/45wnS5K @Cornell_Bowers @CornellEng
14
4
229
41,315
I defended my PhD at MIT and will be joining Cornell CS as an assistant professor in January 2027, based at the Cornell Tech campus in NYC. I'll be living in Kazakhstan and Armenia this fall and would love to get connected with the local CS/tech community there!
30
23
1
839
38,387
I will be defending on April 24th (co-located with Amanda!). Please lmk if you're interested in joining, and we hope to see you there!
2
17
5,147
mass migration of proofs to appendix
23
12
7,485
Just finished reading Project Hail Mary. Good good good.
3
19
7,842
Wow thanks for the shout out!
Replying to @yminsky
I should say, there are research projects in this space that I think are compelling. Exo is cool! It's from the researchers who did Halide, an influential PL aimed at graphics. The exo folk are looking to update the approach for modern GPUs. exo-lang.dev/
1
15
9,672
Yuka Ikarashi retweeted
Dave Patterson’s op-ed is a great overview on how taxpayer-funded research built the backbone of modern tech: RISC, RAID, cloud, ... the list goes on. Encourage your representatives to fully fund the NSF and CISE! thehill.com/opinion/technolo…
2
1
11
5,531
I'm giving a talk at GPU mode tomorrow. Feel free to join the livestream: youtube.com/live/J58AdFTHp3E…
8
3
69
20,614
Yuka Ikarashi retweeted
Can there be an invasion of Iran? Hardly. Two maps explain why, and also why Iran is the way it is today, whether its regime will fall, what other superpowers will do, and in general why Iran is the way it is today 1. Iran is a mountain & desert fortress
144
740
133
4,337
748,828
We are hosting the MIT Programming Languages Review on April 25th in person here at MIT! The PLR is a student-run workshop that aims to highlight the best papers from the past year that we believe will have a significant impact on shaping the future direction of PL research.
3
25
115
19,983
Here is the workshop schedule. We have exciting speakers presenting their papers published at ASPLOS, OOPSLA, ICFP, PLDI, and so on. plr.csail.mit.edu/
1
2
15
4,191
Please retweet the post and help announce the workshop!
4
2,893
Exo 2 news is out!
A new programming language from MIT could enable high-performance coding that can compete w/state-of-the-art libraries w/a few hundred lines of code, instead of tens or hundreds of thousands. Called "Exo 2," the approach enables reusable scheduling libraries external to compilers: bit.ly/3XMK2Nq
3
6
43
8,546
I've been watching Timothy Snyder's class on Ukrainian history. This is super interesting, not only for learning about Ukraine's history, but also for getting a better understanding of what history is. youtu.be/bJczLlwp-d8?si=LnJ5…
1
16
4,991
The acceptance rate is quite high
Re. OOPSLA 2025, in R1, here are the stats on how the decisions were distributed: Accept: 22 CondAccept: 24 Minor: 12 Major: 30 Reject: 55
3
1
7
7,691
I'm shocked to see racism happening in academia again, at the best AI conference @NeurIPSConf. Targeting specific ethnic groups to describe misconduct is inappropriate and unacceptable. @NeurIPSConf must take a stand. We call on Rosalind Picard @MIT @medialab to retract and apologize for her statement.
127
267
89
2,319
420,994
Gave a talk at the SIGGRAPH Asia Women in CG session!
28
4,133
🙍‍♀️Women in CG💁‍♀️ #SIGGRAPHAsia2024 ❣️Join us❣️ Wed4Dec,11am-12pm Yuri Mikawa @yurimik217 Maria Larsson @mala34301068 Noshaba Cheema @i_noshnosh Jingjing Li @UNIV_TSUKUBA_JP Yuka Ikarashi @c20 @MIT Info asia.siggraph.org/2024/prese… @siggraphasia @siggraph #SIGGRAPH #SIGGRAPHAsia
4
1
11
4,044
Any language-design paper that starts out talking about letting languages grow and citing Guy Steele's talk is immediately interesting :)
We published the Exo 2 paper on arXiv! It's about designing user-extensible scheduling languages. arxiv.org/pdf/2411.07211
1
8
3,157