E-LIB Suche - Ergebnisse für: Demsky, Brian

1

FlowProf: Profiling Multi-threaded Programs using Informati..:

, In: Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction,

Nahian, Ahamed Al ; Demsky, Brian - p. 137-149 , 2024

2

Yashme: detecting persistency races:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Gorjiara, Hamed ; Xu, Guoqing Harry ; Demsky, Brian - p. 830-845 , 2022

Link: https://dl.acm.org/doi/1..

3

Stateful Dynamic Partial Order Reduction for Model Checking..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Trimananda, Rahmadi ; Luo, Weiyu ; Demsky, Brian. - p. 400-424 , 2022

Link: https://doi.org/10.1007/..

4

Checking robustness to weak persistency models:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Gorjiara, Hamed ; Luo, Weiyu ; Lee, Alex.. - p. 490-505 , 2022

Link: https://dl.acm.org/doi/1..

5

C11Tester: a race detector for C/C++ atomics:

, In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Luo, Weiyu ; Demsky, Brian - p. 630-646 , 2021

Link: https://dl.acm.org/doi/1..

6

Jaaru: efficiently model checking persistent memory program:

, In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Gorjiara, Hamed ; Xu, Guoqing Harry ; Demsky, Brian - p. 415-428 , 2021

Link: https://dl.acm.org/doi/1..

7

Satune: synthesizing efficient SAT encoders:

Gorjiara, Hamed ; Xu, Guoqing Harry ; Demsky, Brian
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-32 , 2020

Link: https://doi.org/10.1145/..

8

Understanding and automatically detecting conflicting inter..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Trimananda, Rahmadi ; Aqajari, Seyed Amir Hossein ; Chuang, Jason... - p. 1215-1227 , 2020

Link: https://dl.acm.org/doi/1..

9

Satune: synthesizing efficient SAT encoders:

Gorjiara, Hamed ; Xu, Guoqing Harry ; Demsky, Brian
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-32 , 2020

Link: https://dl.acm.org/doi/1..

10

Gerenuk : thin computation over big native data using sp..:

, In: Proceedings of the 27th ACM Symposium on Operating Systems Principles,

Navasca, Christian ; Cai, Cheng ; Nguyen, Khanh... - p. 538-553 , 2019

Link: https://dl.acm.org/doi/1..

11

Skyway : Connecting Managed Heaps in Distributed Big Dat..:

, In: Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems,

Nguyen, Khanh ; Fang, Lu ; Navasca, Christian... - p. 56-69 , 2018

Link: https://dl.acm.org/doi/1..

12

Skyway: Connecting Managed Heaps in Distributed Big Data Sy..:

Nguyen, Khanh ; Fang, Lu ; Navasca, Christian...
ACM SIGPLAN Notices. 53 (2018) 2 - p. 56-69 , 2018

Link: https://doi.org/10.1145/..

13

Towards understanding the costs of avoiding out-of-thin-air..:

Ou, Peizhao ; Demsky, Brian
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-29 , 2018

Link: https://doi.org/10.1145/..

14

Towards understanding the costs of avoiding out-of-thin-air..:

Ou, Peizhao ; Demsky, Brian
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-29 , 2018

Link: https://dl.acm.org/doi/1..

15

Checking Concurrent Data Structures Under the C/C++11 Memor..:

Ou, Peizhao ; Demsky, Brian
ACM SIGPLAN Notices. 52 (2017) 8 - p. 45-59 , 2017

Link: https://doi.org/10.1145/..