Jason Yu

@corankyu

Visiting Researcher at Jane Street | PhD @NUSComputing | Systems Security | Programming Languages

United Kingdom

Joined May 2021

109 Following

30 Followers

3 Posts

Pinned Tweet

Jason Yu @corankyu

9 months ago

We are excited to share AnvilHDL (accepted at #ASPLOS26), a hardware description language with a type system that prevents a common class of bugs (which we call timing hazards) without sacrificing expressiveness for low-level control. Try it online: https://t.co/jyNjIr6Z03

1

6

3

0

1K

Jason Yu @corankyu

9 months ago

Learn more about AnvilHDL through our documentation https://t.co/hjcBeUhJn9 and preprint https://t.co/mOmQxMUVvl Kudos to my collaborators on AnvilHDL😆@adi4web @mathur_umang @trevorcarlson @prateekatcs #Hardware #Verilog #FPGA #Research

0

1

0

0

208

Jason Yu @corankyu

9 months ago

We are excited to share AnvilHDL (accepted at #ASPLOS26), a hardware description language with a type system that prevents a common class of bugs (which we call timing hazards) without sacrificing expressiveness for low-level control. Try it online: https://t.co/jyNjIr6Z03

1

6

3

0

1K

corankyu retweeted

ACM CCS 2025 @acm_ccs

almost 5 years ago

The ACM CCS 2021 conference program is available: https://t.co/3A0yxqdVa6

0

59

32

4

0

Who to follow

Associate Professor at School of Computing at NUS. Research interests: human-centric vision, video understanding

Research Scientist @NVIDIA | PhD @ETH and @MPI_IS

Research Scientist at Google DeepMind. Member of Gemma Staff. All things Reinforcement Learning. Into generative art, roguelikes & music.

Last Seen Users on Sotwe

Trends for you

Most Popular Users