( en | de | ru )

 

Disambiguation of "Demsky, Brian"

Author of the publication

copydeleteadd this publication to your clipboard
Understanding and automatically detecting conflicting interactions between smart home IoT applications.

, , , , , and . ESEC/SIGSOFT FSE, page 1215-1227. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Brian Demsky

Rolf-Walter Briant

Benoît Briand

Annette Brians

Ursula Brian

 

Other publications of authors with the same name

Jaaru: efficiently model checking persistent memory programs., , and . ASPLOS, page 415-428. ACM, (2021)Packet-Level Signatures for Smart Home Devices., , , and . NDSS, The Internet Society, (2020)Gerenuk: thin computation over big native data using speculative program transformation., , , , , , and . SOSP, page 538-553. ACM, (2019)Understanding and automatically detecting conflicting interactions between smart home IoT applications., , , , , and . ESEC/SIGSOFT FSE, page 1215-1227. ACM, (2020)FlowProf: Profiling Multi-threaded Programs using Information-Flow., and . CC, page 137-149. ACM, (2024)Checking robustness to weak persistency models., , , , and . PLDI, page 490-505. ACM, (2022)Yashme: detecting persistency races., , and . ASPLOS, page 830-845. ACM, (2022)Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate., , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 400-424. Springer, (2022)C11Tester: a race detector for C/C++ atomics., and . ASPLOS, page 630-646. ACM, (2021)Memory Management for Many-Core Processors with Software Configurable Locality Policies, and . Proceedings of the 2012 international symposium on Memory Management, page 3--14. New York, NY, USA, ACM, (2012)