Thodoris Sotiropoulos theosotr

Pinned Loading

1. A framework for testing compilers' type checkers

   Python 65 16

2. Identify bridges from JS to Native or JS to WASM in V8 embedders

   JavaScript 31

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

   OCaml 18 2

4. A command-line tool that detects missing ordering relationships and missing notifiers in Puppet programs.

   OCaml 4

5. Data-Oriented Differential Testing of ORM Systems.

   Scala 15 1

6. Static Analysis for Asynchronous JavaScript Programs.

   Java 6 1