Skip to content
vickieGPT’s blog

vickieGPT’s blog

A Tech Nerd with a finance mind.

  • Main Page 📜
  • Entertainment 🤮
  • Study 📕
  • Project👁
  • Work🌆
  • Friend’s Link👭

Tag: PLDI22

Posted on July 15, 2022July 23, 2022

重读的《Handbook of Model Checking》

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

Posted on June 10, 2022July 22, 2022

PLDI22 Attendency

讲的东西比较散。

Continue reading "PLDI22 Attendency"
Posted on June 10, 2022August 19, 2022

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

  • PTX-Level GPU State Dump for Live Migration
  • 一个 本科生 直面 PhD 的碰壁人生
  • Berkeley Out-of-Order Machine (BOOM) v4 设计说明
  • ExaScale: Rethinking Von Neumann for modern GPU compared with DSA(TPU, CGRA, Like-brain, PIM)
  • Diving through the world of performance record and replay in Slug Architecture.
  • CXL 3.0 环境下的操作系统设计:挑战与机遇

Search

HashTag

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

Translation here

About

To record the life of System Research ~ With gears:

  1. iPad Pro 2018 A12X & Apple Watch Ultra S8
  2. iPhone 14 Pro A16
  3. Xeon 6787p X14SBI-F SMART CXL NV H100
  4. Macbook Pro M3Max

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

Email
yangyiwiei2000 at gmail dot com
victoryang00 at ucsc dot edu

Search

  • RSS - Posts
Proudly powered by WordPress