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 --

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
Bug Fixing Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Bug Fixing - Ugh! Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
What is the problem? Unbelievably boring Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
What is the problem? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
What is the solution? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
What is the solution? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
What is the solution? Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
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
Why is this human competitive? (E) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (E) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (E) 22 bugs fixed Overnight! Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this human competitive? (G) Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this best? 42 Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this best? First ever example ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this best? First ever example ● All bugs fixed overnight ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
Why is this best? First ever example ● All bugs fixed overnight ● Widespread impact ● Sæmundur Ó Haraldsson -- Fixing Bugs Overnight -- Humies 2017
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
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

Recommend

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 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 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 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 ?!

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 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 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?

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, 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

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

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

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 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 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 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 missed Rare features Rare circumstances Nondeterminism Static analysis Can analyze all possible runs of a program An explosion

597 views • 25 slides

Dreaming in Drupal How to think like a developer to build without code Planning Finding a

Dreaming in Drupal How to think like a developer to build without code Planning Finding a Module Filter & Sort Deciding Between Modules Installation Profiles Government, library, university - http://openpublicapp.com Intranet -

295 views • 7 slides

Finding Bugs Last time Run-time reordering transformations Today Program Analysis for

Finding Bugs Last time Run-time reordering transformations Today Program Analysis for finding bugs, especially security bugs problem specification motivation approaches remaining issues CS553 Lecture Finding Bugs 2

461 views • 8 slides

Lecture 8: Heteroskedasticity Causes Consequences Detection Fixes

Lecture 8: Heteroskedasticity Causes Consequences Detection Fixes Assumption MLR5: Homoskedasticity 2 var( | , ,..., ) u x x x 1 2 j In the multivariate case, this means that the variance of the

826 views • 46 slides

Overnight Unit-Based Short Breaks Background March 2017 started talking with families,

Overnight Unit-Based Short Breaks Background March 2017 started talking with families, professionals and providers about short breaks delivery January 2018 consultation started - redesign proposals for overnight short break units

362 views • 12 slides

2-1. Digital Options Motivating Example: Digital options as a cost-effective means of taking

2-1. Digital Options Motivating Example: Digital options as a cost-effective means of taking proprietary positions Overnight rate: 3% One-month forward on overnight rate: 3.50% Position: overnight rate will stay down at 3% Strategy: low

368 views • 35 slides

Part I. Hunting for Bugs Vadim Mutilin Institute for System Programming of the Russian Academy of

Part I. Hunting for Bugs Vadim Mutilin Institute for System Programming of the Russian Academy of Sciences 2 Bugs Found for Subsystems 3 Bugs Found for Subsystems 4 5 Bugs Found by CPAchecker 6 Total Bugs Found 7 Top 10 of 35 Rules 8

505 views • 29 slides

A Model of Network Formation for the Overnight Interbank Market Mikhail Anufriev a Andrea Deghi b

A Model of Network Formation for the Overnight Interbank Market A Model of Network Formation for the Overnight Interbank Market Mikhail Anufriev a Andrea Deghi b Valentyn Panchenko c Paolo Pin d a University of Technology Sydney b Universit

831 views • 64 slides

Week 5: MLR Issues and (Some) Fixes R 2 , multicollinearity, F -test nonconstant variance,

BUS41100 Applied Regression Analysis Week 5: MLR Issues and (Some) Fixes R 2 , multicollinearity, F -test nonconstant variance, clustering, panels Max H. Farrell The University of Chicago Booth School of Business A (bad) goodness of fit measure:

573 views • 39 slides