News: New publications

Three MPI-SWS papers accepted at NeurIPS 2019

September 26, 2019

The following three MPI-SWS papers have been accepted to NeurIPS 2019, the flagship conference in machine learning:

  • Teaching Multiple Concepts to a Forgetful Learner
  • Learner-aware Teaching: Inverse Reinforcement Learning with Preferences and Constraints
  • Preference-Based Batch and Sequential Teaching: Towards a Unified View of Models

 

Three MPI-SWS Papers at ECRTS’19

July 9, 2019

MPI-SWS researchers, in collaboration with colleagues at TU Delft, the CISTER Research Centre at Polytechnic Institute of Porto, University of Saarland, Bosch Corporate Research, and Scuola Superiore Sant’Anna in Pisa, Italy, are proud to present three papers at this year's Euromicro Conference on Real-Time Systems (ECRTS) in Stuttgart, Germany. ECRTS is one of the three top-ranked conferences on real-time systems (according to Google Scholar Metrics, it is ranked number one).

  • D.

MPI-SWS researchers, in collaboration with colleagues at TU Delft, the CISTER Research Centre at Polytechnic Institute of Porto, University of Saarland, Bosch Corporate Research, and Scuola Superiore Sant’Anna in Pisa, Italy, are proud to present three papers at this year's Euromicro Conference on Real-Time Systems (ECRTS) in Stuttgart, Germany. ECRTS is one of the three top-ranked conferences on real-time systems (according to Google Scholar Metrics, it is ranked number one).

  • D. Casini, T. Blass, I. Lütkebohle, and B. Brandenburg, “Response-Time Analysis of ROS 2 Processing Chains under Reservation-Based Scheduling”, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), pp. 6:1–6:23, July 2019. Open Access PDF
  • A. Gujarati, M. Nasri, R. Majumdar, and B. Brandenburg, “From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems”, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), pp. 9:1–9:23, July 2019. Open Access PDF
  • M. Nasri, G. Nelissen, and B. Brandenburg, “Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks under Global Scheduling”, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), pp. 21:1–21:23, July 2019. Open Access PDF
Read more

MPI-SWS article published in the Proceedings of Academy of Sciences (PNAS)

January 24, 2019

The article "Enhancing Human Learning via spaced repetition optimization", coauthored by MPI-SWS and MPI-IS researchers, has been published in the Proceedings of the National Academy of Sciences (PNAS), a highly prestigious journal.

The (open-access) article can be found here: https://www.pnas.org/content/early/2019/01/18/1815156116.

Five MPI-SWS papers at POPL 2019!

January 3, 2019
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019:
  • Bridging the Gap Between Programming Languages and Hardware Weak Memory Models by Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis.
  • From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, and Deian Stefan.
  • Formal verification of higher-order probabilistic programs by Tetsuya Sato, Alejandro Aguirre, Gilles Barthe,
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019:
  • Bridging the Gap Between Programming Languages and Hardware Weak Memory Models by Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis.
  • From Fine- to Coarse-Grained Dynamic Information Flow Control and Back by Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, and Deian Stefan.
  • Formal verification of higher-order probabilistic programs by Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.
  • Grounding Thin-Air Reads with Event Structures by Soham Chakraborty and Viktor Vafeiadis.
  • On Library Correctness under Weak Memory Consistency by Azalea Raad, Marko Doko, Lovro Rožić, Ori Lahav, and Viktor Vafeiadis.

What's more, the MPI-SWS Software Analysis and Verification group has a whole session to itself at POPL 2019. The weak memory session on Thursday, Jan 17, is comprised of the three papers by Viktor Vafeiadis, his students, postdocs, and collaborators.

Read more

Five MPI-SWS papers accepted at NIPS 2018

October 4, 2018

The following five MPI-SWS papers have been accepted to NIPS 2018, the flagship conference in machine learning:

  • Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making
  • Teaching Inverse Reinforcement Learners via Features and Demonstrations
  • Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners
  • Deep Reinforcement Learning of Marked Temporal Point Processes
  • Enhancing the Accuracy and Fairness of Human Decision Making

 

OOPSLA’18: Four MPI-SWS papers

September 12, 2018

Four papers to appear at OOPSLA'18 have been (co)-authored by MPI-SWS members.

Four papers to appear at OOPSLA'18 have been (co)-authored by MPI-SWS members.

Read more

Four MPI-SWS papers accepted at AAAI 2018

February 13, 2018

Four papers from MPI-SWS have been accepted to AAAI 2018:

  • Beyond Distributive Fairness in Algorithmic Decision Making: Feature Selection for Procedurally Fair Learning
  • Learning to Interact with Learning Agents
  • Information Gathering with Peers: Submodular Optimization with Peer-Prediction Constraints
  • Learning User Preferences to Incentivize Exploration in the Sharing Economy

Three MPI-SWS papers accepted at WWW 2018

February 13, 2018

Three papers from MPI-SWS have been accepted to the 2018 Web Conference:

  • Human Perceptions of Fairness in Algorithmic Decision Making: A Case Study of Criminal Risk Prediction
  • On the Causal Effect of Badges
  • Fake News Detection in Social Networks via Crowd Signals

POPLpalooza: Five MPI-SWS papers at POPL 2018 + a new record!

January 18, 2018

In 2018, MPI-SWS researchers authored a total of five POPL papers:

  • Parametricity versus the Universal Type. Dominique Devriese, Marco Patrignani, Frank Piessens.
  • Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis, Ori Lahav, Kostis Sagonas, Viktor Vafeiadis.
  • Monadic refinements for relational cost analysis. Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger.
  • Why is Random Testing Effective for Partition Tolerance Bugs? Rupak Majumdar, Filip Niksic.

In 2018, MPI-SWS researchers authored a total of five POPL papers:

  • Parametricity versus the Universal Type. Dominique Devriese, Marco Patrignani, Frank Piessens.
  • Effective Stateless Model Checking for C/C++ Concurrency. Michalis Kokologiannakis, Ori Lahav, Kostis Sagonas, Viktor Vafeiadis.
  • Monadic refinements for relational cost analysis. Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger.
  • Why is Random Testing Effective for Partition Tolerance Bugs? Rupak Majumdar, Filip Niksic.
  • RustBelt: Securing the Foundations of the Rust Programming Language. Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer.

Furthermore, with the "RustBelt" paper, MPI-SWS faculty member Derek Dreyer cements a 10-year streak of having at least one POPL paper each year, breaking the all-time record of 9 years previously held by John Mitchell at Stanford. Congratulations Derek!

Read more

MPI-SWS paper accepted into WSDM ’18

November 2, 2017

The paper "Leveraging the Crowd to Detect and Reduce the Spread of Fake News and Misinformation " by MPI-SWS researchers, in collaboration with researchers at KAIST and MPI-IS, has been accepted to WSDM 2018, one of the flagship conferences in data mining.

WSDM will take place in Los Angeles (CA, USA) in February 2018.

MPI-SWS paper accepted into NIPS ’17

September 22, 2017

The paper "From Parity to Preference: Learning with Cost-effective Notions of Fairness" by MPI-SWS researchers, in collaboration with researchers at the University of Cambridge and MPI-IS, has been accepted to NIPS 2017, the flagship conference in machine learning.

NIPS will take place in Long Beach (CA, USA) in December 2017.

MPI-SWS paper accepted into RTSS’17

July 10, 2017

The paper entitled "An Exact and Sustainable Analysis of Non-Preemptive Scheduling" by MPI-SWS researchers Mitra Nasri and Björn Brandenburg was accepted into the program of the 38th IEEE Real-Time Systems Symposium (RTSS 2017).

RTSS 2017 will be held from December 6 to December 8 in Paris, France.

 

Targeted malware paper accepted at NDSS ’17

January 23, 2017

The paper "A Broad View of the Ecosystem of Socially Engineered Exploit Documents" was accepted at NDSS '17 (Network and Distributed System Security Symposium).  The authors include Stevens Le Blond, Cédric Gilbert, Utkarsh Upadhyay, and Manuel Gomez Rodriguez from MPI-SWS, as well as David Choffnes from Northeastern University.

Our understanding of exploit documents as a vector to deliver targeted malware is limited to a handful of studies done in collaboration with the Tibetans,

The paper "A Broad View of the Ecosystem of Socially Engineered Exploit Documents" was accepted at NDSS '17 (Network and Distributed System Security Symposium).  The authors include Stevens Le Blond, Cédric Gilbert, Utkarsh Upadhyay, and Manuel Gomez Rodriguez from MPI-SWS, as well as David Choffnes from Northeastern University.

Our understanding of exploit documents as a vector to deliver targeted malware is limited to a handful of studies done in collaboration with the Tibetans, Uyghurs, and political dissidents in the Middle East. In this measurement study, we present a complementary methodology relying only on publicly available data to capture and analyze targeted attacks with both greater scale and depth. In particular, we detect exploit documents uploaded over one year to a large anti-virus aggregator (VirusTotal) and then mine the social engineering information they embed to infer their likely targets and contextual information of the attacks. We identify attacks against two ethnic groups (Tibet and Uyghur) as well as 12 countries spanning America, Asia, and Europe. We then analyze the exploit documents dynamically in sandboxes to correlate and compare the exploited vulnerabilities and malware families targeting different groups. Finally, we use machine learning to infer the role of the uploaders of these documents to VirusTotal (i.e., attacker, targeted victim, or third-party), which enables their classification based only on their metadata, without any dynamic analysis. We make our datasets available to the academic community.

Read more

Five MPI-SWS papers accepted at WWW ’17

December 23, 2016

Five papers from MPI-SWS have been accepted to WWW 2017:

  • Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment
  • Modeling the Dynamics of Online Learning Activity
  • Distilling Information Reliability and Source Trustworthiness from Digital Traces
  • Optimizing the Recency-Relevancy Trade-off in Online News Recommendations
  • Predicting the Success of Online Petitions Leveraging Multi-dimensional Time-Series

The 26th International World Wide Web Conference (WWW) will take place in Perth, Australia in April 2017.

Three MPI-SWS papers accepted to POPL’17

October 18, 2016

Three papers from MPI-SWS were accepted to ACM POPL 2017:

  • A promising semantics for relaxed-memory concurrency
  • Relational cost analysis
  • Thread modularity at many levels: a pearl in compositional verification

Two MPI-SWS papers accepted at WSDM’17

October 18, 2016

Two papers from MPI-SWS were accepted to ACM WSDM 2017:

  • RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks
  • Uncovering the Dynamics of Crowdlearning and the Value of Knowledge

Two MPI-SWS papers accepted at RTNS’16

September 7, 2016

Two MPI-SWS papers were accepted into the program of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016):

  • Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic
  • On the Problem of Finding Optimal Harmonic Periods

RTNS 2016 will be held from October 19 to October 21 in Brest, France.

Two MPI-SWS papers accepted into RTSS’16

September 1, 2016

Two papers of MPI-SWS researchers were accepted into the program of the 37th IEEE Real-Time Systems Symposium (RTSS 2016):

  • A Blocking Bound for Nested FIFO Spin Locks
  • Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations

RTSS 2016 will be held from November 29 until December 2 in Porto, Portugal.