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



Link to original content: https://dblp.dagstuhl.de/pid/47/3381.rss
dblp: Brian Demsky https://dblp.org/pid/47/3381.html dblp person page RSS feed Thu, 25 Apr 2024 05:39:42 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Brian Demskyhttps://dblp.org/pid/47/3381.html14451 FlowProf: Profiling Multi-threaded Programs using Information-Flow.https://doi.org/10.1145/3640537.3641577, :
FlowProf: Profiling Multi-threaded Programs using Information-Flow. CC : 137-149]]>https://dblp.org/rec/conf/cc/NahianD24Mon, 01 Jan 2024 00:00:00 +0100 Yashme: detecting persistency races.https://doi.org/10.1145/3503222.3507766, , :
Yashme: detecting persistency races. ASPLOS : 830-845]]>https://dblp.org/rec/conf/asplos/GorjiaraXD22Sat, 01 Jan 2022 00:00:00 +0100 Checking robustness to weak persistency models.https://doi.org/10.1145/3519939.3523723, , , , :
Checking robustness to weak persistency models. PLDI : 490-505]]>https://dblp.org/rec/conf/pldi/GorjiaraLLXD22Sat, 01 Jan 2022 00:00:00 +0100 Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate.https://doi.org/10.1007/978-3-030-94583-1_20, , , :
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. VMCAI : 400-424]]>https://dblp.org/rec/conf/vmcai/TrimanandaLDX22Sat, 01 Jan 2022 00:00:00 +0100 Jaaru: efficiently model checking persistent memory programs.https://doi.org/10.1145/3445814.3446735, , :
Jaaru: efficiently model checking persistent memory programs. ASPLOS : 415-428]]>https://dblp.org/rec/conf/asplos/GorjiaraXD21Fri, 01 Jan 2021 00:00:00 +0100 C11Tester: a race detector for C/C++ atomics.https://doi.org/10.1145/3445814.3446711, :
C11Tester: a race detector for C/C++ atomics. ASPLOS : 630-646]]>https://dblp.org/rec/conf/asplos/LuoD21Fri, 01 Jan 2021 00:00:00 +0100 C11Tester: A Race Detector for C/C++ Atomics Technical Report.https://arxiv.org/abs/2102.07901, :
C11Tester: A Race Detector for C/C++ Atomics Technical Report. CoRR abs/2102.07901 ()]]>https://dblp.org/rec/journals/corr/abs-2102-07901Fri, 01 Jan 2021 00:00:00 +0100 Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate.https://arxiv.org/abs/2111.05290, , , :
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. CoRR abs/2111.05290 ()]]>https://dblp.org/rec/journals/corr/abs-2111-05290Fri, 01 Jan 2021 00:00:00 +0100 Satune: synthesizing efficient SAT encoders.https://doi.org/10.1145/3428214, , :
Satune: synthesizing efficient SAT encoders. Proc. ACM Program. Lang. 4(OOPSLA): 146:1-146:32 ()]]>https://dblp.org/rec/journals/pacmpl/GorjiaraXD20Wed, 01 Jan 2020 00:00:00 +0100 Packet-Level Signatures for Smart Home Devices.https://www.ndss-symposium.org/ndss-paper/packet-level-signatures-for-smart-home-devices/, , , :
Packet-Level Signatures for Smart Home Devices. NDSS ]]>https://dblp.org/rec/conf/ndss/TrimanandaVMD20Wed, 01 Jan 2020 00:00:00 +0100 Understanding and automatically detecting conflicting interactions between smart home IoT applications.https://doi.org/10.1145/3368089.3409682, , , , , :
Understanding and automatically detecting conflicting interactions between smart home IoT applications. ESEC/SIGSOFT FSE : 1215-1227]]>https://dblp.org/rec/conf/sigsoft/TrimanandaACDX020Wed, 01 Jan 2020 00:00:00 +0100 Securing Smart Home Edge Devices against Compromised Cloud Servers.https://arxiv.org/abs/2006.11657, , , , :
Securing Smart Home Edge Devices against Compromised Cloud Servers. CoRR abs/2006.11657 ()]]>https://dblp.org/rec/journals/corr/abs-2006-11657Wed, 01 Jan 2020 00:00:00 +0100 Gerenuk: thin computation over big native data using speculative program transformation.https://doi.org/10.1145/3341301.3359643, , , , , , :
Gerenuk: thin computation over big native data using speculative program transformation. SOSP : 538-553]]>https://dblp.org/rec/conf/sosp/NavascaCNDLKX19Tue, 01 Jan 2019 00:00:00 +0100 PingPong: Packet-Level Signatures for Smart Home Device Events.http://arxiv.org/abs/1907.11797, , , :
PingPong: Packet-Level Signatures for Smart Home Device Events. CoRR abs/1907.11797 ()]]>https://dblp.org/rec/journals/corr/abs-1907-11797Tue, 01 Jan 2019 00:00:00 +0100 Towards understanding the costs of avoiding out-of-thin-air results.https://doi.org/10.1145/3276506, :
Towards understanding the costs of avoiding out-of-thin-air results. Proc. ACM Program. Lang. 2(OOPSLA): 136:1-136:29 ()]]>https://dblp.org/rec/journals/pacmpl/OuD18Mon, 01 Jan 2018 00:00:00 +0100 Skyway: Connecting Managed Heaps in Distributed Big Data Systems.https://doi.org/10.1145/3173162.3173200, , , , , :
Skyway: Connecting Managed Heaps in Distributed Big Data Systems. ASPLOS : 56-69]]>https://dblp.org/rec/conf/asplos/NguyenFNXDL18Mon, 01 Jan 2018 00:00:00 +0100 Vigilia: Securing Smart Home Edge Computing.https://doi.org/10.1109/SEC.2018.00013, , , , , :
Vigilia: Securing Smart Home Edge Computing. SEC : 74-89]]>https://dblp.org/rec/conf/edge/TrimanandaYWXDX18Mon, 01 Jan 2018 00:00:00 +0100 ZenIDS: introspective intrusion detection for PHP applications.https://doi.org/10.1109/ICSE.2017.29, :
ZenIDS: introspective intrusion detection for PHP applications. ICSE : 232-243]]>https://dblp.org/rec/conf/icse/HawkinsD17Sun, 01 Jan 2017 00:00:00 +0100 Checking Concurrent Data Structures Under the C/C++11 Memory Model.https://doi.org/10.1145/3018743.3018749, :
Checking Concurrent Data Structures Under the C/C++11 Memory Model. PPoPP : 45-59]]>https://dblp.org/rec/conf/ppopp/OuD17Sun, 01 Jan 2017 00:00:00 +0100 A Practical Approach for Model Checking C/C++11 Code.https://doi.org/10.1145/2806886, :
A Practical Approach for Model Checking C/C++11 Code. ACM Trans. Program. Lang. Syst. 38(3): 10:1-10:51 ()]]>https://dblp.org/rec/journals/toplas/NorrisD16Fri, 01 Jan 2016 00:00:00 +0100 BlackBox: lightweight security monitoring for COTS binaries.https://doi.org/10.1145/2854038.2854062, , :
BlackBox: lightweight security monitoring for COTS binaries. CGO : 261-272]]>https://dblp.org/rec/conf/cgo/HawkinsDT16Fri, 01 Jan 2016 00:00:00 +0100 Yak: A High-Performance Big-Data-Friendly Garbage Collector.https://www.usenix.org/conference/osdi16/technical-sessions/presentation/nguyen, , , , , , :
Yak: A High-Performance Big-Data-Friendly Garbage Collector. OSDI : 349-365]]>https://dblp.org/rec/conf/osdi/NguyenFXDLAM16Fri, 01 Jan 2016 00:00:00 +0100 Optimizing binary translation of dynamically generated code.https://doi.org/10.1109/CGO.2015.7054188, , , :
Optimizing binary translation of dynamically generated code. CGO : 68-78]]>https://dblp.org/rec/conf/cgo/HawkinsDBZ15Thu, 01 Jan 2015 00:00:00 +0100 SATCheck: SAT-directed stateless model checking for SC and TSO.https://doi.org/10.1145/2814270.2814297, :
SATCheck: SAT-directed stateless model checking for SC and TSO. OOPSLA : 20-36]]>https://dblp.org/rec/conf/oopsla/DemskyL15Thu, 01 Jan 2015 00:00:00 +0100 AutoMO: automatic inference of memory order parameters for C/C++11.https://doi.org/10.1145/2814270.2814286, :
AutoMO: automatic inference of memory order parameters for C/C++11. OOPSLA : 221-240]]>https://dblp.org/rec/conf/oopsla/OuD15Thu, 01 Jan 2015 00:00:00 +0100 Speculative region-based memory management for big data systems.https://doi.org/10.1145/2818302.2818308, , , :
Speculative region-based memory management for big data systems. PLOS@SOSP : 27-32]]>https://dblp.org/rec/conf/sosp/NguyenFXD15Thu, 01 Jan 2015 00:00:00 +0100 Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs.https://doi.org/10.1145/2815400.2815407, , , , :
Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. SOSP : 394-409]]>https://dblp.org/rec/conf/sosp/FangNXDL15Thu, 01 Jan 2015 00:00:00 +0100 Outlawing ghosts: avoiding out-of-thin-air results.https://doi.org/10.1145/2618128.2618134, :
Outlawing ghosts: avoiding out-of-thin-air results. MSPC@PLDI : 7:1-7:6]]>https://dblp.org/rec/conf/pldi/BoehmD14Wed, 01 Jan 2014 00:00:00 +0100 A model counter for constraints over unbounded strings.https://doi.org/10.1145/2594291.2594331, , , :
A model counter for constraints over unbounded strings. PLDI : 565-576]]>https://dblp.org/rec/conf/pldi/LuuSSD14Wed, 01 Jan 2014 00:00:00 +0100 Views: Synthesizing fine-grained concurrency control.https://doi.org/10.1145/2430536.2430538, :
Views: Synthesizing fine-grained concurrency control. ACM Trans. Softw. Eng. Methodol. 22(1): 4:1-4:33 ()]]>https://dblp.org/rec/journals/tosem/DemskyL13Tue, 01 Jan 2013 00:00:00 +0100 Sinfer: Inferring information flow lattices for checking self-stabilization.https://doi.org/10.1109/ISSRE.2013.6698925, :
Sinfer: Inferring information flow lattices for checking self-stabilization. ISSRE : 258-267]]>https://dblp.org/rec/conf/issre/EomD13Tue, 01 Jan 2013 00:00:00 +0100 CDSchecker: checking concurrent data structures written with C/C++ atomics.https://doi.org/10.1145/2509136.2509514, :
CDSchecker: checking concurrent data structures written with C/C++ atomics. OOPSLA : 131-150]]>https://dblp.org/rec/conf/oopsla/NorrisD13Tue, 01 Jan 2013 00:00:00 +0100 Memory management for many-core processors with software configurable locality policies.https://doi.org/10.1145/2258996.2259000, :
Memory management for many-core processors with software configurable locality policies. ISMM : 3-14]]>https://dblp.org/rec/conf/iwmm/ZhouD12Sun, 01 Jan 2012 00:00:00 +0100 Self-stabilizing Java.https://doi.org/10.1145/2254064.2254099, :
Self-stabilizing Java. PLDI : 287-298]]>https://dblp.org/rec/conf/pldi/EomD12Sun, 01 Jan 2012 00:00:00 +0100 DOJ: dynamically parallelizing object-oriented programs.https://doi.org/10.1145/2145816.2145828, , , :
DOJ: dynamically parallelizing object-oriented programs. PPoPP : 85-96]]>https://dblp.org/rec/conf/ppopp/EomYJD12Sun, 01 Jan 2012 00:00:00 +0100 Using Discrete Event Simulation to Analyze Contention Managers.https://doi.org/10.1007/s10766-011-0170-9:
Using Discrete Event Simulation to Analyze Contention Managers. Int. J. Parallel Program. 39(6): 783-808 ()]]>https://dblp.org/rec/journals/ijpp/Demsky11Sat, 01 Jan 2011 00:00:00 +0100 Integrating file operations into transactional memory.https://doi.org/10.1016/j.jpdc.2011.04.005, :
Integrating file operations into transactional memory. J. Parallel Distributed Comput. 71(10): 1293-1304 ()]]>https://dblp.org/rec/journals/jpdc/DemskyT11Sat, 01 Jan 2011 00:00:00 +0100 Cross-application data provenance and policy enforcement.https://doi.org/10.1145/1952982.1952988:
Cross-application data provenance and policy enforcement. ACM Trans. Inf. Syst. Secur. 14(1): 6:1-6:22 ()]]>https://dblp.org/rec/journals/tissec/Demsky11Sat, 01 Jan 2011 00:00:00 +0100 Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory.https://doi.org/10.1109/TPDS.2011.23, :
Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory. IEEE Trans. Parallel Distributed Syst. 22(8): 1284-1298 ()]]>https://dblp.org/rec/journals/tpds/DashD11Sat, 01 Jan 2011 00:00:00 +0100 Bristlecone: Language Support for Robust Software Applications.https://doi.org/10.1109/TSE.2010.27, :
Bristlecone: Language Support for Robust Software Applications. IEEE Trans. Software Eng. 37(1): 4-23 ()]]>https://dblp.org/rec/journals/tse/DemskyS11Sat, 01 Jan 2011 00:00:00 +0100 Using Disjoint Reachability for Parallelization.https://doi.org/10.1007/978-3-642-19861-8_12, , :
Using Disjoint Reachability for Parallelization. CC : 198-224]]>https://dblp.org/rec/conf/cc/JenistaED11Sat, 01 Jan 2011 00:00:00 +0100 OoOJava: software out-of-order execution.https://doi.org/10.1145/1941553.1941563, , :
OoOJava: software out-of-order execution. PPoPP : 57-68]]>https://dblp.org/rec/conf/ppopp/JenistaED11Sat, 01 Jan 2011 00:00:00 +0100 AFID: an automated approach to collecting software faults.https://doi.org/10.1007/s10515-010-0068-6, , :
AFID: an automated approach to collecting software faults. Autom. Softw. Eng. 17(3): 347-372 ()]]>https://dblp.org/rec/journals/ase/EdwardsTD10Fri, 01 Jan 2010 00:00:00 +0100 Views: object-inspired concurrency control.https://doi.org/10.1145/1806799.1806858, :
Views: object-inspired concurrency control. ICSE (1) : 395-404]]>https://dblp.org/rec/conf/icse/DemskyL10Fri, 01 Jan 2010 00:00:00 +0100 Automatically Generating Symbolic Prefetches for Distributed Transactional Memories.https://doi.org/10.1007/978-3-642-16955-7_18, :
Automatically Generating Symbolic Prefetches for Distributed Transactional Memories. Middleware : 355-375]]>https://dblp.org/rec/conf/middleware/DashD10Fri, 01 Jan 2010 00:00:00 +0100 Bamboo: a data-centric, object-oriented approach to many-core software.https://doi.org/10.1145/1806596.1806640, :
Bamboo: a data-centric, object-oriented approach to many-core software. PLDI : 388-399]]>https://dblp.org/rec/conf/pldi/ZhouD10Fri, 01 Jan 2010 00:00:00 +0100 Symbolic prefetching in transactional distributed shared memory.https://doi.org/10.1145/1693453.1693499, :
Symbolic prefetching in transactional distributed shared memory. PPoPP : 331-332]]>https://dblp.org/rec/conf/ppopp/DashD10Fri, 01 Jan 2010 00:00:00 +0100 Recovery Tasks: An Automated Approach to Failure Recovery.https://doi.org/10.1007/978-3-642-16612-9_18, , :
Recovery Tasks: An Automated Approach to Failure Recovery. RV : 229-244]]>https://dblp.org/rec/conf/rv/DemskyZM10Fri, 01 Jan 2010 00:00:00 +0100 Automatically Tuning Task-Based Programs for Multicore Processors.https://doi.org/10.1007/978-1-4419-6935-4_18, :
Automatically Tuning Task-Based Programs for Multicore Processors. Software Automatic Tuning, From Concepts to State-of-the-Art Results : 315-334]]>https://dblp.org/rec/books/daglib/p/ZhouD10Fri, 01 Jan 2010 00:00:00 +0100 Automatic Extraction of Heap Reference Properties in Object-Oriented Programs.https://doi.org/10.1109/TSE.2008.91, :
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. 35(3): 305-324 ()]]>https://dblp.org/rec/journals/tse/DemskyR09Thu, 01 Jan 2009 00:00:00 +0100 Software transactional distributed shared memory.https://doi.org/10.1145/1504176.1504223, :
Software transactional distributed shared memory. PPoPP : 297-298]]>https://dblp.org/rec/conf/ppopp/DashD09Thu, 01 Jan 2009 00:00:00 +0100 Bristlecone: A Language for Robust Software Systems.https://doi.org/10.1007/978-3-540-70592-5_21, :
Bristlecone: A Language for Robust Software Systems. ECOOP : 490-515]]>https://dblp.org/rec/conf/ecoop/DemskyD08Tue, 01 Jan 2008 00:00:00 +0100 AFID: an automated fault identification tool.https://doi.org/10.1145/1390630.1390653, , , , :
AFID: an automated fault identification tool. ISSTA : 179-188]]>https://dblp.org/rec/conf/issta/EdwardsTWVD08Tue, 01 Jan 2008 00:00:00 +0100 Data structure repair using goal-directed reasoning.https://hdl.handle.net/1721.1/35524:
Data structure repair using goal-directed reasoning. Massachusetts Institute of Technology, Cambridge, MA, USA, ]]>https://dblp.org/rec/phd/ndltd/Demsky06Sun, 01 Jan 2006 00:00:00 +0100 Goal-Directed Reasoning for Specification-Based Data Structure Repair.https://doi.org/10.1109/TSE.2006.122, :
Goal-Directed Reasoning for Specification-Based Data Structure Repair. IEEE Trans. Software Eng. 32(12): 931-951 ()]]>https://dblp.org/rec/journals/tse/DemskyR06Sun, 01 Jan 2006 00:00:00 +0100 Inference and enforcement of data structure consistency specifications.https://doi.org/10.1145/1146238.1146266, , , , , :
Inference and enforcement of data structure consistency specifications. ISSTA : 233-244]]>https://dblp.org/rec/conf/issta/DemskyEGMPR06Sun, 01 Jan 2006 00:00:00 +0100 Data structure repair using goal-directed reasoning.https://doi.org/10.1145/1062455.1062499, :
Data structure repair using goal-directed reasoning. ICSE : 176-185]]>https://dblp.org/rec/conf/icse/DemskyR05Sat, 01 Jan 2005 00:00:00 +0100 Static Specification Analysis for Termination of Specification-Based Data Structure Repair.https://doi.org/10.1109/ISSRE.2003.1251032, :
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. ISSRE : 71-84]]>https://dblp.org/rec/conf/issre/DemskyR03Wed, 01 Jan 2003 00:00:00 +0100 Automatic detection and repair of errors in data structures.https://doi.org/10.1145/949305.949314, :
Automatic detection and repair of errors in data structures. OOPSLA : 78-95]]>https://dblp.org/rec/conf/oopsla/DemskyR03Wed, 01 Jan 2003 00:00:00 +0100 Role-based exploration of object-oriented programs.https://doi.org/10.1145/581339.581379, :
Role-based exploration of object-oriented programs. ICSE : 313-334]]>https://dblp.org/rec/conf/icse/DemskyR02Tue, 01 Jan 2002 00:00:00 +0100