System and Toolchain Support for Reliable Intermittent Computing

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


Duration: 52:44
110 views
1

Emerging energy-harvesting devices (EHDs) are computer systems that operate using energy extracted from their environment, even from low-power sources like ambient radio-frequency energy. Future EHDs will be a key enabler of emerging IoT applications, but today's EHDs operate intermittently, only as environmental energy is available. Unfortunately, intermittence makes today's EHDs unreliable and extremely difficult to program. In this talk I will summarize the main challenges of intermittent execution. I will then discuss our recent efforts to develop future architecture, system, and toolchain support for EHDs to address the challenges of intermittence, focusing especially on programmability, debugging, and reliability. I will close by discussing our recent work on building a reliable, EHD-based, hardware/software application platform.



Other Videos By Microsoft Research


2016-06-13Towards Cross-fertilization Between Propositional Satisfiability and Data Mining
2016-06-13Making Objects Count: A Shape Analysis Framework for Proving Polynomial Time Termination
2016-06-13Human factors of software updates
2016-06-13Machine-Checked Correctness and Complexity of a Union-Find Implementation
2016-06-13Applications of 3-Dimensional Spherical Transforms to Acoustics and Personalization of Head-related
2016-06-13Network Protocols: Myths, Missteps, and Mysteries
2016-06-13Optimal and Adaptive Online Learning
2016-06-13Speaker Diarization: Optimal Clustering and Learning Speaker Embeddings
2016-06-13Multi-rate neural networks for efficient acoustic modeling
2016-06-13Unsupervised Latent Faults Detection in Data Centers
2016-06-13System and Toolchain Support for Reliable Intermittent Computing
2016-06-13Gates Foundation Presents: Crucial Areas of Fintech Innovation for the Bottom of the Pyramid
2016-06-13Social Computing Symposium 2016: Harassment, Threats, Trolling Online, Diversity in Gaming is Vital
2016-06-13Bringing Harmony Through AI and Economics
2016-06-13Approximating Integer Programming Problems by Partial Resampling
2016-06-13A Lasserre-Based (1+epsilon)-Approximation for Makespan Scheduling with Precedence Constraints
2016-06-13Towards Understandable Neural Networks for High Level AI Tasks - Part 7
2016-06-13Verasco, a formally verified C static analyzer
2016-06-13Future Microprocessors Driven by Dataflow Principles
2016-06-13Theory and Experiments on the Spontaneous Evolution of Culture
2016-06-13Single-shot error correction with the gauge color code


Tags:
microsoft research
computer systems and networking
ehds
program languages and software engineering