Asplos 2024

Posted by Maxul's Sketch Notes on May 17, 2024

ASPLOS 2024 参会体验

头一次参加体系结构的会议,却已经学会了老油条:多数时间在外头networking,少部分时间进去听talk。听talk的目的是为了提问,方便authors记住你,之后大家就会是不断切磋进步的同行啦!

本次开会地点在美丽的San Diego——加州第二大城市,但是绿化和治安确实一流。我降落的三藩市因为最近有太多homeless,所以大家晚上都不太出门。

开场

Die-hard指的是肝和卷!到最后了还在battle到底这个文章行不行啊?我导位列其中(右上一),respect!

Keynote 1 by Amin Vahdat (Google)

听到3个我自觉有趣的关键词:

  1. Robotics on the horizon
  2. Optical circuit switching(谷歌真的有在用): 30% cost↓,40% power↓,app-spec topology
  3. CO2 emission monitoring

做以上的小伙伴们有福啦!

Debate: Should everyone work on machine learning/AI?

实际上主办方已经事先划分好正/反方了,但是被分配的人显然没有很好的辩论觉悟,立场有时不坚定。我其实特别能理解大家,谁希望自己的研究没用,自己的学生都跑去玩AI呢?计算机还有很多很有趣的问题没被解决啊。如果说LLM是OS,那么6年前超火的Blockchain不也是被认识是OS一样被无限吹捧么?资本的游戏,作为科学研究的我们还是要小心为妙。研究呢,个人之见,要先For Fun,再For Profit。后者急功近利固然回报率极高,但机遇又有几人能得?

  • 正方观点:AI is the melting part: a golden opportunity to rethink OS/Arch from scratch.
  • 反方观点:研究应该出于passion或curiosity,这样才容易引起innovation(not just AI);当前ML还处于黑盒时代(可解释性还很弱),因此不同意ML is a new transistor的观点,因为晶体管以digital logic为基础,而digital logic基于完全可理解可解释的布尔逻辑。作为计算机科学家,一定要知道什么是 foundation & fundamentals。
  • 好多Indian能够理解的梗,而我同为Asian居然不懂……
  • Vijay(左三)真是太帅了,有活力有想法。抢话筒后先天马星空议论一番,然后要切入正题时居然忘记自己的想法了。呜呜呜笑死!
  • 看到2个帅气的光头本人了!Dan和Emery,两人都很了不起,前者在虚拟化建树颇深,后者是CSRanking的网站创立者、辛普森家族狂热爱好者,去年我在OSDI上听了他本人的超cool talk,他的Python Profiler真的很有影响力!

最佳论文1:ngAP: Non-blocking Large-scale Automata Processing on GPUs

提出一种新的符号并行方法,让自动机计算加速比蹭蹭蹭往上提。好观察!

在大厅遇到作者葛天傲了,真的很思辨!我只有OSDI’23的冷饭可以炒(自认为的代表作)。对方说好多你们的问题都是自己造的,我说对对;然后用了不少篇幅说数据中心数据库会遇到什么样的运维问题,说明我这是真的有需求。

最佳论文2:GIANTSAN: Efficient Memory Sanitization with Segment Folding

在过道遇到Hao Ling,问能不能三句话让我懂:提出基于折叠片段的算法(常数时间),对ASan检查效率的改进奇高!

WACI

WACI是我最爱的开脑洞的环节。我相信所有领域都需要这种具有想象力的讨论!

因为美国鼓励制造业回流,但是产业工人的素质跟不上,导致波音飞机的门居然从天上掉下来,同时苹果手机也从千米高空掉下来但是没事(cue一下中国制造)。所以要研究一种全新的掉落监控器——防止手机从高空掉落,数据自动删除!!!

  • 笑点:Fault Detection –> Fall Detection !
  • 点评:全内存加密不行吗???

Keynote 2 by Emmett Witchel

Emmett是我非常喜欢的学者,这里就放下我收集的集锦。

有点同意Emmett的建议:面对现在不断陡增的投稿量,应该设置下 Pay Per Submission(手动狗头),用市场经济手段提高投稿成本,以此缓PC日益增长的审稿压力,此外还可将投稿收入用于降低参会门票,一举多得。不过我想 Chair 应该不会采纳,万一没人投稿怎么办(ASPLOS的Reputation这么好应该不至于……)

Keynote 4 by Nafea Bshara (Amazon)

主要介绍AWS Trainium(very big cores, sea of SIMT cores)以及对应的Stack。

我主要记住了:programmable control path + highly optimized data path。

颁奖

晚宴和颁奖在中途岛博物馆举办。图片来源:Vadim Zaliva

NPU – DianNao

DianNao真是实至名归,恭喜云霁老师和他的团队!

参会体感&杂谈

原来Lightning Talks就是大家排队刷脸啊!

Jian Huang:黄老师在尝试产学转化,做新型SSD的话可以倚赖美国的现成产线,但是身边朋友还是劝他少碰硬件,所以他也部分做现有产品的Testing(用问题说服市场)。

Dongning Ma:Dr. DNA的作者,人真的很nice,我对会场不是很熟悉(好几个房间),约了好几次终于见着。基于 Distribution of Neuron Activations(简称DNA)的观察,实现DNN系统的容错。

Zijian Zhu:清华本科生 发 ASPLOS,和我一起击落二战敌机!

Ye Li:吕老板的学生,目前在阿里。知道了学术界好多事儿之后,知道有多不容易。还是在问题俯首皆是的工业界有趣哇!

Shaohua Li:真的很有气质!ETH苏振东老师学生。软工人原来真的在鄙视链上游。祝他未来在CUHK一切顺利!

Zhipeng Jia:遇到目前在Google的Zhipeng Jia (Boki@SOSP作者),他说谷歌在follow the trend,内部researchers处于到处跟风蹭热点的状态。论Tech Lead的Vision重要性!

Aster Plotnik:为数不多的女生,在追踪硬件制造的碳排放。我说如果我们能做到可回收硬件(无限自由组装),应该能做到超低碳吧!

Yuxuan Zhang:也是个女生。她的工作听上去很有趣:basic block任意reorder后,CFG保持不变,基于这个性质可以优化代码的在线性能(MICRO’22)。这次是此基础上做了Prefetch的代码插桩(ASPLOS’24)。祝她找工作顺利!

Gina Sohn(韩裔斯坦福女生):头一次听说CGRA可重构处理器——给定场景,编译器直接给出一套CGRA,满足局部最优芯片设计——interesting & promising!

最后一天待在了可信计算Session

SEVeriFast: Minimizing the root of trust for fast startup of SEV microVMs

SEV快速启动:核心是将SEV加密和内核解压缩做了overlap,论文的故事确实不错,但是talk没太听出来。

sIOPMP: Scalable and Efficient I/O Protection for TEEs

SJTU-IPADS实验室的二虎小哥哥,Penglai@OSDI后续。

A Midsummer Night’s Tree: Efficient and High Performance Secure SCM

Samuel Thomas用心准备的talk真的太棒了!尽管台下没几个人在看,但是这是你的舞台,一定要演好它!

去机场时,司机说,你一定会回来的(作为单身父亲,他的孩子都去其他城市生活了,他经常对他孩子这么说)。 哈哈哈,San Diego的Biotech投资人在等我了吗?

Sky Visiting

在伯克利和康总(年纪轻轻就成为 startup co-founder,请收下我的膝盖!)早上逛完UC Berkeley后,下午还是忍不住到Soda Hall去看心仪的AMPLab/RISELab的今身——SkyLab。对AMPLab/RISELab喜爱真的是因为太崇拜David Patterson了(John Hennessy 也爱)。

然而我并没有任何Sky的人脉。但是我斗胆进入了Soda,来到4楼。门口驻足,咦,门口小哥问我是不是要听talk。诶,talk不是上午结束了,哦下午还有博士答辩。妙啊妙啊!缘分开始了,不言而喻。我听了40min的报告,知道怎么做一个大系统,然后impact长什么样?!只要有这一页就够了吧,比论文数量强!

San Jose

字节总部游,求真务实的感觉真好。I love coffee time!

小心愿:去年SOSP’23认识了好多系统安全的大美女(Alex/Eli)+大帅哥(Seb/Malte)。我们说好了要再见的hhh。今年有机会再见吗?


Faculty/PhD/Intern/Engineer招聘@软件所

  • 同事招聘:希望你在系统领域有过硬的基础、具备极强的批判性思维、热爱系统编程/教学/分享,喜欢做出有影响力的系统工作。礼栋说“好的团队要diverse”,所以只要你和计算机系统(操作系统、数据库、编译器、MLSys等)沾边,都欢迎投递CV:limingyu AT ios DOT ac DOT cn.
  • 同学招募:预期:1)计算机系统人才培养周期长,需要掌握底层知识多,会给足够耐心和细心;2)延续SJTU-IPADS训练风格与高标准要求;3)心理上要应对国内不断提升的“内卷”要求。日常:每人每周1次1小时one-on-one;每周1次组会sync。