nicolasdilley

container-diff

container-diff: Diff your Docker containers

benchmark-maker

Generate a set of Benchmarks which expose Golang's major runtime and blocking errors while including a non-buggy goroutine which contains a recurring concurrency patterns in Go programs.

container-diff

container-diff: Diff your Docker containers

dwarf-interpreter

The compiler for the dwarf's language

FileRenamer

FileRenamer renames all the files/folder in a parent folder by replacing a string with another.

gobench

gocurrency_tool

Gocurrency is a tool that analyses the uses of message-passing concurrency of Go projects.

Gomela

Tool developped for "Bounded verification of message passing concurrency in Go programs."

gomela-ase21

The tool-chain implemented as part of paper "Automated Verification of Go Programs via Bounded Model Checking"

J-Socket

A library for java TCP socket inspired by socket.io

nicolasdilley/Gomela

Tool developped for "Bounded verification of message passing concurrency in Go programs."

nicolasdilley/dwarf-interpreter

The compiler for the dwarf's language

nicolasdilley/gocurrency_tool

Gocurrency is a tool that analyses the uses of message-passing concurrency of Go projects.

nicolasdilley/J-Socket

A library for java TCP socket inspired by socket.io

nicolasdilley/gomela-ase21

The tool-chain implemented as part of paper "Automated Verification of Go Programs via Bounded Model Checking"

nicolasdilley/benchmark-maker

Generate a set of Benchmarks which expose Golang's major runtime and blocking errors while including a non-buggy goroutine which contains a recurring concurrency patterns in Go programs.

nicolasdilley/container-diff

container-diff: Diff your Docker containers

nicolasdilley/FileRenamer

FileRenamer renames all the files/folder in a parent folder by replacing a string with another.

nicolasdilley/gobench