hao sun

12 posts

hao sun

hao sun

@ha0_sun

Linux, eBPF verifier, PhD student@ETH Zürich

Zurich, Switzerland Katılım Temmuz 2021
134 Takip Edilen111 Takipçiler
hao sun retweetledi
Tianyin Xu
Tianyin Xu@tianyin_xu·
This is a long overdue. If you are interested in Rex kernel extensions (github.com/rex-rs/rex), @Jinghao_J gave a great talk at #OSS early this year. The talk can be found here, youtube.com/watch?v=4r7ECx…
YouTube video
YouTube
Tianyin Xu tweet media
Tianyin Xu@tianyin_xu

Jinghao (@Jinghao_J) gave a great remote guest lecture on Safe Kernel Extensions at CS 423 today, teaching eBPF and Rex. It's always special to have him in 423 which he put his heart in as a distinguished TA in the past 5 years. I captured his slide on Rex, which is the system we use for MP4 and is his own PhD thesis. The Rex project: github.com/rex-rs/rex

English
0
6
65
6.7K
Chengyu Zhang
Chengyu Zhang@chengyuzh·
I am pleased to share that I have started a new position as a Lecturer (equivalent to an Assistant Professor in the US) at @lborouniversity. Thanks to @zhendongsu and all my colleagues and friends at @ast_eth and beyond. Your support has meant a lot. I will be working on trustworthy automated reasoning and its applications to software reliability. Feel free to reach out if you are interested in PhD opportunities, visiting, or collaboration.
Chengyu Zhang tweet media
English
19
6
59
4K
hao sun retweetledi
Tianyin Xu
Tianyin Xu@tianyin_xu·
Zu-Ming Jiang (jzuming.github.io) from @CSatETH discussed how to realize reliable and secure software foundation @IllinoisCDS Systems Research Seminar. His work @ast_eth like TxCheck and EET has found hundreds of serious bugs in mature databases like MySQL, PostgreSQL, etc. Brilliant work!
Tianyin Xu tweet media
English
4
7
63
7.8K
hao sun retweetledi
Chengyu Zhang
Chengyu Zhang@chengyuzh·
🔍 I am on the job market, seeking opportunities in software engineering, programming languages, and formal methods. If you are interested in chatting about my work or potential roles, let’s catch up at the conference or send me a message! 🤝 #SPLASH24
Chengyu Zhang@chengyuzh

🚀 Just touched down in Pasadena for #SPLASH24! Excited to present our work on generating effective test inputs from SMT formulas and getting oracles "for free" using SMT solvers. Catch our talk this Friday at OOPSLA! 🗓️📍 📄 Check out our paper: dl.acm.org/doi/10.1145/36…

English
0
16
66
10.4K
hao sun retweetledi
Dominik Winterer
Dominik Winterer@DominikWinterer·
🚀 Excited to introduce our OOPSLA '24 work on ET, a powerful tool for bounded validation of SMT solvers, which has uncovered 100+ correctness and performance bugs 🪳, while ensuring the absence of simple bugs in the solvers. Preprint: shorturl.at/opk6z #SPLASH2024 #SPLASH24📖
Dominik Winterer tweet media
English
1
7
62
10K
hao sun
hao sun@ha0_sun·
@real_redp @pchaigno No, the user provides a buffer for both receiving conditions and providing proofs when loading the program, e.g., in bpf_prog_load cmd payload.
English
1
0
0
77
hao sun
hao sun@ha0_sun·
@real_redp @pchaigno No, we only need a proof checker, and the solvers are still in the user space.
English
1
0
0
78

Keşfet

@Jinghao_J @tianyin_xu @zhendongsu @RanjitJhala @chengyuzh @lborouniversity @ast_eth @CSatETH