A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Accuracy Bugs
2016
ACM Transactions on Architecture and Code Optimization (TACO)
Preserved Fulltext
This study demonstrates how embracing accuracy bugs affects the application output quality and performance and analyzes the impact on execution semantics. ...
CCS Concepts: r Computer systems organization → Reliability; r Software and its engineering → Error handling and recovery; r Computing methodologies → Shared memory algorithms; ...
We use Thread Sanitizer [Serebryany and Iskhodzhanov 2009] and Helgrind [Nethercote 2004 ] to detect data races. ...
doi:10.1145/3017991
fatcat:5uk2fjftojgv7dkgekahbxhd5m
OWL: Understanding and Detecting Concurrency Attacks
2018
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
MySQL data races confirmed with bug ID 84064, 84122, 84241. ...
Our study further reveals that, only extremely small portions of inputs and thread interleavings (or schedules) can trigger these attacks, and existing concurrency bug detectors work poorly because they ...
Second, even if a bug-triggering input is identified, a program may still run into too many thread interleavings (or schedules), depending on runtime effects (e.g., hardware timings) and synchronization ...
doi:10.1109/dsn.2018.00033
dblp:conf/dsn/ZhaoGQLWCY18
fatcat:koybijenezbufbucrgpoiu6hz4
Lazy Diagnosis of In-Production Concurrency Bugs
2017
Proceedings of the 26th Symposium on Operating Systems Principles - SOSP '17
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our Lazy Diagnosis prototype, S, relies on commodity hardware to track thread interleavings at a coarse granularity. ...
We test the coarse interleaving hypothesis by studying 54 bugs in 13 systems and nd that it holds in all cases. ...
We are also thankful to Ioan Stefanovici and Miguel Castro for their generous help in improving this paper. is work was supported in part by the Electrical Engineering and Computer Science Department of ...
doi:10.1145/3132747.3132767
dblp:conf/sosp/KasikciCGN17
fatcat:2zho2pklhbdbtiivxmfhycwfam
Detecting and surviving data races using complementary schedules
2011
Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles - SOSP '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Data races are a common source of errors in multithreaded programs. ...
In this paper, we show how to protect a program from data race errors at runtime by executing multiple replicas of the program with complementary thread schedules. ...
Acknowledgments We thank the anonymous reviewers and our shepherd, Tim Harris, for comments that improved this paper. Jie Hou and Jessica Ouyang helped gather data used in the paper. ...
doi:10.1145/2043556.2043590
dblp:conf/sosp/VeeraraghavanCFN11
fatcat:6mkx45zzb5hnvaej6dww3k3m3m
Yashme: detecting persistency races
2022
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
A major challenge is that in order to detect persistency races, the execution must crash in a very narrow window between a store with a persistency race and its corresponding cache flush operation, making ...
CCS CONCEPTS • Hardware → Memory and dense storage; • Software and its engineering → Software verification and validation; Compilers. ...
well as ONR grants N00014-16-1-2913 and N00014-18-1-2037. ...
doi:10.1145/3503222.3507766
fatcat:vlulq4tyrvchvktso7hgwcyjey
Predicting concurrency bugs
2015
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering - EASE '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
We present an approach whose focus is understanding the differences between concurrency and non-concurrency bugs, the differences among various concurrency bug classes, and predicting bug quantity, type ...
, and location, from patches, bug reports and bug-fix metrics. ...
INTRODUCTION Concurrent programming is challenging, and concurrency bugs are particularly hard to diagnose and fix for several reasons, e.g., thread interleavings and shared data complicate reasoning about ...
doi:10.1145/2745802.2745807
dblp:conf/ease/ZhouNG15
fatcat:6r7jok3mt5fftovapij4gxl4dy
Understanding Persistent-Memory Related Issues in the Linux Kernel
[article]
2023
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2023; you can also visit the original URL.
The file type is application/pdf.
, fix strategies, triggering conditions, and remedy solutions. ...
To better understand the challenges as well as the opportunities to address them, this paper presents a comprehensive study of PM-related issues in the Linux kernel. ...
In addition, many concurrency bugs such as data races cannot be easily reproduced due to the nondeterminism of thread interleavings. ...
arXiv:2307.04095v1
fatcat:t6runjksxza6nf3w2kzboxl5qm
Reduced Execution Semantics of MPI: From Theory to Practice
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Since the number of interleavings of concurrent programs grow exponentially, we devise a dynamic interleaving reduction algorithm (dynamic partial order reduction, DPOR) tailor-made for MPI, called POE ...
The key contributions of this paper are: (i) a formal semantics that elucidates the complex dynamic semantics of MPI, and played an essential role in the design of the POE algorithm and the construction ...
The data is received into buffer and handle is returned by the MPI runtime which uniquely identifies the receive in the MPI runtime. ...
doi:10.1007/978-3-642-05089-3_46
fatcat:4um4sxzkpbblfiw453u6uzu7vm
P4K: A Formal Semantics of P4 and Applications
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
code, state space exploration of P4 programs and of networks, bug finding using symbolic execution, data plane verification, program verification, and translation validation. ...
Based on this semantics, K provides an interpreter and various analysis tools including a symbolic model checker and a deductive program verifier for P4. ...
We would also like to thank Nate Foster and the members of P4 Language Consortium for their support. We thank Brighten Godfrey, Farnaz Jahanbakhsh, and Alex Horn for their feedback. ...
arXiv:1804.01468v1
fatcat:plnzzuf5j5dg3jpwxind5lo3uu
On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments
2014
2014 Tenth European Dependable Computing Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
This paper presents a new methodology to identify fault injection-induced silent failures and assess their impact in a fully automated way. ...
Our investigation across several different programs demonstrates that the impact of silent failures is relevant, consistent with field data, and should be carefully considered to avoid compromising the ...
Our log includes externally visible system calls made by all child processes and threads, tagged with the calling process or thread. As a result, system calls are interleaved randomly. ...
doi:10.1109/edcc.2014.16
dblp:conf/edcc/KouweGT14
fatcat:ph4d3yavvba7zkxpz45qnylg5i
Essentials of programming languages
2008
ChoiceReviews
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(previously entitled Lisp and Symbolic Computation), IEEE Software, Journal of Computer Languages, and Software: Practice and Experience. ...
on Functional Programming (ICFP), the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), and the IEEE International Conference on Computer Languages (ICCL). ...
Instrument the interpreter to trace the creation of thread identifiers. Check to see that the ready queue contains at most one thread for each thread identifier. ...
doi:10.5860/choice.46-1527
fatcat:pb2okiesgzfxtjquvfa3kgsmju
Memory leads the way to better computing
2015
Nature Nanotechnology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The goal of the study was to assay the state of the art, and not to either propose a potential system or prepare and propose a detailed roadmap for its development. ...
I am honored to have been part of this study, and wish to thank the study members for their passion for the subject, and for contributing far more of their precious time than they expected. Peter M. ...
create dependencies across loop iterations and therefore require special attention to avoid data races in the generated code. ...
doi:10.1038/nnano.2015.29
pmid:25740127
fatcat:d6iiuuwcozbxlgn4kxxzdzwd4m
Queer Narrative Theory and the Relationality of Form
2021
Publications of the Modern Language Association of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Antinarrativity understands narrative as a conservative form that abets heteronormativity by imposing a coherence and linearity on subjectivity and meaning. ...
This essay discovers queerness instead within mundane and messy attachments that endure across time and space. ...
They visualize latent connections and even discover new relations that did not preexist their arc. Such affordances matter because Gladman understands lines as "the essence of writing" (104). ...
doi:10.1632/s0030812921000407
fatcat:l7bfjgqquvfzfoqpcxxwkyygym
Asynchronous event handling in the real-time specification for Java
2007
Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Although the RTSJ provides both the flexibility of threads and the efficiency of events, it is generally unclear how to map handlers to real-time threads effectively to achieve the primary motivation, ...
As a result, most RTSJ implementations simply mapped a released handler to a real-time thread and this results in a 1:1 relationship and therefore undermining the original motivation. ...
The result is a testimony to his professional and affectionate tutorship. It goes without saying that I am greatly indebted to him for his ...
doi:10.1145/1288940.1288942
dblp:conf/jtres/KimW07
fatcat:3meiwr5ztncrpm6zukpwnp7t4q
Interactive Open-Ended Learning for 3D Object Recognition
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The contributions presented in this thesis have been fully implemented and evaluated on different standard object and scene datasets and empirically evaluated on different robotic platforms. ...
In this context, "open-ended" implies that the set of categories to be learned is not known in advance, and the training instances are extracted from actual experiences of a robot, and thus become gradually ...
) identified in a spoken utterance. ...
arXiv:1912.09539v1
fatcat:aksfik7earfafpe7n5amsehc2e
« Previous
Showing results 1 — 15 out of 163 results