automated software transplantation
play

Automated Software Transplantation Earl T. Mark Yue Alexandru - PowerPoint PPT Presentation

Dec 10, 2023 •182 likes •1.06k views

Automated Software Transplantation Earl T. Mark Yue Alexandru Justyna Barr Harman Jia Marginean Petke CREST, University College London Alexandru Marginean Automated Software Transplantation Humies 2016 Why Autotransplantation?

  1. Automated Software Transplantation Earl T. Mark Yue Alexandru Justyna Barr Harman Jia Marginean Petke CREST, University College London Alexandru Marginean — Automated Software Transplantation — Humies 2016

  2. Why Autotransplantation? VLC Alexandru Marginean — Automated Software Transplantation — Humies 2016

  3. Why Autotransplantation? VLC Alexandru Marginean — Automated Software Transplantation — Humies 2016

  4. Why Autotransplantation? Why not handle VLC H.264? Alexandru Marginean — Automated Software Transplantation — Humies 2016

  5. Why Autotransplantation? Why not handle VLC H.264? Alexandru Marginean — Automated Software Transplantation — Humies 2016

  6. Why Autotransplantation? Why not handle VLC H.264? Alexandru Marginean — Automated Software Transplantation — Humies 2016

  7. Why Autotransplantation? Why not handle VLC H.264? Start from scratch Alexandru Marginean — Automated Software Transplantation — Humies 2016

  8. Why Autotransplantation? Why not handle VLC H.264? Start from scratch Alexandru Marginean — Automated Software Transplantation — Humies 2016

  9. Why Autotransplantation? Check open source repositories Why not handle VLC H.264? Start from scratch Alexandru Marginean — Automated Software Transplantation — Humies 2016

  10. Why Autotransplantation? Check open source repositories Why not handle VLC H.264? Start from scratch Alexandru Marginean — Automated Software Transplantation — Humies 2016

  11. Why Autotransplantation? Check open source repositories Why not handle VLC H.264? Start from scratch Alexandru Marginean — Automated Software Transplantation — Humies 2016

  12. Why Autotransplantation? Check open source repositories Why not handle VLC H.264? Start from scratch Alexandru Marginean — Automated Software Transplantation — Humies 2016

  13. Why Autotransplantation? ~100 players Check open source repositories Why not handle VLC H.264? Start from scratch Alexandru Marginean — Automated Software Transplantation — Humies 2016

  14. (G) The result solves a problem of indisputable difficulty in its field.

  15. Human Competition x264 VLC char *vF; char * iF = getInputFile(); vF = getFile(); char * oF = getOutputFile(); initCodec(vF); Stream *ds = decodeFile(vF); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  16. Human Competition x264 VLC char *vF; char * iF = getInputFile(); vF = getFile(); char * oF = getOutputFile(); initCodec(vF); Stream *ds = decodeFile(vF); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  17. Human Competition x264 VLC char *vF; char * iF = getInputFile(); vF = getFile(); char * oF = getOutputFile(); initCodec(vF); Stream *ds = decodeFile(vF); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  18. Human Competition x264 VLC char *vF; char * iF = getInputFile(); vF = getFile(); char * oF = getOutputFile(); initCodec(vF); Stream *ds = decodeFile(vF); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  19. Human Competition x264 VLC char *vF; char * iF = getInputFile(); vF = getFile(); char * oF = getOutputFile(); initCodec(vF); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  20. Human Competition x264 VLC char *vF; char * iF = getInputFile(); vF = getFile(); char * oF = getOutputFile(); initCodec(vF); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  21. Human Competition x264 VLC char *vF; char * iF = getInputFile(); vF = getFile(); char * oF = getOutputFile(); initCodec(vF); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  22. Human Competition x264 VLC char * iF = getInputFile(); char * oF = getOutputFile(); char *vF; vF = getFile(); initCodec(vF); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  23. Human Competition x264 VLC char * iF = getInputFile(); char * oF = getOutputFile(); char *vF; vF = getFile(); iF = getFile(); initCodec(vF); initCodec( iF ); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  24. Human Competition x264 VLC char * iF = getInputFile(); char * oF = getOutputFile(); char *vF; vF = getFile(); iF = getFile(); initCodec(vF); initCodec( iF ); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  25. Human Competition x264 VLC char * iF = getInputFile(); char * oF = getOutputFile(); char *vF; vF = getFile(); iF = getFile(); initCodec(vF); initCodec( iF ); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  26. Human Competition x264 VLC char * iF = getInputFile(); char * oF = getOutputFile(); char *vF; vF = getFile(); iF = getFile(); initCodec(vF); initCodec( iF ); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  27. Human Competition x264 VLC char * iF = getInputFile(); char * oF = getOutputFile(); char *vF; vF = getFile(); iF = getFile(); initCodec(vF); initCodec( iF ); Stream *ds = decodeFile( iF ); Stream *ds = decodeFile(vF); encodeStream(ds, oF ); encodeStream(ds, out); Alexandru Marginean — Automated Software Transplantation — Humies 2016

  28. Our Approach S CALPEL μ

  29. Our Approach S CALPEL μ

  30. Our Approach S CALPEL μ

  31. a c f i t t r A * o m C p * l e t t n e A e t * s * E i W s Result: x264 & VLC n e C o A l l C D T * o * S c e u s S m u e E e I R n o t * v t e d y s * a E a d l e u t a Donor Host Alexandru Marginean — Automated Software Transplantation — Humies 2016

  32. a c f i t t r A * o m C p * l e t t n e A e t * s * E i W s Result: x264 & VLC n e C o A l l C D T * o * S c e u s S m u e E e I R n o t * v t e d y s * a E a d l e u t a Award winning tool for H.264 encoding [2,3,4] Donor Host Alexandru Marginean — Automated Software Transplantation — Humies 2016

  33. a c f i t t r A * o m C p * l e t t n e A e t * s * E i W s Result: x264 & VLC n e C o A l l C D T * o * S c e u s S m u e E e I R n o t * v t e d y s * a E a d l e u t a Award winning tool for H.264 “Most popular desktop video encoding [2,3,4] player” [1] Donor Host Alexandru Marginean — Automated Software Transplantation — Humies 2016

  34. a c f i t t r A * o m C p * l e t t n e A e t * s * E i W s Result: x264 & VLC n e C o A l l C D T * o * S c e u s S m u e E e I R n o t * v t e d y s * a E a d l e u t a Award winning tool for H.264 “Most popular desktop video encoding [2,3,4] player” [1] Organ: H264 Donor Host Alexandru Marginean — Automated Software Transplantation — Humies 2016

  35. a c f i t t r A * o m C p * l e t t n e A e t * s * E i W s Result: x264 & VLC n e C o A l l C D T * o * S c e u s S m u e E e I R n o t * v t e d y s * a E a d l e u t a Award winning tool for H.264 “Most popular desktop video encoding [2,3,4] player” [1] Organ: H264 Donor Host Alexandru Marginean — Automated Software Transplantation — Humies 2016

  36. a c f i t t r A * o m C p * l e t t n e A e t * s * E i W s Result: x264 & VLC n e C o A l l C D T * o * S c e u s S m u e E e I R n o t * v t e d y s * a E a d l e u t a Award winning tool for H.264 “Most popular desktop video encoding [2,3,4] player” [1] Organ: H264 Donor Host Postoperative Alexandru Marginean — Automated Software Transplantation — Humies 2016

  37. a c f i t t r A * o m C p * l e t t n e A e t * s * E i W s Result: x264 & VLC n e C o A l l C D T * o * S c e u s S m u e E e I R n o t * v t e d y s * a E a d l e u t a Automatic Transplantation of H264 Encoder Time Regression Manual Acceptance (hours) Tests Tests Tests μ S CALPEL 26 100% 100% 100% Organ: H264 Donor Host Postoperative Alexandru Marginean — Automated Software Transplantation — Humies 2016

  38. Autotransplantation vs Human Transplantation Alexandru Marginean — Automated Software Transplantation — Humies 2016

Recommend

Automated Software Transplantation ( ISSTA 2015 ) Earl T. Mark Yue Alexandru Justyna Barr

Automated Software Transplantation ( ISSTA 2015 ) Earl T. Mark Yue Alexandru Justyna Barr

Automated Software Transplantation ( ISSTA 2015 ) Earl T. Mark Yue Alexandru Justyna Barr Harman Jia Marginean Petke CREST, University College London Justyna Petke Automated Software Transplantation Genetic Improvement of Software

418 views • 22 slides
Automated Software Transplantation Earl T. Mark Yue Alexandru Justyna Barr Harman Jia

Automated Software Transplantation Earl T. Mark Yue Alexandru Justyna Barr Harman Jia

Automated Software Transplantation Earl T. Mark Yue Alexandru Justyna Barr Harman Jia Marginean Petke CREST, University College London Alexandru Marginean Automated Software Transplantation Why Autotransplantation? ~100 players

593 views • 20 slides
Automated Software Transplantation QRS 2016 Talk by Mark Harman PhD work by Alexandru Marginean

Automated Software Transplantation QRS 2016 Talk by Mark Harman PhD work by Alexandru Marginean

Automated Software Transplantation QRS 2016 Talk by Mark Harman PhD work by Alexandru Marginean Collaborators Earl Barr, Yue Jia, Justyna Petke CREST, University College London Automated Software Transplantation QRS 2016 Talk by Mark

430 views • 28 slides
Automated Transplantation and Differential Testing for Clones Tianyi Zhang, Miryung Kim

Automated Transplantation and Differential Testing for Clones Tianyi Zhang, Miryung Kim

Automated Transplantation and Differential Testing for Clones Tianyi Zhang, Miryung Kim University of California, Los Angeles 1 Problem Statement Code clones are common in modern software systems. Developers often find it difficult to

715 views • 29 slides
Towards Automated Software Project Planning Extending Palladio for the Simulation of Software

Towards Automated Software Project Planning Extending Palladio for the Simulation of Software

KPD Symposium 2013 Position Paper Towards Automated Software Project Planning Extending Palladio for the Simulation of Software Processes Oliver Hummel & Robert Heinrich sdq.ipd.kit.edu SOFTWARE DESIGN AND QUALITY GROUP INSTITUTE FOR

233 views • 11 slides
Searching for the Best Tests An Introduction to Automated Software Testing with

Searching for the Best Tests An Introduction to Automated Software Testing with

Searching for the Best Tests An Introduction to Automated Software Testing with Search-Based Techniques Gregory M. Kapfhammer Department of Computer Science Allegheny College March 31, 2015 Software is Everywhere Software is

1.71k views • 144 slides
NEURONAL TRANSPLANTATION AND ITS IMPLICATIONS IN PARKINSONS DISEASE 1. INTRODUCTION 2.

NEURONAL TRANSPLANTATION AND ITS IMPLICATIONS IN PARKINSONS DISEASE 1. INTRODUCTION 2.

NEURONAL TRANSPLANTATION AND ITS IMPLICATIONS IN PARKINSONS DISEASE 1. INTRODUCTION 2. ESSENTIAL ELEMENTS OF NEURONAL TRANSPLANTATION 3. CELL TYPES AND METHODS OF NEURONAL TRANSPLANTATION 4. NEURONAL TRANSPLANTATION IN ANIMAL MODELS OF PD

536 views • 16 slides
Cloud9 Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur, Vlad

Cloud9 Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur, Vlad

Cloud9 Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea School of Computer and Communication Sciences Automated Software Testing Automated Industrial Techniques

1.25k views • 59 slides
Transplantation Society development of the science and clinical practice Transplantation

Transplantation Society development of the science and clinical practice Transplantation

9/28/2016 Transplantation Society development of the science and clinical practice Transplantation Building Bridges scientific communication to Excellence continuing education guidance on the ethical practice How can we use our

401 views • 9 slides
Transplantation for Mantle Cell Lymphoma Using Post-Transplantation Cyclophosphamide Graft-

Transplantation for Mantle Cell Lymphoma Using Post-Transplantation Cyclophosphamide Graft-

Haploidentical Allogeneic Hematopoietic Cell Transplantation for Mantle Cell Lymphoma Using Post-Transplantation Cyclophosphamide Graft- versus-Host Disease Prophylaxis . Luca Castagna, MD Institut Paoli Calmettes, Marseille Humanitas Research

635 views • 14 slides
Lecture on Automated Software Engineering Alloy: Analyzing Software Requirements, Design and

Lecture on Automated Software Engineering Alloy: Analyzing Software Requirements, Design and

Lecture on Automated Software Engineering Alloy: Analyzing Software Requirements, Design and Algorithms Martin Monperrus, Ph.D. version of Oct 15, 2012 Creative Commons Attribution License Copying and modifying are authorized as long as

818 views • 34 slides
S V V .lu software verification & validation Automated Software Testing in Cyber-Physical

S V V .lu software verification & validation Automated Software Testing in Cyber-Physical

S V V .lu software verification & validation Automated Software Testing in Cyber-Physical Systems Lionel Briand NUS, Singapore, 2019 Dependable Breakfast 2 SnT Center: Mandate 3 SnT Center: Overview 101 M 287 employees 51

1.36k views • 94 slides
Neutral Networks of Real-World Programs and their Application to Automated Software Evolution

Neutral Networks of Real-World Programs and their Application to Automated Software Evolution

Neutral Networks of Real-World Programs and their Application to Automated Software Evolution Eric Schulte Department of Computer Science University of New Mexico Albuquerque, NM July 2014 Neutral Networks and Automated Software Evolution

1.51k views • 147 slides
Automated Software Testing with Inferred Program Properties Tao Xie Dept. of Computer Science

Automated Software Testing with Inferred Program Properties Tao Xie Dept. of Computer Science

Automated Software Testing with Inferred Program Properties Tao Xie Dept. of Computer Science & Engineering University of Washington Joint work with David Notkin July 2004 Motivation Existing automated test generation tools are

638 views • 43 slides
Brain Death and Organ Transplantation in Japan: The Enactment of Organ Transplantation Act of

Brain Death and Organ Transplantation in Japan: The Enactment of Organ Transplantation Act of

Brain Death and Organ Transplantation in Japan: The Enactment of Organ Transplantation Act of 1997 Eiji Maruyama Kobe University Kobe, Japan History of Japanese Laws Concerning Transplantation 1997.06: An Act Concerning Organ

699 views • 12 slides
Transplantation in Autoimmune Disease He Huang, M.D., Ph.D. Bone Marrow transplantation Center

Transplantation in Autoimmune Disease He Huang, M.D., Ph.D. Bone Marrow transplantation Center

Transplantation in Autoimmune Disease He Huang, M.D., Ph.D. Bone Marrow transplantation Center The First Affiliated Hospital Zhejiang University School of Medicine China Contents Rationale for HSCT Auto-HSCT for autoimmune disease

1.11k views • 65 slides
Software NFs The good: The fmexibility of software The software development cycle The bad: The

Software NFs The good: The fmexibility of software The software development cycle The bad: The

Automated Synthesis of Adversarial Workloads for Network Functions Luis Pedrosa, Rishabh Iyer, Arseniy Zaostrovnykh, Jonas Fietz, Katerina Argyraki N etwork A rchitecture L aboratory Software NFs The good: The fmexibility of software The

710 views • 54 slides
CLARO Automated image enhancement Claro - automated - professional - software - to optimize

CLARO Automated image enhancement Claro - automated - professional - software - to optimize

CLARO Automated image enhancement Claro - automated - professional - software - to optimize your images; Claro analyzes file formats like - TIFF - GIF - PSD - BMP - PDF - JPG - PNG - Photoshop EPS Claro analyzes image

421 views • 13 slides
Live Donor Liver Transplantation: A Life Saving Option for End Stage Liver Disease

Live Donor Liver Transplantation: A Life Saving Option for End Stage Liver Disease

March 12, 2019 Live Donor Liver Transplantation: A Life Saving Option for End Stage Liver Disease Abhi Humar, MD Clinical Director, Thomas E. Starzl Transplantation Institute 1 PITTSBURGHTHE BIRTHPLACE OF LIVER TRANSPLANTATION

519 views • 24 slides
Using Likely Invariants For Automated Software Fault Localization Swarup Sahoo, John Criswell,

Using Likely Invariants For Automated Software Fault Localization Swarup Sahoo, John Criswell,

Using Likely Invariants For Automated Software Fault Localization Swarup Sahoo, John Criswell, Chase Geigle, Vikram Adve Presented By: Matthew Perez and Thomas Rupp Motivation Detecting software bugs is time consuming and difficult Lots

150 views • 13 slides
Occam : Automated Software Winnowing Gregory Malecha 1 Ashish Gehani 2 Natarajan Shankar 2 1

Occam : Automated Software Winnowing Gregory Malecha 1 Ashish Gehani 2 Natarajan Shankar 2 1

Occam : Automated Software Winnowing Gregory Malecha 1 Ashish Gehani 2 Natarajan Shankar 2 1 Harvard 2 SRI Malecha, Gehani, Shankar Occam : Automated Software Winnowing 1 / 18 A story of success... Software engineering has been so successful

1.25k views • 27 slides
Automated Refactoring of Legacy Java Software to Default Methods RAFFI KHATCHADOURIAN HIDEHIKO

Automated Refactoring of Legacy Java Software to Default Methods RAFFI KHATCHADOURIAN HIDEHIKO

1 Automated Refactoring of Legacy Java Software to Default Methods RAFFI KHATCHADOURIAN HIDEHIKO MASUHARA CITY UNIVERSITY OF NEW YORK TOKYO INSTITUTE OF TECHNOLOGY INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2017 Background: 2

424 views • 21 slides
Optimizing the Automated Programming Stack James Bornholt University of Washington Software

Optimizing the Automated Programming Stack James Bornholt University of Washington Software

Optimizing the Automated Programming Stack James Bornholt University of Washington Software is everywhere Bugs are everywhere Bugs are everywhere Automated programming tools Program Verifier + test case Specification Language

1.5k views • 136 slides
LilyPond Automated music formatting and The Art of Shipping Han-Wen Nienhuys LilyPond Software

LilyPond Automated music formatting and The Art of Shipping Han-Wen Nienhuys LilyPond Software

LilyPond Automated music formatting and The Art of Shipping Han-Wen Nienhuys LilyPond Software Design Jan Nieuwenhuizen 7th Frum Internacional Software Livre April 20, 2006. Porto Alegre, Brazil Han-Wen Nienhuys Automatic music formatting

648 views • 26 slides

More recommend