@RainyBao Profile picture

Yuyan Bao

@RainyBao

Postdoc at University of Waterloo

Similar User
Ben Delaware photo

@GhostofBendy

Shangyin Tan photo

@ShangyinT

Oliver Bračevac photo

@etaconversion

Guannan Wei photo

@GuannanWei

Kia Rahmani photo

@Kiarahmani_

Kirshanthan Sundararajah photo

@Kirshanthan

Prasita Mukherjee photo

@PrasitaMukherj1

Tiark Rompf photo

@tiarkrompf

Frank Shiwei Feng photo

@ShiweiFeng3

Dan Plyukhin photo

@dplyukhin

Yueyang Tang photo

@ytang_42

Pratyush Das photo

@ReikDas

Danning Xie | OpenToWork photo

@danning_x

Adhitha Dias photo

@AdhithaDias

Charitha Saumya photo

@charitha22

Yuyan Bao Reposted

I'm looking for PhD students and post-docs to join my group at @PurdueCS! Specifically, for two exciting projects: - Reachability Types: think Rust but for higher-level languages github.com/tiarkrompf/rea… - Rhyme: a new expressive query language github.com/rhyme-lang


Yuyan Bao Reposted

The School of Computer and Cyber Sciences is hacking the future! Check out this great podcast and video with Associate Dean Gursimran Walia, Computer Science student Kaylee Andrews, and Professor Jeffrey Morris, Ph.D. #cybersecurityawarenessmonth youtube.com/watch?v=VCxb0W…


Please consider a submission to the APSEC 2023 Student Research Competition conf.researchr.org/track/apsec-20…


Happy to share I'll be joining @AUG_University @AUG_Cyber as an Assistant Professor this fall. I appreciate everyone who's been part of my journey, in particular @gary_leavens @tiarkrompf and @mkulkarni


Please consider submitting your paper to FTfJP 2022 24th Workshop on Formal Techniques for Java-like Programs 2022.ecoop.org/track/ftfjp-20…


Yuyan Bao Reposted

Ugh god. Serious flaws in the way Samsung phones encrypt key material in TrustZone and it’s embarrassingly bad. They used a single key and allowed IV re-use. eprint.iacr.org/2022/208

Tweet Image 1

I wish I could save the poor little bird...

Tweet Image 1

When there is no agreement ...

Tweet Image 1

Why is there a word called ``tomorrow''?


Is Rara willing to live in the car if I couldn't find an apartment by the end of next Month (August)?

Tweet Image 1

出走半生,归来已不是少年


Yuyan Bao Reposted

This is going to be a cool talk on a new systems language!

@cliff_click will talk about the AA language in which he is exploring a new way to type programs @rebase_conf, followed by a discussion with @clattner_llvm, moderated by @j_v_66 Sunday (11th) at 7 PM CEST. No registration fees. Everyone is invited. rebase-conf.org/2021/#aa-yet-a…



Skittles and Rara are reading code motion...

Tweet Image 1

The moment of hesitation made me sad …


We all need a break ...

Tweet Image 1

Rara is reading ownership

Tweet Image 1

Yuyan Bao Reposted

CRISP faculty awards for technical achievement. Congratulations to @tiarkrompf (CS) and David Inouye (ECE) for winning in the two categories. Our corporate and government partners served as panelists. @PurdueEngineers @PurdueCS @PurdueECE @CrispPurdue tinyurl.com/crisp-faculty-…

Tweet Image 1
Tweet Image 2
Tweet Image 3

Skittles is helping.

Tweet Image 1

Rara is in the group meeting.

Tweet Image 1

Loading...

Something went wrong.


Something went wrong.