Patrick 舆情发布

Ao_Li.pdf

122.7 KB

Practical Concurrency Testing (Dec-12, Zoom)，谁不想拥有一个 push button concurrency testing tool呢！

=========

Tooling 并非 research community 的长项，绝大多数 research tool/idea 都停留在 toy prototype 的阶段， 使得这些 idea 并不能真正落地，但与此同时又claim了novelty 妨碍后人深入研究，这导致了 a huge gap between what acedmia known as the state-of-the-art verus what people can actually use.
尽管这样的环境 reward 短平快的 paper，还是有人在坚持做 practical research。在这个 talk 里你会听到 concurrency testing最重要的三部曲：determinism, search, and pruning。

www.tg-me.com/us/telegram/com.life_xiangpeng/4357

445 viewsNov 27, 2024 at 17:37

Practical Concurrency Testing (Dec-12, Zoom)，谁不想拥有一个 push button concurrency testing tool呢！

=========

Tooling 并非 research community 的长项，绝大多数 research tool/idea 都停留在 toy prototype 的阶段， 使得这些 idea 并不能真正落地，但与此同时又claim了novelty 妨碍后人深入研究，这导致了 a huge gap between what acedmia known as the state-of-the-art verus what people can actually use.
尽管这样的环境 reward 短平快的 paper，还是有人在坚持做 practical research。在这个 talk 里你会听到 concurrency testing最重要的三部曲：determinism, search, and pruning。

BY Patrick 舆情发布