the dreaming machine fixes bugs overnight
play

The Dreaming Machine Fixes Bugs Overnight Smundur John R. - PowerPoint PPT Presentation

Apr 08, 2023 •164 likes •413 views

The Dreaming Machine Fixes Bugs Overnight Smundur John R. Alexander E.I. Kristin Haraldsson* Woodward* Brownlee* Siggeirsdottir *University of Stirling Janus Rehabilitation Smundur Haraldsson -- Fixing Bugs Overnight --

  1. The Dreaming Machine Fixes Bugs Overnight Sæmundur Ó John R. Alexander E.I. Kristin Haraldsson* Woodward* Brownlee* Siggeirsdottir° *University of Stirling °Janus Rehabilitation Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  2. Bug Fixing Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  3. Bug Fixing - Ugh! Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  4. What is the problem? Unbelievably boring Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  5. What is the problem? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  6. What is the solution? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  7. What is the solution? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  8. What is the solution? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  9. Why is this human competitive? (E) The result is equal to or better than the most recent human-created solution to a long-standing problem for ● which there has been a succession of increasingly better human-created solutions. (G) The result solves a problem of indisputable difficulty in its field. ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  10. Why is this human competitive? (E) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  11. Why is this human competitive? (E) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  12. Why is this human competitive? (E) 22 bugs fixed Overnight! Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  13. Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  14. Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  15. Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  16. Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  17. Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  18. Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  19. Why is this best? 42 Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  20. Why is this best? First ever example ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  21. Why is this best? First ever example ● All bugs fixed overnight ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  22. Why is this best? First ever example ● All bugs fixed overnight ● Widespread impact ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  23. Why is this best? First ever example ● All bugs fixed overnight ● Widespread impact ● Applicable to any software ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

  24. Why is this best? First ever example ● All bugs fixed overnight ● Widespread impact ● Applicable to any software ● Approved by domain ● experts and practitioners alike Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017

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

ETH Zrich FFmpeg and a thousand fixes >1,000 bugs found and fixed 2 person-years &

ETH Zrich FFmpeg and a thousand fixes >1,000 bugs found and fixed 2 person-years &

Fine-Grained Control-Flow Integrity through Binary Hardening Mathias Payer, Antonio Barresi, Thomas R. Gross ETH Zrich FFmpeg and a thousand fixes >1,000 bugs found and fixed 2 person-years & fuzzing on large cluster

366 views • 23 slides
LibreOffice CJK Bugs, Fixes, and Stories. M a r k H u n g ( ma r k l h 9 @g ma i

LibreOffice CJK Bugs, Fixes, and Stories. M a r k H u n g ( ma r k l h 9 @g ma i

LibreOffice CJK Bugs, Fixes, and Stories. M a r k H u n g ( ma r k l h 9 @g ma i l . c o m ) A s i a n T y p o g r a p h y 2 P a r a g r a p h J u s t i fj e d A l i g n me n t

476 views • 29 slides
Creative What are Overnight Funds? Overnight Funds are open ended debt schemes investing in

Creative What are Overnight Funds? Overnight Funds are open ended debt schemes investing in

Creative What are Overnight Funds? Overnight Funds are open ended debt schemes investing in debt and money market instruments with overnight maturity. Overnight Funds predominantly invests in - - Tri-party Repos (TREPS) - Overnight

132 views • 10 slides
Defect Detection Thomas Zimmermann The First Bug September 9, 1947 More Bugs More Bugs More

Defect Detection Thomas Zimmermann The First Bug September 9, 1947 More Bugs More Bugs More

Defect Detection Thomas Zimmermann The First Bug September 9, 1947 More Bugs More Bugs More Bugs More Bugs More Bugs More Bugs More Bugs More Bugs More Bugs More Bugs More Bugs More Bugs Facts on Debugging Software bugs are

840 views • 63 slides
Outline Bugs! 1 Avoiding and Finding bugs 2 Bugs still happen 3 Why do bugs still happen ?!

Outline Bugs! 1 Avoiding and Finding bugs 2 Bugs still happen 3 Why do bugs still happen ?!

Failure is not an option * A journey through software bugs Philippe Biondi Nov 20 th 2015 / GreHack Failure is not an option * Outline Bugs! 1 Avoiding and Finding bugs 2 Bugs still happen 3 Why do bugs still happen ?! 4 Living with bugs

966 views • 63 slides
Explore the Coast Explore the Coast Overnight Overnight An Assessment of Lower-Cost Coastal

Explore the Coast Explore the Coast Overnight Overnight An Assessment of Lower-Cost Coastal

Explore the Coast Explore the Coast Overnight Overnight An Assessment of Lower-Cost Coastal Accommodations Introduction AB 250 AB 250 calls for the Conservancy to: Prepare an Assessment to identify and analyze opportunities along

356 views • 22 slides
BED BUGS HOW TO HELP SOLVE THE PROBLEM WHAT ARE BED BUGS? Bed bugs are parasites that feed on

BED BUGS HOW TO HELP SOLVE THE PROBLEM WHAT ARE BED BUGS? Bed bugs are parasites that feed on

BED BUGS HOW TO HELP SOLVE THE PROBLEM WHAT ARE BED BUGS? Bed bugs are parasites that feed on blood They are reddish-brown in colour An adult bed bug is approximately the size of an apple seed An egg is approximately the size of a

163 views • 15 slides
Dreaming the dream that is dreaming Us: standing on the borders or entering the country?

Dreaming the dream that is dreaming Us: standing on the borders or entering the country?

D r A n ge l a C o tte r CO n fe r 1 5 t h D e c e m b e r 2 0 1 8 H i g h I n te n s i t y sta te s o f c o n s c i o u s n e s s Dreaming the dream that is dreaming Us: standing on the borders or entering the country?

285 views • 16 slides
Overnight Parking Ordinance Revisions for the Overnight Parking of Recreational Vehicles,

Overnight Parking Ordinance Revisions for the Overnight Parking of Recreational Vehicles,

Overnight Parking Ordinance Revisions for the Overnight Parking of Recreational Vehicles, Trailers and Oversize Vehicles Background City receives complaints regarding parking of RVs, Trailers and Oversize vehicles roughly half of all A/V

105 views • 6 slides
Daphne Taylor & Suncica Getter Dreaming into the Future of Coaching Introduction to the

Daphne Taylor & Suncica Getter Dreaming into the Future of Coaching Introduction to the

Inspiring Coaching: The Next 20 Years Dreaming Into the Future of Coaching Daphne Taylor & Suncica Getter Dreaming into the Future of Coaching Introduction to the Model of Three Levels of Reality Model developed by CRR Global Inc, based on

506 views • 23 slides
1 Bug Triage Regression Testing Decide which bugs to fix Good: rerun the test that failed

1 Bug Triage Regression Testing Decide which bugs to fix Good: rerun the test that failed

What is a bug? Formally, a software defect A Bugs life SUT fails to perform to spec SUT causes something else to fail SUT functions, but does not satisfy Finding and Managing Bugs usability criteria CSE 403 If the

643 views • 3 slides
Bugs, Bugs, Bugs Uwe Schindler Apache Lucene Committer & PMC Member uschindler@apache.org

Bugs, Bugs, Bugs Uwe Schindler Apache Lucene Committer & PMC Member uschindler@apache.org

Testing Lucene and Solr with various JVMs: Bugs, Bugs, Bugs Uwe Schindler Apache Lucene Committer & PMC Member uschindler@apache.org http://www.thetaphi.de, http://blog.thetaphi.de @ThetaPh1 SD DataSolutions GmbH , Wtjenstr. 49, 28213

1.13k views • 71 slides
Security Bugs in Protocols are Really Bad! Marsh Ray PhoneFactor Protocol Bugs Objectives

Security Bugs in Protocols are Really Bad! Marsh Ray PhoneFactor Protocol Bugs Objectives

Security Bugs in Protocols are Really Bad! Marsh Ray PhoneFactor Protocol Bugs Objectives Discuss the complexities in mitigating security bugs occurring in network protocols. Describe some current issues. Leave time for Q&A.

631 views • 50 slides
CTDB Remix I: Dreaming the Fantasy Amitay Isaacs amitay@samba.org Samba Team IBM (Australia

CTDB Remix I: Dreaming the Fantasy Amitay Isaacs amitay@samba.org Samba Team IBM (Australia

CTDB Remix I: Dreaming the Fantasy Amitay Isaacs amitay@samba.org Samba Team IBM (Australia Development Labs, Linux Technology Center) SambaXP 2017 Amitay Isaacs CTDB Remix - Dreaming the Fantasy CTDB Project Motivation: Support for

1.26k views • 78 slides
SCARC Bed Bug Training Education, Treatment and Prevention History of Bed Bugs Bed

SCARC Bed Bug Training Education, Treatment and Prevention History of Bed Bugs Bed

SCARC Bed Bug Training Education, Treatment and Prevention History of Bed Bugs Bed bugs and mankind Cavemen and bat bugs Humans moved out of caves and started agricultural civilization Early 1900s through 1945

651 views • 52 slides
Software has bugs To find them , we use testing and code reviews ! But some bugs are still

Software has bugs To find them , we use testing and code reviews ! But some bugs are still

Software has bugs To find them , we use testing and code reviews ! But some bugs are still missed Rare features Rare circumstances Nondeterminism Static analysis Can analyze all possible runs of a program An explosion

597 views • 25 slides
Dreaming numbers Damien Catani A disrup2ve teenage crisis Why 3 Need for reconstruc2on Why

Dreaming numbers Damien Catani A disrup2ve teenage crisis Why 3 Need for reconstruc2on Why

Dreaming numbers Damien Catani A disrup2ve teenage crisis Why 3 Need for reconstruc2on Why Dreams as a key to the self What (do) 5 The dream tracking process How 1. Dream 2. Memorize No tools 7 The dream tracking process How 3.

694 views • 26 slides
The Groupoid Interpretation of Type Theory, a Personal Retrospective Martin Hofmann LMU Munich

The Groupoid Interpretation of Type Theory, a Personal Retrospective Martin Hofmann LMU Munich

The Groupoid Interpretation of Type Theory, a Personal Retrospective Martin Hofmann LMU Munich TLCA, Warsaw, 3rd July 2015 mh (lmumun) Groupoid Interpretation TLCA 03.07.2015 1 / 38 Prehistory Got to know type theory through the proof

711 views • 38 slides
Mehvish Zahoor R10 RSR 2015-16 Mehvish@ieee.org IEEE Region 8 Student and Young Professionals

Mehvish Zahoor R10 RSR 2015-16 Mehvish@ieee.org IEEE Region 8 Student and Young Professionals

Mehvish Zahoor R10 RSR 2015-16 Mehvish@ieee.org IEEE Region 8 Student and Young Professionals Congress 2016, Regensburg Germany IEEE in the world R7 25,380 R1 to 6 318,260 R10 86,533 R1 43,191 R2 33,617 R3 40,576 R4

741 views • 30 slides
Dreaming of Inclusion Breaking Down Barriers to Library Work for People with Disabilities

Dreaming of Inclusion Breaking Down Barriers to Library Work for People with Disabilities

Dreaming of Inclusion Breaking Down Barriers to Library Work for People with Disabilities Overview Workplace barriers for people with disabilities Ways to provide support Workplace accommodation Question 1: Which of these have a

303 views • 28 slides
Variational Inference for Adaptor Gramars Shay Cohen School of Computer Science Carnegie Mellon

Variational Inference for Adaptor Gramars Shay Cohen School of Computer Science Carnegie Mellon

Variational Inference for Adaptor Gramars Shay Cohen School of Computer Science Carnegie Mellon University David Blei Computer Science Department Princeton University Noah Smith School of Computer Science Carnegie Mellon University Shay

456 views • 32 slides
Strategy Learning Culture 1 3/6/17 & Introductions Questions Todays Focus 1. New

Strategy Learning Culture 1 3/6/17 & Introductions Questions Todays Focus 1. New

3/6/17 Strategy Transformation with the Agile Canvas Twitter: @thriveworkteam Facebook: @thriveatworkteam Materials Available: http://thriveatworkteam.com/agilecanvas thriveatworkteam.com ThriveatworkTeam.com Your best future is possible

263 views • 12 slides
COMP 50: Autonomous Additional Research Talk Option Intelligent Robotics Collaborative

COMP 50: Autonomous Additional Research Talk Option Intelligent Robotics Collaborative

COMP 50: Autonomous Additional Research Talk Option Intelligent Robotics Collaborative All-Weather Sensing for Automated Vehicles Todd E. Humphreys UT Austin Thursday, March 15 th , 3:00 pm @ Nelson Auditorium SEC Anderson 112 Graduate

279 views • 7 slides
Subverting System Authentication With Context-Aware, Reactive Virtual Machine Introspection

Subverting System Authentication With Context-Aware, Reactive Virtual Machine Introspection

Background Detailed Design Implementation Evaluation Related Work Summary Subverting System Authentication With Context-Aware, Reactive Virtual Machine Introspection Yangchun Fu , Zhiqiang Lin, Kevin Hamlen Department of Computer Science The

814 views • 52 slides

More recommend