Pinned Repositories
AggregationTree
bootstrapped-hadoop-svr
c2ocaml
c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)
code-vectors-artifact
Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
common
gcp-big-data-tutorial
se2-class-example
stream-performance-examples
streamgen
MicheleGuerriero's Repositories
MicheleGuerriero/streamgen
MicheleGuerriero/se2-class-example
MicheleGuerriero/gcp-big-data-tutorial
MicheleGuerriero/stream-performance-examples
MicheleGuerriero/AggregationTree
MicheleGuerriero/c2ocaml
c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)
MicheleGuerriero/code-vectors-artifact
Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
MicheleGuerriero/common
MicheleGuerriero/dataflow-privacy-library
MicheleGuerriero/ddsm-profile
MicheleGuerriero/dia-privacy-library
MicheleGuerriero/DICE-Models
Domain models used in the DICE Project (DPIM, DTSM, DDSM)
MicheleGuerriero/DICE-Models-Sosym
MicheleGuerriero/DICE-Profiles
UML profiles for the DICE project
MicheleGuerriero/DICER
MicheleGuerriero/empty-flink-java-project
MicheleGuerriero/flink-java-example
MicheleGuerriero/JavaPermutationTools
A Java library for computation on permutations and sequences
MicheleGuerriero/kafka-tools
MicheleGuerriero/linux-full-history
Full history of the Linux kernel using Git replace references (clone this, GitHub won't follow replaces)
MicheleGuerriero/RepData_PeerAssessment1
Peer Assessment 1 for Reproducible Research
MicheleGuerriero/schema-registry
Schema registry for Kafka
MicheleGuerriero/SchemaManager
MicheleGuerriero/se2-jee-laboratories
MicheleGuerriero/spark-cassandra-example
MicheleGuerriero/spark-empty-project
MicheleGuerriero/spark-rabbitmq
RabbitMQ Spark Streaming receiver
MicheleGuerriero/streaming-benchmarks
Benchmarks for Low Latency (Streaming) solutions including Apache Storm, Apache Spark, Apache Flink, ...
MicheleGuerriero/timestamp-server
MicheleGuerriero/Transformations4DICE
ATL model-2-model transformation for the DICE project.