Modeling Systems from Logs of their Behavior

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=RaUF_5meWNM


Category:
Vlog
Duration: 1:08:44
202 views
2

Logged messages are invaluable for debugging and diagnosing problems. Unfortunately, many execution logs are inscrutable in their raw form. For example, a production Google system may generate a billion-line log file in a single day. In my talk, I will detail two log-analysis tools that I developed to deal with this problem. These tools infer concise and precise models from large execution logs of sequential and distributed systems. Both tools enable new kinds of program analyses and make logs more useful to developers. For example, my empirical experiments show that developers find the inferred models useful for identifying bugs, confirming bugs that were previously known, and increasing their confidence in their implementations.



Other Videos By Microsoft Research


2016-07-27Developing Natural Language-based Software Analyses & Tools to Expedite Software Maintenance
2016-07-27Semi-Supervised Learning for Acoustic and Prosodic Modeling in Speech Recognition
2016-07-27Code Bubbles: Making the Vision Real
2016-07-27A novel framework of effective resource management for multi-hop wireless networks
2016-07-27Trajectories and the Extended User Experience
2016-07-27Programming Devices and Services with P - Lecture 1
2016-07-27Local Combinatorics, and Some Words on Local-to-Global Phenomena
2016-07-27Hastings-Levitov aggregation in the small-particle limit
2016-07-27Monitoring the Snowpack in Remote, Ungauged Mountains from Satellite and Computers
2016-07-27Self-Organizing Cellular Automata
2016-07-27Modeling Systems from Logs of their Behavior
2016-07-27Introducing Microsoft Pix – A Smarter Camera App
2016-07-26Getting Ready for Change: Handling Concept Drift in Predictive Analytics
2016-07-26The Lab as Studio: Stories from Microsoft Research's first visiting artist
2016-07-26Distributed Optimization via Alternating Direction Method of Multipliers
2016-07-26Role of symbolic execution in software testing, debugging and repair
2016-07-26Can You Hide in an Internet Panopticon?
2016-07-26Intersection of two passions
2016-07-26Analysis of Boolean Functions: advances and challenges
2016-07-26Two basic problems in finite stochastic optimization
2016-07-26Decision Learning: Learning with Strategic Decision Making


Tags:
microsoft research