seer-lab/concurrency_benchmark

Language: Java - Size: 4.15 MB - Last synced at: 1 day ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

harmim/infer Fork of facebook/infer

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

Language: OCaml - Size: 149 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1

ChunghaSung/EC-Diff

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

Language: C - Size: 64.9 MB - Last synced at: 1 day ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 1

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.

Language: TeX - Size: 21 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

harmim/vut-dip

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

Language: C - Size: 63 MB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

canhminhdo/spec-based

Specification-based Testing Concurrent Java Programs with JPF and Maude

Language: Java - Size: 5.54 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

harmim/vut-excel-at-fit-2021

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

Language: TeX - Size: 8.2 MB - Last synced at: 18 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0