Search results for "thread-safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Tomás Plachetka	(Quasi-) Thread-Safe PVM and (Quasi-) Thread-Safe MPI without Active Polling.	PVM/MPI	2002	DBLP DOI BibTeX RDF	thread-safety, MPI, efficiency, latency, PVM, polling
37	Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan	Line-up: a complete and automatic linearizability checker.	PLDI	2010	DBLP DOI BibTeX RDF	thread safety, atomicity, linearizability
35	Rajeev Thakur, William Gropp	Test Suite for Evaluating Performance of MPI Implementations That Support MPI_THREAD_MULTIPLE.	PVM/MPI	2007	DBLP DOI BibTeX RDF
35	William D. Gropp, Rajeev Thakur	Issues in Developing a Thread-Safe MPI Implementation.	PVM/MPI	2006	DBLP DOI BibTeX RDF
24	Nicholas Riley, Craig B. Zilles	Hardware tansactional memory support for lightweight dynamic language evolution.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	concurrency, safety, transactional memory, Python, locking, dynamic languages
22	Alan D. Fekete	Teaching students to develop thread-safe java classes.	ITiCSE	2008	DBLP DOI BibTeX RDF	data interference, thread-safety, concurrency, synchronization, race conditions
22	David F. Bacon, Robert E. Strom, Ashis Tarafdar	Guava: a dialect of Java without data races.	OOPSLA	2000	DBLP DOI BibTeX RDF	thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races
19	Shanto Rahman, Chengpeng Li, August Shi	TSVD4J: Thread-Safety Violation Detection for Java.	ICSE Companion	2023	DBLP DOI BibTeX RDF
19	Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang 0005	Understanding memory and thread safety practices and issues in real-world Rust programs.	PLDI	2020	DBLP DOI BibTeX RDF
19	Guangpu Li, Shan Lu 0001, Madanlal Musuvathi, Suman Nath, Rohan Padhye	Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.	SOSP	2019	DBLP DOI BibTeX RDF
19	Ankit Choudhary, Shan Lu 0001, Michael Pradel	Efficient detection of thread safety violations via coverage-guided generation of concurrent tests.	ICSE	2017	DBLP DOI BibTeX RDF
19	Hongyi Ma, Liqiang Wang, Krishanthan Krishnamoorthy	Detecting Thread-Safety Violations in Hybrid OpenMP/MPI Programs.	CLUSTER	2015	DBLP DOI BibTeX RDF
19	DeLesley Hutchins, Aaron Ballman, Dean Sutherland	C/C++ Thread Safety Analysis.	SCAM	2014	DBLP DOI BibTeX RDF
19	Michael Pradel, Thomas R. Gross	Fully automatic and precise detection of thread safety violations.	PLDI	2012	DBLP DOI BibTeX RDF
19	Nicholas D. Matsakis, Thomas R. Gross	Thread Safety through Partitions and Effect Agreements.	LCPC	2008	DBLP DOI BibTeX RDF
19	William Gropp, Rajeev Thakur	Thread-safety in an MPI implementation: Requirements and analysis.	Parallel Comput.	2007	DBLP DOI BibTeX RDF
16	Kevin Klues, Chieh-Jan Mike Liang, Jeongyeup Paek, Razvan Musaloiu-Elefteri, Philip Alexander Levis, Andreas Terzis, Ramesh Govindan	TOSThreads: thread-safe and non-invasive preemption in TinyOS.	SenSys	2009	DBLP DOI BibTeX RDF	sensor networks, multi-threading, TinyOS
16	François Trahay, Elisabeth Brunet, Alexandre Denis 0001	An analysis of the impact of multi-threading on communication performance.	IPDPS	2009	DBLP DOI BibTeX RDF
16	Paul Petersen, Sanjiv Shah	OpenMP Support in the Intel® Thread Checker.	WOMPAT	2003	DBLP DOI BibTeX RDF
16	Fernando Elson Mourão, João Gabriel Silva	Implementing MPI's One-Sided Communications for WMPI.	PVM/MPI	1999	DBLP DOI BibTeX RDF
10	Ian Rogers, Jisheng Zhao, Chris C. Kirkham, Ian Watson	Constraint based optimization of stationary fields.	PPPJ	2008	DBLP DOI BibTeX RDF
10	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	Concurrent Contracts for Java in JML.	ISSRE	2008	DBLP DOI BibTeX RDF
10	Xiaoning Ma, Jiancheng Fang, Wei Sheng	Development of an Onboard Software System for Mini Unmanned Aerial Vehicle Based on VxWorks.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	VxWorks, flight software, shared memory, unmanned aerial vehicle (UAV), inter-process communication
10	Thomas M. Frey	Architectural Aspects of a Thread-Safe Graphical Component System Based on Aos.	JMLC	2003	DBLP DOI BibTeX RDF
10	Aaron Greenhouse, William L. Scherlis	Assuring and evolving concurrent programs: annotations and policy.	ICSE	2002	DBLP DOI BibTeX RDF