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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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
Public data resources Stockholm, November 9 2018 Jakub Orzechowski Westholm Long-term

Public data resources Stockholm, November 9 2018 Jakub Orzechowski Westholm Long-term

Public data resources Stockholm, November 9 2018 Jakub Orzechowski Westholm Long-term bioinformatics support NBIS, SciLifeLab, Stockholm University This lecture Big projects generating a lot of ChIP-seq data ENCODE/modENCODE Roadmap

193 views • 17 slides
M. Seri marco.seri@unibo.it Bologna 24 Gennaio 2009 Definitions Definitions Gene Gene :

M. Seri marco.seri@unibo.it Bologna 24 Gennaio 2009 Definitions Definitions Gene Gene :

M. Seri marco.seri@unibo.it Bologna 24 Gennaio 2009 Definitions Definitions Gene Gene : Introduced by Johansson in : Introduced by Johansson in Copenhagen for Mendels unit of inheritance Copenhagen for Mendels unit of inheritance

287 views • 16 slides
The Internet of Animals Professor Stephen Hailes UCL New Frontiers in IoT Well, kind of. q

The Internet of Animals Professor Stephen Hailes UCL New Frontiers in IoT Well, kind of. q

The Internet of Animals Professor Stephen Hailes UCL New Frontiers in IoT Well, kind of. q Sheep (x2) (w Cambridge PDN & RVC) q Leopards (RVC & BCPT) q Wild dogs (RVC & BCPT) q Baboons (Swansea) q Birds (RVC) q This is

786 views • 74 slides
Moving Beyond Consent: Deliberative Community Engagement as an Approach to Research Governance

Moving Beyond Consent: Deliberative Community Engagement as an Approach to Research Governance

Moving Beyond Consent: Deliberative Community Engagement as an Approach to Research Governance Barbara A. Koenig, Ph.D. University of California, San Francisco Cincinnati, OH, March 13, 2015 The Bioethics Story Premise Research is

1.25k views • 90 slides
Funding NIH/NIDDK; Beta-Cell Biology Consortium Larry L. Hillblom Foundation The Leona M. and

Funding NIH/NIDDK; Beta-Cell Biology Consortium Larry L. Hillblom Foundation The Leona M. and

Options for Cell Replacement in Diabetes Michael German MD Division of Endocrinology Department of Medicine UCSF Funding NIH/NIDDK; Beta-Cell Biology Consortium Larry L. Hillblom Foundation The Leona M. and Harry B. Helmsley Charitable

546 views • 26 slides
Revolutionising the process of software development Justyna Petke C entre for R esearch in E

Revolutionising the process of software development Justyna Petke C entre for R esearch in E

Revolutionising the process of software development Justyna Petke C entre for R esearch in E volution, S earch and T esting University College London CREST Genetic Improvement of Software Justyna Petke C entre for R esearch in E volution, S

969 views • 72 slides
Genetic Improvement Justyna Petke C entre for R esearch in E volution, S earch and T esting

Genetic Improvement Justyna Petke C entre for R esearch in E volution, S earch and T esting

Genetic Improvement Justyna Petke C entre for R esearch in E volution, S earch and T esting University College London CREST Thank you Yue Jia Alexandru Marginean Mark Harman CREST Genetic Improvement Justyna Petke What does the word

1.42k views • 140 slides
FHA PFE Learning Collaborative Patient and Family Advisors: Onboarding and Expanding

FHA PFE Learning Collaborative Patient and Family Advisors: Onboarding and Expanding

FHA PFE Learning Collaborative Patient and Family Advisors: Onboarding and Expanding Opportunities for Involvement August 25, 2017 Todays Agenda Welcome and Introductions Moffitt Cancer Center: Patient and Family Advisory Program:

477 views • 43 slides

More recommend