Search results for "race conditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, 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
3	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
3	Hong-Yean Hsieh, Wentai Liu, Ralph K. Cavin III, C. Thomas Gray	Concurrent timing optimization of latch-based digital systems. (PDF / PS)	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
2	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
2	Mi-Young Park, Sang-Hwa Chung	Detecting Race Conditions in One-Sided Communication of MPI Programs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	PLDI	2009	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions
2	Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel	Operating systems transactions.	SOSP	2009	DBLP DOI BibTeX RDF	txos, operating systems, transactions, transactional memory, race conditions
2	Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.	ATVA	2008	DBLP DOI BibTeX RDF
2	Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva	Portably solving file races with hardness amplification.	TOS	2008	DBLP DOI BibTeX RDF	TOCTTOU, time-of-check-to-time-of-use, Race conditions
2	Shih-Hsu Huang, Yow-Tyng Nieh	Clock skew scheduling with race conditions considered.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Sequential circuits, logic synthesis, performance optimization, timing optimization
2	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
2	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
2	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
2	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
2	Chien-An Chen, Sara Kalvala, Jane Sinclair	Race Conditions in Message Sequence Charts.	APLAS	2005	DBLP DOI BibTeX RDF
2	Mi-Young Park, Yong-Kee Jun	Detecting Unaffected Race Conditions in Message-Passing Programs.	PVM/MPI	2004	DBLP DOI BibTeX RDF
2	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
2	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
2	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
2	Robert O. Briggs, Tomas P. Gregory	Token Dispensers for GSS Race Conditions: Locking Things That Don't Exist. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Shaz Qadeer	A type and effect system for atomicity.	PLDI	2003	DBLP DOI BibTeX RDF	multithreading, atomicity, race conditions, static checking
2	Christopher 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
2	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
2	Andrew Kay, Joy N. Reed	A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing
1	Christoph von Praun	Race Conditions.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Michael Kistler, Daniel A. Brokenshire	Detecting race conditions in asynchronous DMA operations with full system simulation.	ISPASS	2011	DBLP DOI BibTeX RDF
1	John M. Hughes, Hans Bolinder	Testing a database for race conditions with QuickCheck: none.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
1	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.	ESEM	2011	DBLP DOI BibTeX RDF
1	Maria Christakis, Konstantinos F. Sagonas	Static Detection of Race Conditions in Erlang.	PADL	2010	DBLP DOI BibTeX RDF
1	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
1	Dean F. Sutherland, William L. Scherlis	Composable thread coloring.	PPOPP	2010	DBLP DOI BibTeX RDF	keywords: state consistency, state confinement, thread policy, java, annotation, multicore, race conditions
1	Robert A. Chesebrough, Ivan Turner	Parallel computing: at the interface of high school and industry.	SIGCSE	2010	DBLP DOI BibTeX RDF	intel parallel studio, threading building blocks, parallelism, concurrency, synchronization, openmp, deadlocks, reductions, domain decomposition, role playing, race conditions, critical sections, high school, task decomposition
1	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
1	Brian Demsky, Patrick Lam	Views: object-inspired concurrency control.	ICSE	2010	DBLP DOI BibTeX RDF	concurrency, language design, static verification
1	Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan	A symbolic verifier for CUDA programs.	PPOPP	2010	DBLP DOI BibTeX RDF	spmd, formal verification, symbolic analysis, cuda
1	Eric Kerfoot, Steve McKeever	Checking concurrent contracts with aspects.	SAC	2010	DBLP DOI BibTeX RDF	Java, concurrency, AOP, active objects, runtime assertion checking
1	Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser	The case for active device drivers.	ApSys	2010	DBLP DOI BibTeX RDF	stack ripping, concurrency, device drivers
1	Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh	Introducing concurrency in CS 1.	SIGCSE	2010	DBLP DOI BibTeX RDF	objectdraw, java, concurrency, cs 1
1	Oren Laadan, Jason Nieh	Operating system virtualization: practice and experience.	SYSTOR	2010	DBLP DOI BibTeX RDF	operating systems, virtualization
1	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
1	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser	Dingo: taming device drivers.	EuroSys	2009	DBLP DOI BibTeX RDF	reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance
1	Phil McMinn	Search-based failure discovery using testability transformations to generate pseudo-oracles.	GECCO	2009	DBLP DOI BibTeX RDF	non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
1	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
1	Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman	Detecting and tolerating asymmetric races.	PPOPP	2009	DBLP DOI BibTeX RDF	race detection and toleration, dynamic instrumentation, runtime support
1	Xiang Cai, Yuwei Gui, Rob Johnson	Exploiting Unix File-System Races via Algorithmic Complexity Attacks.	IEEE Symposium on Security and Privacy	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko	Behavioural Analysis of an I2C Linux Driver.	FMICS	2009	DBLP DOI BibTeX RDF
1	Anne Bouillard, Stefan Haar, Sidney Rosario	Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net.	FORMATS	2009	DBLP DOI BibTeX RDF
1	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution of Distributed Concurrent Objects.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Michael P. Ashley-Rollman	Research Summary: Logic Programming for Massively Distributed Systems.	ICLP	2009	DBLP DOI BibTeX RDF
1	Moritz Kleine, Steffen Helke	Low-Level Code Verification Based on CSP Models.	SBMF	2009	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	2009	DBLP DOI BibTeX RDF	Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis
1	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution for Testing Distributed Objects.	TAP	2009	DBLP DOI BibTeX RDF
1	Divakar Yadav, Michael Butler	Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Adrian Colesa, Radu Tudoran, Sebastian Banescu	Software Random Number Generation Based on Race Conditions.	SYNASC	2008	DBLP DOI BibTeX RDF
1	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
1	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
1	Alan David Fekete	Teaching students to develop thread-safe java classes.	ITiCSE	2008	DBLP DOI BibTeX RDF	data interference, thread-safety, concurrency, synchronization, race conditions
1	Therese J. Albert, Kai Qian, Xiang Fu	Race condition in Ajax-based web application.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	dynamic web application, concurrency, Ajax, lock, race condition
1	Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode	Enforcing authorization policies using transactional memory introspection.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	transactional memory, reference monitors
1	Nicolas Blanc, Daniel Kroening	Race analysis for SystemC using model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
1	Basile Schaeli, Roger D. Hersch	Dynamic testing of flow graph based parallel applications.	PADTAD	2008	DBLP DOI BibTeX RDF
1	M. Teresa Higuera-Toledano	Making stronger and flexible the single parent rule in the real-time specification of Java.	JTRES	2008	DBLP DOI BibTeX RDF	illegal assignments, reference-counting collection, scoped-regions, single parent rule, real-time Java, write-barriers
1	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich	Verifying correct usage of atomic blocks and typestate.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, permissions, typestate
1	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
1	John W. McCormick	MA1: Ada for real-time and parallel processing.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity
1	Elizabeth J. O'Neil	Object/relational mapping 2008: hibernate and the entity data model (edm).	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	entity data model, hibernate, data model, persistence, schema mapping, object-relational mapping, impedance mismatch
1	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning.	CSSE	2008	DBLP DOI BibTeX RDF
1	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
1	Juichi Takahashi, Hideharu Kojima, Zengo Furukawa	Coverage Based Testing for Concurrent Software.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson	Scheduling Timed Modules for Correct Resource Sharing.	ICST	2008	DBLP DOI BibTeX RDF	timed modules, real-time systems, resource management, component-based design
1	Kyung Dong Ryu, David Daly, Mary Seminara, Sukhyun Song, Paul G. Crumley	Agent multiplication: An economical large-scale testing environment for system management solutions.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Aoun Raza, Gunther Vogel	RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
1	Jasen Markovski, Erik P. de Vink	Extending Timed Process Algebra with Discrete Stochastic Time.	AMAST	2008	DBLP DOI BibTeX RDF
1	Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga	On Race Vulnerabilities in Web Applications.	DIMVA	2008	DBLP DOI BibTeX RDF
1	Gero Decker, Alistair P. Barros, Frank Michael Kraft, Niels Lohmann	Non-desynchronizable Service Choreographies.	ICSOC	2008	DBLP DOI BibTeX RDF
1	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
1	Arndt Mühlenfeld, Franz Wotawa	Fault detection in multi-threaded c++ server applications.	PPOPP	2007	DBLP DOI BibTeX RDF	static-dynamic co-analysis, parallel programs, synchronization, object-oriented programming, debugging, data races, race conditions, multi-threaded programming
1	Michael Winikoff	Implementing commitment-based interactions.	AAMAS	2007	DBLP DOI BibTeX RDF	agent oriented programming languages, belief desire intention (BDI), commitment machines, agent interaction
1	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
1	John W. McCormick	MA1: real-time and parallel processing in ada.	SIGAda	2007	DBLP DOI BibTeX RDF
1	Zhiyi Huang, Wenguang Chen	Revisit of View-Oriented Parallel Programming.	CCGRID	2007	DBLP DOI BibTeX RDF
1	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
1	Stephen W. Cook, Bjarne Stroustrup, Scott M. Pike	An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable.	HASE	2007	DBLP DOI BibTeX RDF
1	Julian Jang, Alan Fekete, Paul Greenfield	Delivering Promises for Web Services Applications.	ICWS	2007	DBLP DOI BibTeX RDF
1	Mi-Young Park, Nguyen Cao Truong Hai, Yong-Kee Jun, Hyuk-Ro Park	Visualization of Message Races in MPI Parallel Programs.	CIT	2007	DBLP DOI BibTeX RDF
1	Matthew J. Bridges, Neil Vachharajani, Yun Zhang, Thomas B. Jablin, David I. August	Revisiting the Sequential Programming Model for Multi-Core.	MICRO	2007	DBLP DOI BibTeX RDF
1	Xiaoqi Yang, Qilong Zheng, Guoliang Chen, Shujuan Liu, Jun Luan	Transactional Memory Execution for Parallel Multithread Programming without Lock.	PDCAT	2007	DBLP DOI BibTeX RDF
1	Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park	MPIRace-Check: Detection of Message Races in MPI Programs.	GPC	2007	DBLP DOI BibTeX RDF	message races, MPIRace-Check, debugging, message-passing programs
1	Hendrik Post, Wolfgang Küchlin	Integrated Static Analysis for Linux Device Driver Verification.	IFM	2007	DBLP DOI BibTeX RDF
1	Edith Elkind, Blaise Genest, Doron Peled	Detecting Races in Ensembles of Message Sequence Charts.	TACAS	2007	DBLP DOI BibTeX RDF
1	Bill Mitchell	Lazy buffer semantics for partial order scenarios.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF
1	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
1	Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede	Design with race-free hardware semantics.	DATE	2006	DBLP DOI BibTeX RDF
1	Jaime Spacco, David Hovemeyer, William Pugh	Tracking defect warnings across versions.	MSR	2006	DBLP DOI BibTeX RDF	bug histories, bug tracking, Java, static analysis, FindBugs
1	Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer	Autolocker: synchronization inference for atomic sections.	POPL	2006	DBLP DOI BibTeX RDF	pessimistic, atomic, lock
1	Christopher Gottbrath	Software tools II - Debugging code written for Multi-Core chip architectures.	SC	2006	DBLP DOI BibTeX RDF
1	Gautam Das, Maria Fazio, Massimo Villari, Antonio Puliafito	Vulnerabilities of Internet Access Mechanisms from Mobile Ad Hoc Networks.	AINA	2006	DBLP DOI BibTeX RDF
1	Ashish Aggarwal, Pankaj Jalote	Integrating Static and Dynamic Analysis for Detecting Vulnerabilities.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson	Detecting Data Races on Framework-Based Applications.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Guoqing Yang, Hong Li, Zhaohui Wu	SmartC: A Component-Based Hierarchical Modeling Language for Automotive Electronics.	DASC	2006	DBLP DOI BibTeX RDF