Video Converter
Audio Converter
Image Converter
PDF Converter
File Compressor
automated software transplantation

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

Dec 10, 2023 •182 likes •1.07k 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

421 views • 22 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

432 views • 28 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

596 views • 20 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

704 views • 12 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

537 views • 16 slides
Automated Design of Digital Automated Design of Digital Automated Design of Digital Automated

Automated Design of Digital Automated Design of Digital Automated Design of Digital Automated

Automated Design of Digital Automated Design of Digital Automated Design of Digital Automated Design of Digital Microfluidic Lab Microfluidic Lab- -on on- -Chip under Chip under Pin Pin- -Count Constraints Count Constraints Krishnendu

611 views • 27 slides
Microbiota Transplantation Early History of Microbiota Transplantation Pliny the Elder, Roman

Microbiota Transplantation Early History of Microbiota Transplantation Pliny the Elder, Roman

Microbiota Transplantation Early History of Microbiota Transplantation Pliny the Elder, Roman naturalist, 23 A.D. Ge Hong, Chinese healer, 4 th Century Le Shizhen, Chinese healer, 16 th Century Acquapendente, Italian surgeon, 16 th Century

202 views • 16 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

522 views • 24 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.12k views • 65 slides
Paired Donor Kidney Transplantation in the UK Dr Matthew Robb Senior Statistician, NHSBT

Paired Donor Kidney Transplantation in the UK Dr Matthew Robb Senior Statistician, NHSBT

Paired Donor Kidney Transplantation in the UK Dr Matthew Robb Senior Statistician, NHSBT Overview Introduction NHSBT, Organ Donation and Transplantation Kidney transplantation Paired donation Matching algorithm Activity

823 views • 45 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

636 views • 14 slides
2011 Global Observatory on Donation and Transplantation (GODT) Last updated version 17.09.2013

2011 Global Observatory on Donation and Transplantation (GODT) Last updated version 17.09.2013

Organ Donation and Transplantation Activities 2011 Global Observatory on Donation and Transplantation (GODT) Last updated version 17.09.2013 Global Activity in Organ Transplantation 2011 Estimates GODT 2011 Kidney Liver Heart Lung

355 views • 18 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
2012 Global Observatory on Donation and Transplantation (GODT) Last updated version 07/01/2014

2012 Global Observatory on Donation and Transplantation (GODT) Last updated version 07/01/2014

Organ Donation and Transplantation Activities 2012 Global Observatory on Donation and Transplantation (GODT) Last updated version 07/01/2014 Global Activity in Organ Transplantation 2012 Estimates GODT 2012 Kidney Liver Heart Lung

515 views • 16 slides
Overview of Automated Bus Consortium Program Accelerating automated technology for transit

Overview of Automated Bus Consortium Program Accelerating automated technology for transit

Automated Bus Technology Deployment Program Overview of Automated Bus Consortium Program Accelerating automated technology for transit services Automated Bus Technology Deployment Program Summary of Concept Automated small vehicle shuttle

409 views • 24 slides
Automated Reasoning: Some Successes and New Challenges Predrag Jani ci c

Automated Reasoning: Some Successes and New Challenges Predrag Jani ci c

What is this talk about? What is automated reasoning? Automated reasoning in propositional logic Automated reasoning in first-order logic Automated reasoning in higher-order logic Automated reasoning in geometry Conclusions Automated

806 views • 52 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

290 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

790 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

547 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

970 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

Explore More Topics

Stay informed with curated content and fresh updates.

animals pets art culture automotive transportation business finance computer internet construction architecture education-career electronics communication

Logo Sambuz

Unleash a World of Digital Possibilities—Browse, Share, and Explore Content Without Boundaries

Useful Links

About Us Privacy Services FAQ's Contact

Newsletter

Stay Informed & Inspired—Subscribe for the Latest Updates, Tips, and Exclusive Content Directly to Your Inbox.

Mail Us

mail@sambuz.com

2026 SAMBUZ, All right reserved.