Thodoris Sotiropoulos

tabu_search-vrpcd. A Tabu Search algorithm for the Vehicle Routing Problem with Cross-Docking.

buildfs. A dynamic method for detecting faults in incremental and parallel builds.

cynthia. Data-Oriented Differential Testing of ORM Systems.

Antikythera-Mechanism. An emulator of the Antikythera Mechanism written in Processing.

async-tajs. Static Analysis for Asynchronous JavaScript Programs.

fsracer. Detecting fs-related data racers in JavaScript programs through dynamic binary instrumentation.

buildfs-eval. Python

netxanal. Web application for basic network analysis

web-bus. Web application for the Athens Urban Transportation System