MPI-SWS

counterfactual-continuous-mdp

Code for "Finding Counterfactually Optimal Action Sequences in Continuous State Spaces", Arxiv 2023.

daisy

A framework for analysis and optimization of numerical programs

genmc

Generic model checker for concurrent C programs (mirror repository)

improve-expert-predictions-conformal-prediction

Code for "Provably Improving Expert Predictions with Conformal Prediction" , arXiv:2201.12006

kater

Automating weak memory model metatheory and consistency checking (mirror repository)

memorize

Code and real data for "Enhancing Human Learning via Spaced Repetition Optimization", PNAS 2019

pgcd

Robot Programming and Verification with Geometry, Concurrency, and Dynamics

tas

TAS is a drop-in highly CPU efficient and scalable TCP acceleration service.

tpprl

Deep Reinforcement Learning of Marked Temporal Point Processes

xtrace-shiviz

Visualization of X-Trace trace data using ShiViz

MPI-SWS/genmc

Generic model checker for concurrent C programs (mirror repository)

MPI-SWS/kater

Automating weak memory model metatheory and consistency checking (mirror repository)

MPI-SWS/xtrace-shiviz

Visualization of X-Trace trace data using ShiViz

MPI-SWS/counterfactual-continuous-mdp

Code for "Finding Counterfactually Optimal Action Sequences in Continuous State Spaces", Arxiv 2023.

MPI-SWS/improve-expert-predictions-conformal-prediction

Code for "Provably Improving Expert Predictions with Conformal Prediction" , arXiv:2201.12006

MPI-SWS/memorize

Code and real data for "Enhancing Human Learning via Spaced Repetition Optimization", PNAS 2019

MPI-SWS/pgcd

Robot Programming and Verification with Geometry, Concurrency, and Dynamics

MPI-SWS/tas

TAS is a drop-in highly CPU efficient and scalable TCP acceleration service.

MPI-SWS/tpprl

Deep Reinforcement Learning of Marked Temporal Point Processes

MPI-SWS/bran

Static analysis framework for EVM bytecode

MPI-SWS/cfact-inference-second-opinions

Code for "Counterfactual Inference of Second Opinions", available at arXiv.

MPI-SWS/Improve-Screening-via-Calibrated-Subset-Selection

MPI-SWS/np-schedulability-analysis

An implementation of the Nasri & Brandenburg (2017) schedulability test for non-preemptive job sets

MPI-SWS/pooled-testing

Code for "Pooled Testing of Traced Contacts Under Superspreading Dynamics", preliminary version at https://arxiv.org/abs/2106.15988

MPI-SWS/sosp21-www

SOSP 2019 Website

MPI-SWS/storm

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

MPI-SWS/within-group-monotonicity

Code for the paper "On the Within-group Discrimination of Screening Classifiers"

MPI-SWS/clockwork

Official GitHub mirror of Clockwork repository (https://gitlab.mpi-sws.org/cld/ml/clockwork/).

MPI-SWS/counterfactual-explanations-mdp

Code for "Counterfactual Explanations in Sequential Decision Making Under Uncertainty", NeurIPS 2021

MPI-SWS/counterfactual-prediction-sets

Code for "Designing Decision Support Systems Using Counterfactual Prediction Sets". Arxiv 2023.

MPI-SWS/counterfactual-tpp

Code and real data for the paper "Counterfactual Temporal Point Processes", available at arXiv.

MPI-SWS/DeepSearch

Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"

MPI-SWS/differentiable-learning-under-triage

Code and real data for "Differentiable Learning Under Triage", arXiv:2103.08902.

MPI-SWS/fair-decisions

Fair decisions despite imperfect predictions

MPI-SWS/human-aligned-calibration

Code for Experiments in "Human-Aligned Calibration for AI-Assisted Decision Making"

MPI-SWS/prediction-powered-ranking

MPI-SWS/regression-under-assistance

Code and data for "Regression under human assistance", AAAI 2020

MPI-SWS/simulator

Simulator for the spatiotemporal model for Covid-19

MPI-SWS/spaced-selection

Code and real data for "Large-scale randomized experiment reveals machine learning helps people learn and remember more effectively", arXiv:2010.04430.

MPI-SWS/strategic-decisions

Code and data for decision making under strategic behavior