hero

Thomas Durieux

Ph.D. in software engineering, he focuses on static and dynamic analysis to improve the maintainability of software. He is particularly evolve in software debloat and automatic patch generation.

About Me: I am currently doing a Post-Doc at KTH Royal Institute of Technology. My research interests are software debloating and automatic patch generation, bugs indentification, developer interaction with bots. I did my Ph.D. at University of Lille, France on automatic patch generation in production.

Quick Biography: Post-doc at KTH Royal Institute of Technology, Sweden; previous post-doc at INESC in Portugal; Ph.D. from University of Lille, France; M.S. degrees, Computer Science, from the University of Lille; B.A., Computer Science, from Institut Paul Lambin in Belgium. During my studies, I did several internships as well in the industry (Microsoft Innovation Center, Emakina) as in the academic (KTH, CERN). I also created and maintain several open-source projects for research purposes and more.

Location: Stockholm, Sweden
Email: thomas|@|durieux.me
Twitter: thodurieux
GitHub: tdurieux
Scholar: tdurieux
LinkedIn: thomasdurieux

EXPERIENCE

  • KTH Royal Institute of Technology 
    / Feb. 2020 - current

    - Post-doc - Post-doc on software debloating and software art.

  • INESC-ID, University of Lisbon in Portugal 
    / Feb. 2019 - Jan 2020

    - Post-doc - Post-doc on fault localization and patch generation.

  • Carnegie Mellon University 
    / Feb. 2019 - Dec 2019

    - Visiting researcher - I worked with Claire Le Goes on a study that analyze the reasons that motivate the developers to restart builds on TravisCI.

  • KTH 
    / Apr. 2018 - Jun. 2018

    - Ph.D. internship - International internship at KTH in the Theoretical Computer Science department.

  • KTH 
    / Sep. 2017 - Dec. 2017

    - Ph.D. internship - International internship at KTH in the Theoretical Computer Science department. I worked on a new patch generation technique. This technique aims to fix automatically bug in websites. We adopted a crowdsourced approach where all the user contribute to the detection and repair of the bugs.

  • INRIA 
    / Sep. 2015 - current

    - Ph.D. Student - The motivation of my thesis is to improve automatic patch generation techniques. The state of the art techniques still rely on the developer to reproduce the bug, they rely on a failing test-case that describes the bug. My thesis presents new approaches that aim to removes the developer intervention during the patch generation.

  • INRIA 
    / Mar. 2015 - Aug. 2015

    - Master Thesis - I worked on the Nopol project, a test-suite-based automatic program repair approach that fixes buggy conditions. Firstly, I used symbolic execution engine to extend Nopol repair scope to buggy arithmetic statements. Secondly, I worked on the first patch synthesizer that generates patches that contains complex method invocations.

  • CERN 
    / Summer 2014

    - Internship - I worked with CERN security team, where I created a scanner that detects misconfigurations and outdated libraries in the thousands of WEB servers of the CERN institution. The goal of this scanner was to ensure that all the servers do not have known security issues.

  • Microsoft Innovation Center 
    / Mar. 2013 - Jun. 2013

    - Internship - I developed the backend infrastructure to create a SAS version of the Aproove product. Aproove is an annotation and validation system for high-resolution graphics document, i.e. magazine. To goal was to be able to quickly deploy and backup Aproove instances on different hosts.

TEACHING

  • University of Lille 
    / Sep. 2016 - Jun. 2018

    - Teaching Assistant - I minister the lecture on Software Engineering for first-year master students and the lecture of Algorithm and Programming for first-year bachelor students.
  • Institut Paul Lambin 
    / Sep. 2012 - Jun. 2013

    - Tutor - I provided remedial courses in computer science to first year students.

REVIEWER SERVICES

  • ASE 
    / 2021

    - Committee Member - Committee Member in Program Committee within the Research Papers-track

  • MSR 
    / 2021

    - Committee Member - Committee Member in Program Committee within the Research Papers-track

  • APR 
    / 2021

    - Committee Member - Committee Member in Program Committee

  • ICST 
    / 2021

    - Committee Member - Committee Member in Program Committee within the Research Papers-track

  • ASE 
    / 2020

    - Committee Member - Committee Member in Program Committee within the Research Papers-track

  • APR 
    / 2020

    - Committee Member - Committee Member in Program Committee

  • ICST 
    / 2020

    - SV Chair, Session Chair and Reviewer - Student Volunteers Chair & MISC 3 Session Chair & Reviewer

  • ENIAC 
    / 2020

    - Committee Member - Committee Member in Program Committee within the ENIAC20-track

  • ASE 
    / 2019

    - Committee Member - Committee Member at ASE'19 Demonstrations

  • EmSE 
    / 2019

    - Reviewer

  • TSE 
    / 2019

    - Reviewer

  • Journal of Computer Languages 
    / 2019

    - Reviewer

  • SANER 
    / 2018

    - Committee Member - Committee Member for the Early Research Achievement Track

  • ICSE 
    / 2017

    - External Reviewer

EDUCATION

Last Updated: 06/05/2021