#

concurrent-programs

Here are 7 public repositories matching this topic...

ChunghaSung / EC-Diff

Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".

semantic-diff llvm datalog diffing concurrent-programs

Updated May 20, 2019
C

infer

harmim / infer

A static analyzer for Java, C, C++, and Objective-C.

c java facebook cpp static-analysis ocaml concurrency program-analysis abstract-interpretation atomicity facebook-infer atomicity-violation concurrent-programs atomer

Updated Sep 16, 2023
OCaml

vut-dip

harmim / vut-dip

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

c java facebook cpp master-thesis static-analysis ocaml concurrency program-analysis abstract-interpretation atomicity vut vut-fit facebook-infer atomicity-violation concurrent-programs contracts-for-concurrency atomer

Updated Jul 27, 2022
C

emilstahl97 / Concurrent-Programming-ID1217

The course covers the core concepts, models, paradigms and techniques for concurrent programming. This forms the basis for operating systems, distributed systems and multiprocessor systems, including multicore systems. The course studies foundations and principles of concurrent programming.

processes threads monitors paradigms mutual-exclusion semaphores concurrent-objects concurrent-programs concurrent-utilities multiprocessor-systems multicore-systems condition-synchronization

Updated Mar 10, 2023
TeX

seer-lab / concurrency_benchmark

benchmark concurrency dataset concurrent-programming software-analysis software-testing software-bug concurrent-programs

Updated May 21, 2015
Java

harmim / vut-excel-at-fit-2021

Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

c java facebook cpp article static-analysis ocaml concurrency program-analysis abstract-interpretation atomicity vut vut-fit facebook-infer excel-at-fit atomicity-violation concurrent-programs contracts-for-concurrency atomer

Updated May 7, 2021
TeX

canhminhdo / spec-based

Specification-based Testing Concurrent Java Programs with JPF and Maude

java testing maude jpf concurrent-programs paralell-algorithm

Updated Jan 26, 2022
Java

Improve this page

Add a description, image, and links to the concurrent-programs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the concurrent-programs topic, visit your repo's landing page and select "manage topics."