Skip to content
victoryang00’ blog

victoryang00’ blog

A Tech Nerd with a finance mind.

  • Main Page 📜
  • Entertainment 🤮
  • Study 📕
  • Project👁
  • Work🌆

Tag: PLDI22

Posted on 2022年7月15日2022年7月23日

重读的《Handbook of Model Checking》

此本书大一时就被宋老师隆重推荐,当时还有decision procedure、software foundation和熊英飞老师的程序分析部分。

Posted on 2022年6月10日2022年7月22日

PLDI22 Attendency

讲的东西比较散。

Continue reading "PLDI22 Attendency"
Posted on 2022年6月10日2022年8月19日

Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction @PLDI'21

Debugging for Execution Reconstruction(ER), is literally a balance of static and dynamic analysis to reproduce failures. For the result of how to get the site for

Reference

  1. Infrastructure-Free Logging and Replay of ConcurrentExecution on Multiple Cores

Top Hit

  • ASPLOS23 attendency
  • FAST23 Attendency
  • 一个 本科生 直面 PhD 的碰壁人生
  • 操作系统:Pintos Project3 详解
  • 5分钟看完上科大4年计算机
  • 如何使用nccl (更好的)代替mpi(rdma)
  • OSDI/ATC22 attedency
  • Inside the Nvidia Hopper Architecture
  • One graph to explain hw4_3.cpp
  • NSDI 22 Attendency

HashTag

  • AI Sec
  • ASPLOS22
  • ASPLOS23
  • C++
  • Computer Architecture
  • Convex Optimization
  • CSE231
  • CXL
  • Database
  • DevOps
  • Distributed System
  • Foo
  • HPC
  • ICSE22
  • Intel Spec
  • ISC21
  • ISC22
  • ISCA22
  • LegoOS
  • linux
  • M1 MAX
  • Misc
  • Network
  • OSDI22
  • paper
  • Parallel computing
  • PhD
  • PLDI22
  • Program Analysis
  • Project
  • Python
  • Reinforcement Learning
  • RISCV
  • Rust
  • SC20
  • SC21
  • scala
  • Self Rlection
  • ShanghaiTech Dairy
  • SQL
  • Sui Sui Nian
  • System & Signal
  • Travel
  • Twitter
  • VEE22

Search

Translation here


▄█▀█●疯兔

▄█▀█●Tartco

▄█▀█●Ice1k

▄█▀█●NekoD.

▄█▀█●murez

▄█▀█●Lemon

▄█▀█●*yu

▄█▀█●Sakura~

▄█▀█●UMR

▄█▀█●
安啦

▄█▀█●Matrix

❤❤❤
Bazinga

About

To record the life of System Research ~ With gears:

  1. M1 Max MBP & 9750H 2070MQ AERO
  2. 12900K 4090 AUROS Z690
  3. iPad Pro 2018 & Apple Watch series 3
  4. iPhone 14 Pro

Address
Room 381, 606 Engineering Loop, Santa Cruz, CA 95064

Email
yangyiwiei2000 at gmail dot com
victoryang00 at ucsc dot edu

Search

  • RSS - Posts
  • Twitter
  • Instagram
  • Youtube
  • Zhihu
  • LinkedIn
Proudly powered by WordPress