iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.dagstuhl.de/pid/47/3381.html

dblp: Brian Demsky

default search action

combined dblp search
author search
venue search
publication search

ask others

Brian Demsky

> Home > Persons

Person information

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/NahianD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/NahianD24
Ahamed Al Nahian, Brian Demsky:
FlowProf: Profiling Multi-threaded Programs using Information-Flow. CC 2024: 137-149
2022
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/GorjiaraXD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/GorjiaraXD22
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky:
Yashme: detecting persistency races. ASPLOS 2022: 830-845
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GorjiaraLLXD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GorjiaraLLXD22
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky:
Checking robustness to weak persistency models. PLDI 2022: 490-505
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/TrimanandaLDX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/TrimanandaLDX22
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu:
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. VMCAI 2022: 400-424
2021
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/GorjiaraXD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/GorjiaraXD21
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky:
Jaaru: efficiently model checking persistent memory programs. ASPLOS 2021: 415-428
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/LuoD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/LuoD21
Weiyu Luo, Brian Demsky:
C11Tester: a race detector for C/C++ atomics. ASPLOS 2021: 630-646
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-07901
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-07901
Weiyu Luo, Brian Demsky:
C11Tester: A Race Detector for C/C++ Atomics Technical Report. CoRR abs/2102.07901 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-05290
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-05290
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu:
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. CoRR abs/2111.05290 (2021)
2020
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/GorjiaraXD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/GorjiaraXD20
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky:
Satune: synthesizing efficient SAT encoders. Proc. ACM Program. Lang. 4(OOPSLA): 146:1-146:32 (2020)
[c36]
- view
  - electronic edition @ ndss-symposium.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ndss/TrimanandaVMD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndss/TrimanandaVMD20
Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky:
Packet-Level Signatures for Smart Home Devices. NDSS 2020
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TrimanandaACDX020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TrimanandaACDX020
Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu:
Understanding and automatically detecting conflicting interactions between smart home IoT applications. ESEC/SIGSOFT FSE 2020: 1215-1227
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-11657
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-11657
Rahmadi Trimananda, Ali Younis, Thomas Kwa, Brian Demsky, Harry Xu:
Securing Smart Home Edge Devices against Compromised Cloud Servers. CoRR abs/2006.11657 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/NavascaCNDLKX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/NavascaCNDLKX19
Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu:
Gerenuk: thin computation over big native data using speculative program transformation. SOSP 2019: 538-553
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11797
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11797
Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou, Brian Demsky:
PingPong: Packet-Level Signatures for Smart Home Device Events. CoRR abs/1907.11797 (2019)
2018
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/OuD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/OuD18
Peizhao Ou, Brian Demsky:
Towards understanding the costs of avoiding out-of-thin-air results. Proc. ACM Program. Lang. 2(OOPSLA): 136:1-136:29 (2018)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/NguyenFNXDL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/NguyenFNXDL18
Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu:
Skyway: Connecting Managed Heaps in Distributed Big Data Systems. ASPLOS 2018: 56-69
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/edge/TrimanandaYWXDX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edge/TrimanandaYWXDX18
Rahmadi Trimananda, Ali Younis, Bojun Wang, Bin Xu, Brian Demsky, Guoqing Harry Xu:
Vigilia: Securing Smart Home Edge Computing. SEC 2018: 74-89
2017
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HawkinsD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HawkinsD17
Byron Hawkins, Brian Demsky:
ZenIDS: introspective intrusion detection for PHP applications. ICSE 2017: 232-243
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/OuD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/OuD17
Peizhao Ou, Brian Demsky:
Checking Concurrent Data Structures Under the C/C++11 Memory Model. PPoPP 2017: 45-59
2016
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/NorrisD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/NorrisD16
Brian Norris, Brian Demsky:
A Practical Approach for Model Checking C/C++11 Code. ACM Trans. Program. Lang. Syst. 38(3): 10:1-10:51 (2016)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/HawkinsDT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/HawkinsDT16
Byron Hawkins, Brian Demsky, Michael B. Taylor:
BlackBox: lightweight security monitoring for COTS binaries. CGO 2016: 261-272
[c28]
- view
- export record
  dblp key:
  - conf/osdi/NguyenFXDLAM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/NguyenFXDLAM16
Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu:
Yak: A High-Performance Big-Data-Friendly Garbage Collector. OSDI 2016: 349-365
2015
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/HawkinsDBZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/HawkinsDBZ15
Byron Hawkins, Brian Demsky, Derek Bruening, Qin Zhao:
Optimizing binary translation of dynamically generated code. CGO 2015: 68-78
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DemskyL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DemskyL15
Brian Demsky, Patrick Lam:
SATCheck: SAT-directed stateless model checking for SC and TSO. OOPSLA 2015: 20-36
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/OuD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/OuD15
Peizhao Ou, Brian Demsky:
AutoMO: automatic inference of memory order parameters for C/C++11. OOPSLA 2015: 221-240
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/NguyenFXD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/NguyenFXD15
Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky:
Speculative region-based memory management for big data systems. PLOS@SOSP 2015: 27-32
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/FangNXDL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/FangNXDL15
Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu:
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. SOSP 2015: 394-409
2014
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BoehmD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BoehmD14
Hans-Juergen Boehm, Brian Demsky:
Outlawing ghosts: avoiding out-of-thin-air results. MSPC@PLDI 2014: 7:1-7:6
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LuuSSD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LuuSSD14
Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky:
A model counter for constraints over unbounded strings. PLDI 2014: 565-576
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DemskyL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DemskyL13
Brian Demsky, Patrick Lam:
Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. 22(1): 4:1-4:33 (2013)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/EomD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/EomD13
Yong Hun Eom, Brian Demsky:
Sinfer: Inferring information flow lattices for checking self-stabilization. ISSRE 2013: 258-267
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/NorrisD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/NorrisD13
Brian Norris, Brian Demsky:
CDSchecker: checking concurrent data structures written with C/C++ atomics. OOPSLA 2013: 131-150
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iwmm/ZhouD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwmm/ZhouD12
Jin Zhou, Brian Demsky:
Memory management for many-core processors with software configurable locality policies. ISMM 2012: 3-14
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/EomD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/EomD12
Yong Hun Eom, Brian Demsky:
Self-stabilizing Java. PLDI 2012: 287-298
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/EomYJD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/EomYJD12
Yong Hun Eom, Stephen Yang, James Christopher Jenista, Brian Demsky:
DOJ: dynamically parallelizing object-oriented programs. PPoPP 2012: 85-96
2011
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/Demsky11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/Demsky11
Brian Demsky:
Using Discrete Event Simulation to Analyze Contention Managers. Int. J. Parallel Program. 39(6): 783-808 (2011)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/DemskyT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/DemskyT11
Brian Demsky, Navid Farri Tehrany:
Integrating file operations into transactional memory. J. Parallel Distributed Comput. 71(10): 1293-1304 (2011)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/Demsky11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/Demsky11
Brian Demsky:
Cross-application data provenance and policy enforcement. ACM Trans. Inf. Syst. Secur. 14(1): 6:1-6:22 (2011)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/DashD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/DashD11
Alokika Dash, Brian Demsky:
Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory. IEEE Trans. Parallel Distributed Syst. 22(8): 1284-1298 (2011)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DemskyS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DemskyS11
Brian Demsky, Sivaji Sundaramurthy:
Bristlecone: Language Support for Robust Software Applications. IEEE Trans. Software Eng. 37(1): 4-23 (2011)
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cc/JenistaED11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/JenistaED11
James Christopher Jenista, Yong Hun Eom, Brian Demsky:
Using Disjoint Reachability for Parallelization. CC 2011: 198-224
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/JenistaED11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/JenistaED11
James Christopher Jenista, Yong Hun Eom, Brian Demsky:
OoOJava: software out-of-order execution. PPoPP 2011: 57-68
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/EdwardsTD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/EdwardsTD10
Alex Edwards, Sean Tucker, Brian Demsky:
AFID: an automated approach to collecting software faults. Autom. Softw. Eng. 17(3): 347-372 (2010)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DemskyL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DemskyL10
Brian Demsky, Patrick Lam:
Views: object-inspired concurrency control. ICSE (1) 2010: 395-404
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/middleware/DashD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/DashD10
Alokika Dash, Brian Demsky:
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories. Middleware 2010: 355-375
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ZhouD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ZhouD10
Jin Zhou, Brian Demsky:
Bamboo: a data-centric, object-oriented approach to many-core software. PLDI 2010: 388-399
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/DashD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/DashD10
Alokika Dash, Brian Demsky:
Symbolic prefetching in transactional distributed shared memory. PPoPP 2010: 331-332
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DemskyZM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DemskyZM10
Brian Demsky, Jin Zhou, William Montaz:
Recovery Tasks: An Automated Approach to Failure Recovery. RV 2010: 229-244
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/ZhouD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/ZhouD10
Jin Zhou, Brian Demsky:
Automatically Tuning Task-Based Programs for Multicore Processors. Software Automatic Tuning, From Concepts to State-of-the-Art Results 2010: 315-334

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DemskyR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DemskyR09
Brian Demsky, Martin C. Rinard:
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. 35(3): 305-324 (2009)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/DashD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/DashD09
Alokika Dash, Brian Demsky:
Software transactional distributed shared memory. PPoPP 2009: 297-298
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/DemskyD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DemskyD08
Brian Demsky, Alokika Dash:
Bristlecone: A Language for Robust Software Systems. ECOOP 2008: 490-515
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/EdwardsTWVD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/EdwardsTWVD08
Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky:
AFID: an automated fault identification tool. ISSTA 2008: 179-188
2006
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/ndltd/Demsky06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ndltd/Demsky06
Brian Demsky:
Data structure repair using goal-directed reasoning. Massachusetts Institute of Technology, Cambridge, MA, USA, 2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DemskyR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DemskyR06
Brian Demsky, Martin C. Rinard:
Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. 32(12): 931-951 (2006)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/DemskyEGMPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/DemskyEGMPR06
Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard:
Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244
2005
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DemskyR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DemskyR05
Brian Demsky, Martin C. Rinard:
Data structure repair using goal-directed reasoning. ICSE 2005: 176-185
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DemskyR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DemskyR03
Brian Demsky, Martin C. Rinard:
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE 2003: 71-84
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DemskyR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DemskyR03
Brian Demsky, Martin C. Rinard:
Automatic detection and repair of errors in data structures. OOPSLA 2003: 78-95
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DemskyR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DemskyR02
Brian Demsky, Martin C. Rinard:
Role-based exploration of object-oriented programs. ICSE 2002: 313-334

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.