c20 Profile Banner
Yuka Ikarashi Profile
Yuka Ikarashi

@c20

Followers
3K
Following
898
Media
335
Statuses
2K

PhD candidate @MIT CSAIL / Trying to make things work / 🇯🇵→@00_

Cambridge, MA
Joined February 2013
Don't wanna be here? Send us removal request.
@c20
Yuka Ikarashi
11 days
mass migration of proofs to appendix
0
0
9
@c20
Yuka Ikarashi
2 months
Just finished reading Project Hail Mary. Good good good.
3
0
15
@c20
Yuka Ikarashi
2 months
Wow thanks for the shout out!
@yminsky
Yaron (Ron) Minsky
2 months
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. https://t.co/JtWtrauJFR
0
1
14
@ztatlock
Zachary Tatlock
3 months
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! https://t.co/lXdlsgwmSJ
Tweet card summary image
thehill.com
Virtually every smartphone on the planet runs on a chip paid for by American taxpayers — a chip that I helped invent. Now Congress is moving to cut funding for the National Science Foundation that …
0
2
11
@c20
Yuka Ikarashi
5 months
I'm giving a talk at GPU mode tomorrow. Feel free to join the livestream: https://t.co/2UWmxdjNEc
0
8
65
@tomaspueyo
Tomas Pueyo
5 months
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
143
756
4K
@c20
Yuka Ikarashi
8 months
Story of all the 5th year PhD students
@ngosuke
Keisuke Nagao
8 months
We started our Ph.D.s during COVID-19. Now, we’re graduating into political chaos | Science | AAAS
1
0
36
@c20
Yuka Ikarashi
8 months
Please retweet the post and help announce the workshop!
0
0
4
@c20
Yuka Ikarashi
8 months
Here is the workshop schedule. We have exciting speakers presenting their papers published at ASPLOS, OOPSLA, ICFP, PLDI, and so on. https://t.co/BvXGER3IzF
plr.csail.mit.edu
This is the website for the MIT PL Review Workshop 2025. We will be hosting the PL Review on April 25th, both in-person and virtually.
1
2
16
@c20
Yuka Ikarashi
8 months
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
119
@c20
Yuka Ikarashi
8 months
Exo 2 news is out!
@MIT_CSAIL
MIT CSAIL
8 months
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
3
7
44
@c20
Yuka Ikarashi
10 months
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. https://t.co/v5cXuUthJQ
1
0
15
@c20
Yuka Ikarashi
11 months
The acceptance rate is quite high
@ShriramKMurthi
Shriram Krishnamurthi (primary: Bluesky)
11 months
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
0
7
@ZhiyuChen4
Zhiyu Zoey Chen
11 months
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
133
275
2K
@c20
Yuka Ikarashi
1 year
Gave a talk at the SIGGRAPH Asia Women in CG session!
0
0
28
@Ani_9_
Shoko Kimura,Aniie😊
1 year
🙍‍♀️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 https://t.co/W6mi6hSwhz @siggraphasia @siggraph #SIGGRAPH #SIGGRAPHAsia
0
4
11
@tikhonjelvis
Tikhon Jelvis
1 year
Any language-design paper that starts out talking about letting languages grow and citing Guy Steele's talk is immediately interesting :)
@c20
Yuka Ikarashi
1 year
We published the Exo 2 paper on arXiv! It's about designing user-extensible scheduling languages. https://t.co/2EGNU1ajYu
0
1
8
@matt_dz
Matt
1 year
Exo 2: Growing a Scheduling Language https://t.co/v9CSITjEH2 https://t.co/KAEc1BtZWs Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley ASPLOS (@ASPLOSConf) 2025
@c20
Yuka Ikarashi
1 year
We published the Exo 2 paper on arXiv! It's about designing user-extensible scheduling languages. https://t.co/2EGNU1ajYu
0
3
29
@c20
Yuka Ikarashi
1 year
We published the Exo 2 paper on arXiv! It's about designing user-extensible scheduling languages. https://t.co/2EGNU1ajYu
2
6
57