High-level Languages for Low-level Systems

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


Duration: 54:50
328 views
4

Functional languages such as Haskell provide powerful abstraction facilities, but directly applying these tools to resource-constrained devices is impractical because doing so imposes too much time and/or space overhead. In this talk, I will describe two systems that exploit new language techniques to allow low-level devices to be programmed using Haskell. Flask provides a library of high-level combinators for composing low-level code fragments into programs that run on TelosB motes, which have 16-bit processors and 10K of RAM. Nikola supports both run-time and compile-time generation of GPU code from a first-order language of array computations embedded in Haskell that can communicate seamlessly with CPU computations written in Haskell.



Other Videos By Microsoft Research


2016-08-16SSLShader: Cheap SSL Acceleration with Commodity Processors
2016-08-16Toward Automated Debugging for Datacenter Applications
2016-08-16Optimal Pricing in Networks with Externalities
2016-08-16HOW THE DIGITAL UNIVERSE GOT ITS SPOTS
2016-08-163D Reconstruction meets GPGPU meets Image Analysis
2016-08-16Percolation on Self-Dual Polygon Configurations
2016-08-16Automated Traceability Techniques for Software Engineering and e-Science
2016-08-16Digital Archeology of Software
2016-08-16Executable Knowledge for Molecular Systems Biology
2016-08-16WISPs, Computational RFID and the Internet of Things
2016-08-16High-level Languages for Low-level Systems
2016-08-16Decision Making under Uncertainty
2016-08-16Recognizing a Million Voices: Low Dimensional Audio Representations for Speaker Identification
2016-08-16Distributed Implementations of Component-based Systems Using Source-to-source Transformations in BIP
2016-08-16Coping with Uncertain Data: Multi-Source Integration and Fuzzy Lookups
2016-08-16Providing Richer Descriptions for Images
2016-08-16Building and Evaluating Creative Interaction
2016-08-16Enforcing topological constraints in energy-based image segmentation
2016-08-16Probabilistic Approximation Theorems in Game Theory; The Theory of Crowdsourcing
2016-08-16Longitudinal Evaluation of API Usability and Designing Support for Collaborative Search
2016-08-16On a first-order primal-dual algorithm with applications to convex problems in computer vision


Tags:
microsoft research