Ryan Huang
@ryanphuang
Followers
967
Following
611
Media
16
Statuses
585
Associate Professor at the University of Michigan CSE. Enjoy building and researching computer systems.
Ann Arbor, MI
Joined November 2009
RT @UMichCSE: Congratulations to the authors of Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols on receiv….
cse.engin.umich.edu
They were recognized for their development of Basilisk, an automated approach for formally verifying distributed protocols.
0
1
0
RT @_MattJiang_: 🚨 New resource for ML systems folks!. We release a curated reading list on ML reliability, including silent errors, testin….
github.com
A curated reading list for machine learning reliability research and practice - OrderLab/awesome-machine-learning-reliability
0
1
0
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
806
3K
10K
🔍 T2C: Turns system tests into semantic checkers to detect failures in distributed systems. * [Paper](, [Code](. #DistributedSystems.
github.com
A toolchain for distributed system runtime checkers - OrderLab/T2C
0
0
2
🚨 Excited to share that our group will present two papers at OSDI '25 next week!. 🎯 TrainCheck: Automatically catches silent errors during deep learning training by inferring and enforcing training invariants. * [Code]( .
github.com
A Framework for Automated Validation of Deep Learning Training Tasks - OrderLab/TrainCheck
1
0
16
RT @CacheMisses: Come join the Artifact Evaluation Committee for #osdi25 & @usenixtatc25, and help promote reproducibility in our Systems c….
0
6
0
We are seeking members to join the Artifact Evaluation Committee for #OSDI25 & #USENIXATC25. Help promote reproducibility, and engage with cutting-edge systems research!. Please apply by April 17th via #SystemsResearch #Reproducibility #OSDI #ATC.
docs.google.com
We are looking for members of the joint Artifact Evaluation Committee for OSDI '25 & ATC '25. The committee will evaluate artifacts from the accepted papers of OSDI and ATC. We expect that each...
0
10
22
RT @EuroSys_conf: EuroSys'23 program is now out! Preview the exciting lineup of talks at Early bird registration e….
0
11
0
RT @ACMSIGOPS: Our premiere conference for computer systems technology will now be held every year.
0
29
0
RT @ChrisPeikert: Wow, @UMichCSE's recent faculty hires are on 🔥🔥!. They got 7⃣—count 'em, seven!—NSF CAREER awards this cycle. Big congra….
0
9
0
RT @royaensafi: Thank you @SloanFoundation for recognizing my lab research. A heartfelt thanks to my students, mentors, friends in civil s….
0
7
0
RT @UCSDJacobs: Congratulations to @UCSanDiego @ucsd_cse cybersecurity expert Stefan Savage, who was elected to @theNAEng! His work looks….
0
3
0
RT @pag_crypto: Absolutely thrilled to announce I received an NSF CAREER award for my project "End-to-End Encryption for Managed Networks"….
0
3
0
RT @schemeprincess: Congratulations to all of the @ACMSIGOPS dissertation award winners!! I enjoyed reading every thesis and it was a very….
0
8
0
my colleagues in the past years. It's sad to leave, but I am excited about the next adventure! Plug: I will be recruiting PhD students to join my lab at Michigan. Please apply and drop me an email if you are interested!.
0
3
15
After five wonderful years at Hopkins, I will be joining the University of Michigan CSE in January 2023 as an associate professor. Huge thanks to my fantastic .students, letter writers, collaborators, and mentors. I'm grateful for the support from JHU and.
15
2
188
RT @strangeloop_stl: Strange Loop 2022 preview: "Automatic Generation of Runtime Checkers for Production Distributed Systems" by Ryan Huang….
thestrangeloop.com
Strange Loop is a conference for software developers covering programming langs, databases, distributed systems, security, machine learning, creativity, and more!
0
1
0
RT @MarcJBrooker: If you're interested in correctness of distributed systems, you'll likely enjoy "Demystifying and Checking Silent Semanti….
0
31
0
RT @Alan_Lau: This is a great initiative created by Sasha Golovnev at Georgetown. If you are a young CS researcher who has been displaced b….
golovnev.org
0
8
0
RT @mpi_jcmace: CS Faculty Twitter! Cornell, Maryland, and Max Planck host a 1-week summer school (CMMRS) for aspiring undergraduate and m….
0
53
0