Brian Demsky

Identifiers

• name variant Brian Demsky 0.60 · backfill

Papers (4)

1. Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate cs.SE · 2021 · author #3
2. C11Tester: A Race Detector for C/C++ Atomics Technical Report cs.PL · 2021 · author #2
3. Securing Smart Home Edge Devices against Compromised Cloud Servers cs.CR · 2020 · author #4
4. PingPong: Packet-Level Signatures for Smart Home Device Events cs.NI · 2019 · author #4

Mentions

• 2111.05290 #3 · arxiv_oai · confidence 0.70 Brian Demsky
• 2102.07901 #2 · arxiv_oai · confidence 0.70 Brian Demsky
• 2006.11657 #4 · arxiv_oai · confidence 0.70 Brian Demsky
• 1907.11797 #4 · arxiv_oai · confidence 0.70 Brian Demsky

Frequent Coauthors

• Rahmadi Trimananda 3 shared papers
• Weiyu Luo 2 shared papers
• Ali Younis 1 shared papers
• Athina Markopoulou 1 shared papers
• Guoqing Harry Xu 1 shared papers
• Harry Xu 1 shared papers
• Janus Varmarken 1 shared papers
• Thomas Kwa 1 shared papers