Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Computer Science
    • MSc in Data Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Women in tech
    • Student organisations at ITU
    • Labs for students
    • Practical Information for International Students
    • Ask a student
    • Study Start
    • Study and Career Guidance
    • Guest Students
    • Who can be a Guest Student
    • ITU Summer University
    • Exchange Student
    • Become an exchange student at ITU
    • Open House
    • Open House - MSc programmes
    • Open House - BSc programmes
  • Professional Education
    • Master in IT
    • Master in IT Management
    • Single Subjects
    • About single subjects
    • Contact
    • Contact us here
  • Research
    • Departments
    • Business IT Department
    • Computer Science Department
    • Digital Design Department
    • Research entities
    • Research Groups
    • Labs
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • European Blockchain Centre
    • Danish Institute for IT Program Management
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Licensing Opportunities
    • Open Entrepreneurship
    • Research collaboration
    • Industrial PhD
    • Hire an Industrial PhD
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU Startup
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
Courses
ITU  /  Research  /  PhD Programme  /  Courses  /  2019  /  PhD Course - Automated Program Repair
  • Research
    • Research Departments
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research Groups and Centers
    • Labs
    • Technical Reports
    • PhD Programme
      • About the PhD Programme
      • Courses
        • 2023
        • 2022
        • 2021
        • 2020
        • 2019
          • PhD Course - Advanced Topics in Procedural Content Generation
          • PhD Course - Approaches to Value
          • PhD Course - Automated Program Repair
            • PhD Course - Computational Media Reading Group
            • PhD Course - Designing Qualitative IS Research Projects
            • PhD Course - European Blockchain Center Summer School 2019
            • PhD Course - Linux Kernel Course
            • PhD Course - Living with Data
            • PhD course - PhD Symposium fall 2019
            • PhD Course - Research - Code of Conduct
            • PhD Course - Ritual, Play and Performance - an exploration of a design space
            • PhD Course - Supervision for PhD students
            • PhD course - Type Theory Seminar
          • 2018
          • 2017
          • 2016
          • 2015
          • 2014
          • 2013
          • 2012
          • 2011
          • 2010
        • Defences
        • Positions
        • Types of Enrolment
        • Handbook
        • PhD Support

    PhD Course - Automated Program Repair

    Website: https://square.itu.dk/?p=526

    Organizer(s): Andrzej Wasowski and Mahsa Varshosaz

    Lecturer(s): Mahsa Varshosaz, Andrzej Wasowski, and the participants

    Date(s) of the course: April 30, May 14 and 21, June 4, 11 and 18  

    Time: 14:00-15:30

    Room preferences: The room is reserved and will be announced on the course website.

    Course description: The problem of automatically synthesizing patches that fix bugs in programs is a recently hot topic in Software Engineering, intersecting to semantics and verification, and (simultaneously) to AI and machine learning. In our reading group, we will be looking at papers that use search-based techniques (learning) and testing to fix programs, and some that use more semantics oriented methods (symbolic execution, synthesis).

    We plan to have six sessions. In each session, participants present and discuss two papers. Furthermore, the details and interesting points will be discussed among the group.                                              

    Programme: Each session will last 90 minutes and will include a presentation and discussion of two research papers.

    Prerequisites: Basic knowledge about semantics, verification and testing.

    Exam: Credit is given to participants who have presented papers and actively participated in the discussion.

    Credits: 1.5 ECTS

    Amount of hours the student is expected to use on the course:

    Participation: 9 hours.

    Preparation: 40-50 hours, about 3 hours for reading each paper, and about 10 hours for preparing a session.

    How to sign up: Mahsa Varshosaz, mahv@itu.dk

    Reading list: The participants will read a list of papers on program repair throughout the course.

    • Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. 2009. Automatically finding patches using genetic programming. In Proceedings of the 31st International Conference on Software Engineering (ICSE '09). IEEE Computer Society, Washington, DC, USA, 364-374. DOI=http://dx.doi.org/10.1109/ICSE.2009.5070536
    • Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. 2012. GenProg: A Generic Method for Automatic Software Repair. IEEE Trans. Softw. Eng. 38, 1 (January 2012), 54-72. DOI=http://dx.doi.org/10.1109/TSE.2011.104
    • Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. SemFix: program repair via semantic analysis. In Proceedings of the 2013 International Conference on Software Engineering (ICSE '13). IEEE Press, Piscataway, NJ, USA, 772-781.
    • Sergey Mechtaev, Jooyong Yi, and Abhik Roychoudhury. 2016. Angelix: scalable multiline program patch synthesis via symbolic analysis. In Proceedings of the 38th International Conference on Software Engineering (ICSE '16). ACM, New York, NY, USA, 691-701. DOI: https://doi.org/10.1145/2884781.288480
    • Haopeng Liu, Yuxi Chen, and Shan Lu. 2016. Understanding and generating high quality patches for concurrency bugs. In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016). ACM, New York, NY, USA, 715-726. DOI: https://doi.org/10.1145/2950290.2950309
    • Peng Liu, Omer Tripp, and Charles Zhang. 2014. Grail: context-aware fixing of concurrency bugs. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014). ACM, New York, NY, USA, 318-329. DOI: https://doi.org/10.1145/2635868.2635881

    Additional reading will be published on the course website. We will prioritize the papers collaboratively with the participants.










    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53 /
    P-nummer 1005162959

    This page is printed from https://en.itu.dk/Research/Technical-Reports/Technical-Reports-Archive/2008/TR-2008-112