|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1114 occurrences of 669 keywords
|
|
|
Results
Found 2461 publication records. Showing 2440 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
114 | Sheree Josephson, Michael E. Holmes |
Cross-race recognition deficit and visual attention: do they all look (at faces) alike? |
ETRA |
2008 |
DBLP DOI BibTeX RDF |
cross-race recognition deficit, eyewitness, own-race bias, eye tracking, visual attention |
107 | Koushik Sen |
Race directed random testing of concurrent programs. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, random testing, race detection |
92 | Sarita V. Adve, Mark D. Hill |
A Unified Formalization of Four Shared-Memory Models. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency |
83 | Jobany Rodriguez, Heather Bortfeld, Ricardo Gutierrez-Osuna |
Reducing the other-race effect through caricatures. |
FG |
2008 |
DBLP DOI BibTeX RDF |
|
81 | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger |
Finding race conditions in Erlang with QuickCheck and PULSE. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, Erlang, race conditions |
81 | Cormac Flanagan, Stephen N. Freund |
FastTrack: efficient and precise dynamic race detection. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, race conditions |
76 | Xunwei Wu, Xiexiong Chen, Jizhong Shen |
Race-Hazard and Skip-Hazard in Multivalued Combinational Circuits. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
race-hazard, skip-hazard, multivalued combinational circuits, race hazards, AND/OR expression, skip hazard, multivalued circuits, fast transition, small load capacitor, combinational circuits, multivalued logic circuits, hazards and race conditions, input signals |
75 | Mi-Young Park, Sang-Hwa Chung |
Detecting Race Conditions in One-Sided Communication of MPI Programs. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
72 | Koenraad Audenaert, Luk Levrouw |
Space efficient data race detection for parallel programs with series-parallel task graphs. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join |
70 | Lily Huang, Michael R. Smith 0001, Albert Tran, James Miller 0001 |
E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
68 | Cormac Flanagan, Stephen N. Freund |
Adversarial memory for detecting destructive races. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, race conditions, relaxed memory models |
66 | Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson |
On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs. |
SPAA |
2004 |
DBLP DOI BibTeX RDF |
SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set |
63 | Adrian Nistor, Darko Marinov, Josep Torrellas |
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
execution history hash, data race, systematic testing |
63 | Abdullah Muzahid, Darío Suárez Gracia, Shanxiang Qi, Josep Torrellas |
SigRace: signature-based data race detection. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
SigRace, concurrency defect, signature, timestamp, data race, happened-before |
63 | Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su |
NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
architecture, debugging, many-core, race detection |
63 | Therese J. Albert, Kai Qian, Xiang Fu 0001 |
Race condition in Ajax-based web application. |
ACM Southeast Regional Conference |
2008 |
DBLP DOI BibTeX RDF |
dynamic web application, concurrency, Ajax, lock, race condition |
63 | Jinpeng Wei, Calton Pu |
Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic Modeling, Race Condition |
63 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: a race and transaction-aware java runtime. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
Java runtime, software transactions, runtime monitoring, data-race detection |
63 | Jianyin Zhang, Sen Su, Fangchun Yang |
Detecting Race Conditions in Web Services. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
Web Services, Petri net, feature interaction, race condition |
63 | Dieter Kranzlmüller, Siegfried Grabner, Jens Volkert |
Using Control and Data Flow Analysis for Race Evaluation. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
event manipulation, Debugging, program analysis, race conditions |
62 | Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder |
Automatically classifying benign and harmful data racesallusing replay analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
benign data races, concurrency Bbugs, replay |
62 | Kunal Agrawal, Charles E. Leiserson, Jim Sukha |
Memory models for open-nested transactions. |
Memory System Performance and Correctness |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Ali Jannesari, Walter F. Tichy |
On-the-fly race detection in multi-threaded programs. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before |
61 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
57 | Tachio Terauchi |
Checking race freedom via linear programming. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
fractional capabilities, linear programming |
57 | Terence Chan |
RaceCheck: A Race Logic Audit Program For SoC Designs. |
APCCAS |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu |
Detecting Race Conditions in Parallel Programs that Use Semaphores. |
Algorithmica |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer |
Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). |
ESA |
1996 |
DBLP DOI BibTeX RDF |
|
57 | Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick |
Algorithms for the optimal state assignment of asynchronous state machines. |
ARVLSI |
1995 |
DBLP DOI BibTeX RDF |
optimal state assignment, asynchronous state machines, state codes, race-free state assignment, hazard-free state assignment, input encoding problem, sum-of-products implementations, finite state machines, asynchronous circuits, state assignment, minimisation of switching nets, hazards and race conditions, asynchronous sequential logic |
54 | Gwendolyn Voskuilen, Faraz Ahmad, T. N. Vijaykumar |
Timetraveler: exploiting acyclic races for optimizing memory race recording. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
race recording, debugging, determinism, replay |
54 | Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy |
LiteRace: effective sampling for lightweight data-race detection. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
dynamic data race detection, sampling, concurrency bugs |
54 | Ram Keralapura, Chen-Nee Chuah, Nina Taft, Gianluca Iannaccone |
Race conditions in coexisting overlay networks. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
interaction between multiple overlay networks, traffic oscillations, synchronization, race conditions |
54 | Bin Lei, Linzhang Wang, Xuandong Li |
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
race condition, UML activity diagram |
54 | Mayur Naik, Alex Aiken |
Conditional must not aliasing for static race detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
54 | Martín Abadi, Cormac Flanagan, Stephen N. Freund |
Types for safe locking: Static race detection for Java. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
type system, Concurrent programs, type inference, race conditions |
53 | Fangli Pu, Hai-Yin Xu |
A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Bill Mitchell |
Inherent Causal Orderings of Partial Order Scenarios. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Ming-Dong Feng, Chung-Kwong Yuen |
Detection of Races and Control-Flow Nondeterminism. |
LCR |
1998 |
DBLP DOI BibTeX RDF |
|
51 | Julio Cesar da Silva, Rafael de Magalhaes Dias Frinhani, Ricardo Martins de Abreu Silva, Geraldo Robson Mateus |
Auto-parametrização do GRASP com Path-Relinking no agrupamento de dados com F-Race e iterated F-Race [Automatic Tuning of GRASP with Path-Relinking in data clustering with F-Race and iterated F-Race]. |
SBSI |
2015 |
DBLP DOI BibTeX RDF |
|
48 | Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga |
On Race Vulnerabilities in Web Applications. |
DIMVA |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta |
Fast and Accurate Static Data-Race Detection for Concurrent Programs. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Milos Prvulovic |
CORD: cost-effective (and nearly overhead-free) order-recording and data race detection. |
HPCA |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Bill Mitchell |
Resolving Race Conditions in Asynchronous Partial Order Scenarios. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
formal methods, Requirements analysis, distributed programming |
48 | Chien-An Chen, Sara Kalvala, Jane E. Sinclair |
Race Conditions in Message Sequence Charts. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Shih-Hsu Huang, Yow-Tyng Nieh, Feng-Pin Lu |
Race-condition-aware clock skew scheduling. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
sequential circuits, high performance, timing optimization |
48 | Ana Paula Cláudio, João Duarte Cunha |
A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Robert O. Briggs, Tomas P. Gregory |
Token Dispensers for GSS Race Conditions: Locking Things That Don't Exist. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Mark Christiaens, Koenraad De Bosschere |
TRaDe: Data Race Detection for Java. |
International Conference on Computational Science (2) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Bengt Carlsson, Rune Gustavsson |
Arms Race within Information Ecosystems. |
CIA |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Bengt Carlsson |
The Tragedy of the Commons - Arms Race within Peer-to-Peer Tools. |
ESAW |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Michael B. Feldman |
An Ada 95 Sort Race Construction Set. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Concurrent Programming, Ada 95, Algorithm Animation |
48 | Carole M. McNamee, Ronald A. Olsson |
Comments on "Critical Races in Ada Programs''. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Ada rendezvous mechanism, critical race problem, critical race-free programs, Ada, semantics, programming |
48 | Enes Göktas, Elias Athanasopoulos, Herbert Bos, Georgios Portokalidis |
Evaluating control-flow restricting defenses. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Mathias Payer |
How memory safety violations enable exploitation of programs. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Yier Jin, Dean Sullivan, Orlando Arias, Ahmad-Reza Sadeghi, Lucas Davi |
Hardware control flow integrity. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Bart Coppens 0001, Bjorn De Sutter, Stijn Volckaert |
Multi-variant execution environments. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Stephen Crane, Andrei Homescu, Per Larsen, Hamed Okhravi, Michael Franz |
Diversity and information leaks. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Felix Schuster, Thorsten Holz |
Attacking dynamic code. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Gang Tan, Ben Niu 0007 |
Protecting dynamic code. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar 0001, Dawn Song |
Code-pointer integrity. |
The Continuing Arms Race |
2018 |
DBLP DOI BibTeX RDF |
|
46 | Gilles Pokam, Cristiano Pereira, Klaus Danne, Rolf Kassa, Ali-Reza Adl-Tabatabai |
Architecting a chunk-based memory race recorder in modern CMPs. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
memory race recorder, determinism, deterministic replay |
46 | Mayur Naik, Alex Aiken, John Whaley |
Effective static race detection for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
46 | Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Petersen, Josep Torrellas |
Accurate and efficient filtering for the Intel thread checker race detector. |
ASID |
2006 |
DBLP DOI BibTeX RDF |
data-race detection |
46 | Prem Uppuluri, Uday Joshi, Arnab Ray |
Preventing race condition attacks on file-systems. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
security, race conditions, system calls |
46 | Yuan Yu, Tom Rodeheffer, Wei Chen |
RaceTrack: efficient detection of data race conditions via adaptive tracking. |
SOSP |
2005 |
DBLP DOI BibTeX RDF |
virtual machine instrumentation, race detection |
46 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
46 | Dawson R. Engler, Ken Ashcraft |
RacerX: effective, static detection of race conditions and deadlocks. |
SOSP |
2003 |
DBLP DOI BibTeX RDF |
deadlock detection, race detection, program checking |
46 | Eli Pozniansky, Assaf Schuster |
Efficient on-the-fly data race detection in multihreaded C++ programs. |
PPoPP |
2003 |
DBLP DOI BibTeX RDF |
concurrency, synchronization, multithreading, instrumentation, data race |
46 | Bradley C. Kuszmaul |
The RACE network architecture. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
RACE network architecture, high-performance parallel interconnection network, 6-port switches, preemptable circuit switched strategy, self-regulating circuit, output delay, performance evaluation, real-time systems, parallel architectures, mesh, real-time constraints, Clos network, fat-tree, parallel computer system |
44 | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
Dataflow analysis for concurrent programs using datarace detection. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
locksets, interprocedural analysis, multithreaded programs, summaries |
42 | Cormac Flanagan, Shaz Qadeer |
A type and effect system for atomicity. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
multithreading, atomicity, race conditions, static checking |
42 | Christopher A. Rouff, James L. Rash, Michael G. Hinchey |
Experience Using Formal Methods for Specifying a Multi-Agent System. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team |
40 | Race in H. C. I. Collective, Angela D. R. Smith, Adriana Alvarado Garcia, Ian Arawjo, Audrey Bennett, Khalia Braswell, Bryan Dosono, Ron Eglash, Denae Ford, Daniel L. Gardner, Shamika Goddard, Jaye Nias, Cale J. Passmore, Yolanda A. Rankin, Naba Rizvi, Carol F. Scott, Jakita Thomas, Alexandra To, Ihudiya Finda Ogbonnaya-Ogburu, Marisol Wong-Villacres |
Keepin' it real about race in HCI. |
Interactions |
2021 |
DBLP DOI BibTeX RDF |
|
39 | Yifeng Zhu, Hong Jiang 0001 |
RACE: A Robust Adaptive Caching Strategy for Buffer Cache. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Buffering, Main memory, Input/output |
39 | Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan |
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Nicolas Blanc, Daniel Kroening |
Race analysis for SystemC using model checking. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Prasanna Balaprakash, Mauro Birattari, Thomas Stützle |
Improvement Strategies for the F-Race Algorithm: Sampling Design and Iterative Refinement. |
Hybrid Metaheuristics |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Pin Zhou, Radu Teodorescu, Yuanyuan Zhou |
HARD: Hardware-Assisted Lockset-based Race Detection. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
Design with race-free hardware semantics. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede |
Extended abstract: a race-free hardware modeling language. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Mi-Young Park, Yong-Kee Jun |
Detecting Unaffected Race Conditions in Message-Passing Programs. |
PVM/MPI |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Lijun Yin 0001, Jingrong Jia, Joseph P. Morrissey |
Towards Race-Related Face Identification: Research On Skin Color Transfer. |
FGR |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Mahesh A. Iyer |
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
39 | David Butler, Vishy Karri |
Race Car Chassis Tuning Using Artificial Neural Networks. |
Australian Conference on Artificial Intelligence |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo |
A Practical Method for On-the-Fly Data Race Detection. |
PARA |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Young-Cheol Kim, Yong-Kee Jun |
Restructuring Parallel Programs for On-the-Fly Race Detection. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Anton Beranek |
Data Race Detection Based on Replay for Parallel Applications. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
39 | Stanislav Polonsky, Moyra K. McManus, Daniel R. Knebel, Steve Steen, Pia N. Sanda |
Non-invasive timing analysis of IBM G6 microprocessor L1 cache using picosecond imaging circuit analysis. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
imaging circuit analysis, IBM G6 microprocessor, non-invasive backside timing, Picosecond Imaging Circuit Analysis, waveform extraction, integrated circuit testing, timing analysis, race condition, circuit switching, integrated memory circuits, hazards and race conditions, L1 cache |
39 | Hong-Yean Hsieh, Wentai Liu, Ralph K. Cavin III, C. Thomas Gray |
Concurrent timing optimization of latch-based digital systems. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
concurrent timing optimization, latch-based digital systems, digital system timing, intentional clock skew, latch-based designed systems, multi-phase clocking, resynchronization, latches insertion, optimisation, timing, logic design, flip-flops, retiming, mixed integer linear program, race conditions, integrated framework, wave pipelining, hazards and race conditions, clock period |
37 | Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang |
Static data race detection for concurrent programs with asynchronous calls. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
asynchronous programs, static data race detection, bootstrapping, pointer analysis |
37 | Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter |
MulticoreSDK: a practical and efficient data race detector for real-world applications. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
concurrent program analysis, multicore platform, data race detection |
37 | Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
RELAY: static race detection on millions of lines of code. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
static analysis, race detection |
37 | Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen |
A theory of data race detection. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
access conflict, synchronization, dependence, thread, data race, vector clock, happens-before |
37 | Min Xu, Mark D. Hill, Rastislav Bodík |
A regulated transitive reduction (RTR) for longer memory race recording. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
race recording, multithreading, determinism |
37 | Kyung-suk Lhee, Steve J. Chapin |
Detection of file-based race conditions. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Time-of-check-to-time-of-use (TOCTTOU) flaws, Security, Race condition |
37 | Robert O'Callahan, Jong-Deok Choi |
Hybrid dynamic data race detection. |
PPoPP |
2003 |
DBLP DOI BibTeX RDF |
dynamic race detection, lockset hybrid, Java, happens-before |
37 | Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson |
Eraser: A Dynamic Data Race Detector for Multithreaded Programs. |
ACM Trans. Comput. Syst. |
1997 |
DBLP DOI BibTeX RDF |
binary code modification, race detection, multithreaded programming |
37 | Thomas H. Einstein |
Mercury Computer Systems' modular heterogeneous RACE(R) multicomputer. |
Heterogeneous Computing Workshop |
1997 |
DBLP DOI BibTeX RDF |
Mercury Computer Systems, modular heterogeneous RACE multicomputer, heterogeneous multicomputer, Analog Devices, SHARC 21060, Apple PowerPC 603p, optimal processor, physical processing density, heterogeneity, distributed memory systems, programmability, IBM, hardware cost, Motorola |
35 | Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley |
PACER: proportional detection of data races. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
concurrency, sampling, data races, bugs |
35 | Xiang Cai, Yuwei Gui, Rob Johnson |
Exploiting Unix File-System Races via Algorithmic Complexity Attacks. |
SP |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2440 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|