harmim/vut-dip harmim/vut-dip

  • Stars
    star
    2
  • Language
    C
  • License
    MIT License
  • Created almost 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
harmim/vut-dip
github

harmim

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

vut-ifj-project

Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17
C
13
star
2

vut-ivs-project-2

Praktické aspekty vývoje software - Project 2 - calculator
C#
3
star
3

images

A tool for working with images.
PHP
2
star
4

aoc-2021

Advent of Code 2021 (PHP)
PHP
2
star
5

vut-ibt

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
C
2
star
6

aoc-2022

Advent of Code 2022 (Rust)
Rust
2
star
7

aoc-2023

Advent of Code 2023 (Java)
Java
1
star
8

vut-sui-homework

Umělá inteligence a strojové učení - Domácí úloha
Jupyter Notebook
1
star
9

vut-iel-project

Elektronika pro informační technologie - semestrální projekt
TeX
1
star
10

vut-izp-proj1

Základy programování - Projekt 1 - Práce s textem
C
1
star
11

vut-izp-proj3

Základy programování - Projekt 3 - Jednoduchá shluková analýza
C
1
star
12

vut-inp-project2

Návrh počítačových systémů - Projekt 2 - Procesor s Harvardskou architekturou
C
1
star
13

harmim-website

Dominik Harmim personal website
HTML
1
star
14

vut-izp-proj2

Základy programování - Projekt 2 - Iterační výpočty
Shell
1
star
15

harmim

Personal information
1
star
16

vut-ivs-project-1

Praktické aspekty vývoje software: Projekt 1 – Testování
C++
1
star
17

vut-ims-project

Modelování a simulace - Projekt - Rozvoz jídla firmou Freshbox
C++
1
star
18

debian-bash-config

Configuration files for Bash in Debian
Vim Script
1
star
19

vut-mba-projects

Analýza systémů založená na modelech - Projekty
TeX
1
star
20

vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser
Java
1
star