corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0bbd6-47fc-7009-b15e-55e2fd0197db

Ideas: Bug hunting with Shan Lu

Microsoft Research · published 23 January 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at microsoft.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
14
Words captured
7,695

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.microsoft.com/en-us/research/people/shanlu/?msockid=35739e94ab6c69d41b738b93aa076831
microsoft.com
https://www.microsoft.com/en-us/research/publication/efficient-and-scalable-thread-safety-violation-detection-finding-thousands-of-concurrency-bugs-during-testing/?msockid=35739e94ab6c69d41b738b93aa076831
microsoft.com
https://www.microsoft.com/en-us/research/publication/if-at-first-you-dont-succeed-try-try-again-insights-and-llm-informed-tooling-for-detecting-retry-bugs-in-software-systems/?msockid=35739e94ab6c69d41b738b93aa076831
microsoft.com
https://www.microsoft.com/en-us/research/podcast/abstracts-november-4-2024/
microsoft.com
https://www.microsoft.com/en-us/research/publication/automated-proof-generation-for-rust-code-via-self-evolution/
microsoft.com
https://www.microsoft.com/en-us/research/publication/autoverus-automated-proof-generation-for-rust-code/
microsoft.com
https://www.microsoft.com/en-us/research/publication/learning-from-mistakes-a-comprehensive-study-on-real-world-concurrency-bug-characteristics/
microsoft.com
https://www.microsoft.com/en-us/research/publication/verus-a-practical-foundation-for-systems-verification/?msockid=35739e94ab6c69d41b738b93aa076831
microsoft.com
https://www.microsoft.com/en-us/research/podcast
microsoft.com
https://itunes.apple.com/us/podcast/microsoft-research-a-podcast/id1318021537?mt=2
itunes.apple.com
https://subscribebyemail.com/www.blubrry.com/feeds/microsoftresearch.xml
subscribebyemail.com
https://subscribeonandroid.com/www.blubrry.com/feeds/microsoftresearch.xml
subscribeonandroid.com
https://open.spotify.com/show/4ndjUXyL0hH1FXHgwIiTWU
open.spotify.com
https://www.blubrry.com/feeds/microsoftresearch.xml
blubrry.com