Skip to content

@MPI-SWS MPI-SWS

Change the repository type filter

All

    Repositories list

    38 repositories

    • genmc

      Public
      Generic model checker for concurrent C programs (mirror repository)
      C++
      •
      Apache License 2.0
      •29•194•14•1•Updated Nov 28, 2025Nov 28, 2025

    • kater

      Public
      Automating weak memory model metatheory and consistency checking (mirror repository)
      C++
      •
      GNU General Public License v3.0
      •2•6•1•1•Updated Nov 11, 2025Nov 11, 2025

    • within-group-monotonicity

      Public
      Code for the paper "On the Within-group Discrimination of Screening Classifiers"
      Python
      •1•0•0•0•Updated Apr 3, 2024Apr 3, 2024

    • improve-expert-predictions-conformal-prediction

      Public
      Code for "Provably Improving Expert Predictions with Conformal Prediction" , arXiv:2201.12006
      Jupyter Notebook
      •4•1•0•0•Updated Apr 3, 2024Apr 3, 2024

    • counterfactual-continuous-mdp

      Public
      Code for "Finding Counterfactually Optimal Action Sequences in Continuous State Spaces", Arxiv 2023.
      Python
      •1•1•0•0•Updated Mar 18, 2024Mar 18, 2024

    • prediction-powered-ranking

      Public
      Python
      •
      MIT License
      •1•0•0•0•Updated Mar 15, 2024Mar 15, 2024

    • counterfactual-prediction-sets

      Public
      Code for "Designing Decision Support Systems Using Counterfactual Prediction Sets". Arxiv 2023.
      Python
      •
      MIT License
      •1•0•0•0•Updated Mar 4, 2024Mar 4, 2024

    • human-aligned-calibration

      Public
      Code for Experiments in "Human-Aligned Calibration for AI-Assisted Decision Making"
      Python
      •
      MIT License
      •3•0•0•0•Updated May 24, 2023May 24, 2023

    • fair-decisions

      Public
      Fair decisions despite imperfect predictions
      Python
      •2•0•0•0•Updated Nov 22, 2022Nov 22, 2022

    • Improve-Screening-via-Calibrated-Subset-Selection

      Public
      Python
      •
      MIT License
      •2•0•0•0•Updated Mar 15, 2022Mar 15, 2022

    • cfact-inference-second-opinions

      Public
      Code for "Counterfactual Inference of Second Opinions", available at arXiv.
      Python
      •1•0•0•0•Updated Mar 8, 2022Mar 8, 2022

    • counterfactual-tpp

      Public
      Code and real data for the paper "Counterfactual Temporal Point Processes", available at arXiv.
      Jupyter Notebook
      •
      MIT License
      •3•0•0•0•Updated Nov 16, 2021Nov 16, 2021

    • counterfactual-explanations-mdp

      Public
      Code for "Counterfactual Explanations in Sequential Decision Making Under Uncertainty", NeurIPS 2021
      Jupyter Notebook
      •4•0•0•0•Updated Oct 28, 2021Oct 28, 2021

    • np-schedulability-analysis

      Public archive
      An implementation of the Nasri & Brandenburg (2017) schedulability test for non-preemptive job sets
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •27•0•0•0•Updated Oct 5, 2021Oct 5, 2021

    • pooled-testing

      Public
      Code for "Pooled Testing of Traced Contacts Under Superspreading Dynamics", preliminary version at https://arxiv.org/abs/2106.15988
      Jupyter Notebook
      •1•0•0•0•Updated Sep 21, 2021Sep 21, 2021

    • pgcd

      Public
      Robot Programming and Verification with Geometry, Concurrency, and Dynamics
      Python
      •1•1•0•0•Updated Jul 19, 2021Jul 19, 2021

    • differentiable-learning-under-triage

      Public
      Code and real data for "Differentiable Learning Under Triage", arXiv:2103.08902.
      Jupyter Notebook
      •2•0•0•0•Updated Jun 15, 2021Jun 15, 2021

    • spaced-selection

      Public
      Code and real data for "Large-scale randomized experiment reveals machine learning helps people learn and remember more effectively", arXiv:2010.04430.
      Jupyter Notebook
      •6•0•0•0•Updated Apr 21, 2021Apr 21, 2021

    • regression-under-assistance

      Public
      Code and data for "Regression under human assistance", AAAI 2020
      Jupyter Notebook
      •3•0•0•0•Updated Mar 23, 2021Mar 23, 2021

    • sosp21-www

      Public
      SOSP 2019 Website
      HTML
      •2•0•0•0•Updated Mar 12, 2021Mar 12, 2021

    • clockwork

      Public
      Official GitHub mirror of Clockwork repository (https://gitlab.mpi-sws.org/cld/ml/clockwork/).
      0•0•0•0•Updated Jan 18, 2021Jan 18, 2021

    • DeepSearch

      Public
      Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"
      Python
      •12•0•0•0•Updated Aug 27, 2020Aug 27, 2020

    • storm

      Public
      A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
      SMT
      •
      Apache License 2.0
      •11•0•0•0•Updated Aug 27, 2020Aug 27, 2020

    • strategic-decisions

      Public
      Code and data for decision making under strategic behavior
      Jupyter Notebook
      •5•0•0•0•Updated Jun 22, 2020Jun 22, 2020

    • simulator

      Public
      Simulator for the spatiotemporal model for Covid-19
      Jupyter Notebook
      •
      MIT License
      •33•0•0•0•Updated Apr 15, 2020Apr 15, 2020

    • xtrace-shiviz

      Public
      Visualization of X-Trace trace data using ShiViz
      Go
      •0•2•0•0•Updated Jul 30, 2019Jul 30, 2019

    • tas

      Public
      TAS is a drop-in highly CPU efficient and scalable TCP acceleration service.
      C
      •
      Other
      •42•1•0•0•Updated Mar 27, 2019Mar 27, 2019

    • bran

      Public
      Static analysis framework for EVM bytecode
      Go
      •
      GNU Lesser General Public License v3.0
      •7•0•0•0•Updated Feb 22, 2019Feb 22, 2019

    • tpprl

      Public
      Deep Reinforcement Learning of Marked Temporal Point Processes
      Python
      •18•1•0•0•Updated Feb 21, 2019Feb 21, 2019

    • memorize

      Public
      Code and real data for "Enhancing Human Learning via Spaced Repetition Optimization", PNAS 2019
      Jupyter Notebook
      •27•1•0•0•Updated Feb 21, 2019Feb 21, 2019