Search results for "interleavings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Pawel Paczkowski	Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs.	MFCS	1993	DBLP DOI BibTeX RDF
68	Jie Yu 0016, Satish Narayanasamy	A case for an interleaving constrained shared-memory multi-processor.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, multiprocessors, software reliability, concurrency bugs
58	Antti Valmari	Eliminating Redundant Interleavings During Concurrent Program Verification.	PARLE (2)	1989	DBLP DOI BibTeX RDF
54	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
54	Soyeon Park, Shan Lu 0001, Yuanyuan Zhou 0001	CTrigger: exposing atomicity violation bugs from their hiding places.	ASPLOS	2009	DBLP DOI BibTeX RDF	software testing, concurrency bug
50	SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment.	ICPADS	1997	DBLP DOI BibTeX RDF	unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations
44	Vineet Kahlon, Sriram Sankaranarayanan 0001, Aarti Gupta	Semantic Reduction of Thread Interleavings in Concurrent Programs.	TACAS	2009	DBLP DOI BibTeX RDF
41	Martin T. Vechev, Eran Yahav, Greta Yorsh	Abstraction-guided synthesis of synchronization.	POPL	2010	DBLP DOI BibTeX RDF	concurrency, synthesis, abstract interpretation
41	Wei Zhang 0022, Chong Sun, Shan Lu 0001	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
41	Vineet Kahlon, Chao Wang 0001, Aarti Gupta	Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.	CAV	2009	DBLP DOI BibTeX RDF
41	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Formal verification of practical MPI programs.	PPoPP	2009	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
41	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
41	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald	Proof-guided underapproximation-widening for multi-process systems.	POPL	2005	DBLP DOI BibTeX RDF	SAT proofs, underapproximation-widening, abstraction, software verification, bounded model checking
41	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	PPoPP	2005	DBLP DOI BibTeX RDF	datarace, lockset, model checking, multithreading, data race detection
41	Pierre Wolper, Patrice Godefroid	Partial-Order Methods for Temporal Verification.	CONCUR	1993	DBLP DOI BibTeX RDF
41	Abdel Aziz Farrag, M. Tamer Özsu	Using Semantic Knowledge of Transactions to Increase Concurrency.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
41	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
31	Emerson G. Escolar, Killian Meehan, Michio Yoshiwaki	Interleavings and matchings as representations.	Appl. Algebra Eng. Commun. Comput.	2023	DBLP DOI BibTeX RDF
31	Youngjoo Ko, Bin Zhu, Jong Kim 0001	Fuzzing with automatically controlled interleavings to detect concurrency bugs.	J. Syst. Softw.	2022	DBLP DOI BibTeX RDF
31	Ulrich Bauer, Magnus Bakke Botnan, Benedikt Fluhr	Structure and Interleavings of Relative Interlevel Set Cohomology.	CoRR	2021	DBLP BibTeX RDF
31	Magnus Bakke Botnan, Justin Curry, Elizabeth Munch	A Relative Theory of Interleavings.	CoRR	2020	DBLP BibTeX RDF
31	Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar Heri Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian 0002, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu 0001, Haryadi S. Gunawi	FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems.	EuroSys	2019	DBLP DOI BibTeX RDF
31	Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin	Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings.	J. Autom. Reason.	2017	DBLP DOI BibTeX RDF
31	Simon Castellan, Pierre Clairambault	Causality vs. Interleavings in Concurrent Game Semantics.	CONCUR	2016	DBLP DOI BibTeX RDF
31	Zhendong Wu, Kai Lu, Xiaoping Wang	Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection.	ICA3PP (4)	2015	DBLP DOI BibTeX RDF
31	Claudia Landi 0001	The rank invariant stability via interleavings.	CoRR	2014	DBLP BibTeX RDF
31	Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin	Termination and Cost Analysis of Loops with Concurrent Interleavings.	ATVA	2013	DBLP DOI BibTeX RDF
31	Seetha Jayasankar, Supratik Chakraborty	Improving approximate reachability by dynamic interleavings of projections-based algorithms.	CACSD	2013	DBLP DOI BibTeX RDF
31	Michael Lesnick	Multidimensional Interleavings and Applications to Topological Inference	CoRR	2012	DBLP BibTeX RDF
31	Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins 0001	TIE: an interactive visualization of thread interleavings.	SOFTVIS	2010	DBLP DOI BibTeX RDF
31	Predrag T. Tosic, Gul Agha	Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata.	IPDPS	2004	DBLP DOI BibTeX RDF
31	Mordechai Ben-Ari, Alan Burns 0001	Extreme Interleavings.	IEEE Distributed Syst. Online	2001	DBLP BibTeX RDF
27	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE (1)	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
27	Sangmin Park, Richard W. Vuduc, Mary Jean Harrold	Falcon: fault localization in concurrent programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	order violation, concurrency, debugging, fault localization, atomicity violation
27	Lucas C. Cordeiro	SMT-based bounded model checking for multi-threaded software in embedded systems.	ICSE (2)	2010	DBLP DOI BibTeX RDF	SAT modulo theories, formal software verification, multicore systems, computer-aided verification
27	Brandon Lucia, Luis Ceze, Karin Strauss	ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations.	ISCA	2010	DBLP DOI BibTeX RDF	bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations
27	Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
27	Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).	PVM/MPI	2009	DBLP DOI BibTeX RDF
27	Ganesh Gopalakrishnan, Robert M. Kirby	Practical Formal Verification of MPI and Thread Programs.	PVM/MPI	2009	DBLP DOI BibTeX RDF
27	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	SPIN	2009	DBLP DOI BibTeX RDF
27	Martin T. Vechev, Eran Yahav, Greta Yorsh	Inferring Synchronization under Limited Observability.	TACAS	2009	DBLP DOI BibTeX RDF
27	Subodh Sharma 0001, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp	A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.	PVM/MPI	2008	DBLP DOI BibTeX RDF
27	Laura Effinger-Dean, Matthew Kehrt, Dan Grossman	Transactional events for ML.	ICFP	2008	DBLP DOI BibTeX RDF	synchronous message passing, transactional events, concurrency
27	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Scheduling considerations for building dynamic verification tools for MPI.	PADTAD	2008	DBLP DOI BibTeX RDF	model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification
27	Eitan Farchi	Pitfalls in teaching development and testing of concurrent programs and how to overcome them.	PADTAD	2008	DBLP DOI BibTeX RDF
27	Chao Wang 0001, Zijiang Yang 0006, Vineet Kahlon, Aarti Gupta	Peephole Partial Order Reduction.	TACAS	2008	DBLP DOI BibTeX RDF
27	Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt	Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns.	Middleware	2008	DBLP DOI BibTeX RDF
27	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
27	Shaz Qadeer, Dinghao Wu	KISS: keep it simple and sequential.	PLDI	2004	DBLP DOI BibTeX RDF	assertion checking, concurrent software, model checking, program analysis, race detection
27	A. K. Singh	On the validity of the global time assumption.	ICDCS	1991	DBLP DOI BibTeX RDF
27	Patrice Godefroid	Using Partial Orders to Improve Automatic Verification Methods.	CAV	1990	DBLP DOI BibTeX RDF
14	Hagit Attiya, G. Ramalingam, Noam Rinetzky	Sequential verification of serializability.	POPL	2010	DBLP DOI BibTeX RDF	verification, concurrency, reduction, serializability
14	Zvonimir Rakamaric	STORM: static unit checking of concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	unit checking, static analysis, concurrent programs
14	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
14	Azadeh Farzan, P. Madhusudan, Francesco Sorrentino 0002	Meta-analysis for Atomicity Violations under Nested Locking.	CAV	2009	DBLP DOI BibTeX RDF
14	Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian	A type and effect system for deterministic parallel Java.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic parallelism, determinism, effects, commutativity, effect systems
14	Sven Stork, Paulo Marques, Jonathan Aldrich	Concurrency by default: using permissions to express dataflow in stateful programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	access permissions, concurrency, programming language, dataflow
14	Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby	Reduced Execution Semantics of MPI: From Theory to Practice.	FM	2009	DBLP DOI BibTeX RDF
14	Chao Wang 0001, Sudipta Kundu, Malay K. Ganai, Aarti Gupta	Symbolic Predictive Analysis for Concurrent Programs.	FM	2009	DBLP DOI BibTeX RDF
14	Chao Wang 0001, Swarat Chaudhuri, Aarti Gupta, Yu Yang 0013	Symbolic pruning of concurrent program executions.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	concurrency, sat, pruning, partial order reduction
14	Jacob Burnim, Koushik Sen	Asserting and checking determinism for multithreaded programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	parallel programs, determinism, assertions
14	Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers	Preemption Abstraction.	FMICS	2009	DBLP DOI BibTeX RDF
14	Subodh Sharma 0001, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt	MCC: A runtime verification tool for MCAPI user applications.	FMCAD	2009	DBLP DOI BibTeX RDF
14	Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer	Deconstructing concurrency heisenbugs.	ICSE Companion	2009	DBLP DOI BibTeX RDF
14	Aarti Gupta	Model Checking Concurrent Programs.	VMCAI	2009	DBLP DOI BibTeX RDF
14	Hany E. Ramadan, Indrajit Roy 0001, Maurice Herlihy, Emmett Witchel	Committing conflicting transactions in an STM.	PPoPP	2009	DBLP DOI BibTeX RDF	dependence-aware, concurrency control, transactional memory, serializability
14	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
14	Joseph A. Tucek, Weiwei Xiong, Yuanyuan Zhou 0001	Efficient online validation with delta execution.	ASPLOS	2009	DBLP DOI BibTeX RDF	delta execution, patch validation, testing
14	Ayla Dantas	Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multi-threaded systems testing, aspect-oriented programming, software monitoring
14	Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz	Modular System Verification by Inference, Testing and Reachability Analysis.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
14	Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen	Testing Concurrent Objects with Application-Specific Schedulers.	ICTAC	2008	DBLP DOI BibTeX RDF
14	Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel	Dependence-aware transactional memory for increased concurrency.	MICRO	2008	DBLP DOI BibTeX RDF
14	Yu David Liu, Xiaoqi Lu, Scott F. Smith 0001	Coqa: Concurrent Objects with Quantized Atomicity.	CC	2008	DBLP DOI BibTeX RDF
14	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Tools and Techniques for Model Checking Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	networking, software verification, Software model checking, inter-process communication
14	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
14	Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine	Handling Parameterized Systems with Non-atomic Global Conditions.	VMCAI	2008	DBLP DOI BibTeX RDF
14	Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp	Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.	Autom. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming
14	John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki	Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.	ASWEC	2007	DBLP DOI BibTeX RDF
14	Geoffrey M. Brown, Lee Pike	Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols.	MEMOCODE	2007	DBLP DOI BibTeX RDF
14	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp	Practical Model-Checking Method for Verifying Correctness of MPI Programs.	PVM/MPI	2007	DBLP DOI BibTeX RDF
14	Alwyn Goodloe, Carl A. Gunter	Reasoning about Concurrency for Security Tunnels.	CSF	2007	DBLP DOI BibTeX RDF
14	Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv	Cartesian Partial-Order Reduction.	SPIN	2007	DBLP DOI BibTeX RDF
14	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.	SPIN	2007	DBLP DOI BibTeX RDF
14	Ganesh Gopalakrishnan, Robert M. Kirby	Formal Analysis for Debugging and Performance Optimization of MPI.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv	Thread-modular shape analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, concurrent programming, shape analysis
14	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
14	Kathi Fisler	Two-Dimensional Regular Expressions for Compositional Bus Protocols.	FMCAD	2007	DBLP DOI BibTeX RDF
14	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
14	Alexandre Genon, Thierry Massart, Cédric Meuter	Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.	FM	2006	DBLP DOI BibTeX RDF	testing of asynchronous distributed systems, global properties, model checking of traces, monitor
14	Koushik Sen, Gul Agha	A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
14	Ramzi Ben Salah, Marius Bozga, Oded Maler	On Interleaving in Timed Automata.	CONCUR	2006	DBLP DOI BibTeX RDF
14	Arvind, Jan-Willem Maessen	Memory Model = Instruction Reordering + Store Atomicity.	ISCA	2006	DBLP DOI BibTeX RDF
14	Frédéric Lang	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.	IFM	2005	DBLP DOI BibTeX RDF
14	Twan Basten, Dragan Bosnacki, Marc Geilen	Cluster-Based Partial-Order Reduction.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
14	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
14	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Memory-Model-Sensitive Data Race Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF
14	Marina Biberstein, Eitan Farchi, Shmuel Ur	Fidgeting to the Point of No Return.	IPDPS	2004	DBLP DOI BibTeX RDF
14	Arnaud Venet	A Scalable Nonuniform Pointer Analysis for Embedded Programs.	SAS	2004	DBLP DOI BibTeX RDF
14	Vincent Vanackère	History-Dependent Scheduling for Cryptographic Processes.	VMCAI	2004	DBLP DOI BibTeX RDF
14	David Jackson	A Practical Approach to Evolving Concurrent Programs.	EuroGP	2004	DBLP DOI BibTeX RDF