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•196•14•1•Updated Apr 8, 2026Apr 8, 2026

    • 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
      •5•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.