• Goblint

• Referenced in 6 articles [sw20223]
• detecting potential data races in the multithreaded C code. The implemented analysis is sound ... used for race-detection of multithreaded programs up to about 25 thousand lines of code...

• PARSHA

• Referenced in 5 articles [sw02762]
• parallelizable hash function and a multithreaded implementation. In this paper, we design a new hash ... single processor machine using a multithreaded approach. Experimental results on P4 running Linux show that ... long messages the multithreaded implementation is faster than...

• FE-gMG

• Referenced in 8 articles [sw10365]
• single GPU over a multithreaded CPU code in our benchmarks. In addition, our strong smoothers...

• Ur/Web

• Referenced in 8 articles [sw17454]
• concurrency, where programmers can reason about distributed, multithreaded applications via a mix of transactions...

• Velodrome

• Referenced in 5 articles [sw08925]
• sound and complete dynamic atomicity checker for multithreaded programs. Atomicity is a fundamental correctness property ... multithreaded programs, both because atomic code blocks are amenable to sequential reasoning (which significantly simplifies...

• VerCors

• Referenced in 7 articles [sw11259]
• permission-based separation logic to reason about multithreaded Java programs. We discuss in particular...

• pyFFTW

• Referenced in 7 articles [sw15538]
• which numpy.fft does not). Operating FFTW in multithreaded mode is supported...

• PARMON

• Referenced in 6 articles [sw02312]
• server is developed as a multithreaded server using C and POSIX/Solaris threads since Java does...

• SuperMatrix

• Referenced in 6 articles [sw20213]
• SuperMatrix: a multithreaded runtime scheduling system for algorithms-by-blocks. This paper describes SuperMatrix...

• CORElearn

• Referenced in 5 articles [sw10624]
• features and class. Several algorithms support parallel multithreaded execution via OpenMP. The top level documentation...

• CDSChecker

• Referenced in 5 articles [sw21725]
• enabling developers to write portable and efficient multithreaded code. Developing correct low-level concurrent code...

• GRAT

• Referenced in 5 articles [sw21969]
• formally verified LRAT tool. An optional multithreaded mode allows for even faster checking...

• CHESS

• Referenced in 5 articles [sw23089]
• likely to see an increasing use of multithreading in application software as well. Unfortunately...

• jPBC

• Referenced in 5 articles [sw23370]
• Coron, Lepoint, and Tibouchi. The implementation supports multithreading and uses memory mapped files to save...

• d03pcf

• Referenced in 5 articles [sw30985]
• make it safe for use in multithreaded applications (see Section...

• ParILUT

• Referenced in 5 articles [sw34961]
• latest NVIDIA GPU generations, and outperform existing multithreaded CPU implementations...

• EleMRRR

• Referenced in 3 articles [sw07036]
• fully support both message-passing and multithreading parallelism. As a result, the solvers are equally ... message-passing environments with and without multithreading. We conduct a thorough performance study of EleMRRR...

• PMRRR

• Referenced in 3 articles [sw07048]
• fully support both message-passing and multithreading parallelism. As a result, the solvers are equally ... message-passing environments with and without multithreading. We conduct a thorough performance study of EleMRRR...

• Laminar

• Referenced in 3 articles [sw23077]
• DIFC systems only support limited types of multithreaded programs, Laminar supports a more general class ... multithreaded DIFC programs that can access heterogeneously labeled data...

• MetaFork

• Referenced in 3 articles [sw26523]
• Multicores. We present MetaFork, a metalanguage for multithreaded algorithms based on the fork-join concurrency ... experiments, such as narrowing performance bottlenecks in multithreaded programs. Our experiments show also that...