Projects

  • π-fuzz: A metamorphic-testing framework for action policies
  • SmartACE: A compositional verifier for smart contracts (artifact)
  • queryFuzz: A metamorphic-testing framework for Datalog engines
  • Neuro-aware program analyzer: A static analyzer for verifying system properties of programs invoking neural networks
  • tAIlor: A framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints (artifact)
  • Blossom: A two-phase framework combining dynamic and static analyses for conditional floating-point verification
  • Task synthesizer for block-based programming: A synthesis framework for generating new visual programming tasks along with their solution codes that are conceptually similar but visually dissimilar to an input task
  • LIBRA: A static-analysis framework for certifying fairness of deep neural networks (artifact)
  • STORM: A blackbox mutational fuzzer for SMT solvers
  • DeepSearch: A blackbox attack for deep neural networks
  • bran: A static-analysis framework for EVM bytecode
  • α-Diff: A framework for differentially testing soundness and precision of program analyzers
Contact
Maria Christakis
MPI-SWS
Paul-Ehrlich Strasse G 26
67663 Kaiserslautern
Germany
E-mail: maria@mpi-sws.org