Application Language

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 192 Experts worldwide ranked by ideXlab platform

David E Culler - One of the best experts on this subject based on the ideXlab platform.

  • system design for a synergistic low power mote ble embedded platform
    Information Processing in Sensor Networks, 2016
    Co-Authors: Michael P. Andersen, Giuseppe Fierro, David E Culler
    Abstract:

    Modern IoT prototyping platforms fall short in terms of energy efficiency, connectivity and software programming practices. We present the design of a new hardware and software platform that addresses these shortcomings by bringing together Mobile, Wearable, Maker and Wireless Sensor Network technologies to enable rapid prototyping with a high degree of synergy and energy efficiency. This is achieved in part by leveraging the Memory Protection Unit on modern microcontrollers along with a novel syscall interface to provide kernel / user isolation and a clean concurrency model. Such a design allows a wide range of Languages to be used for Application development without significant adaptation. We demonstrate how careful choice of Application Language allows the naturally asynchronous nature of embedded programming to be expressed cleanly and powerfully. Finally we evaluate the platform in several integrated use cases, providing examples of the capabilities introduced by Synergy.

  • System Design for a Synergistic, Low Power Mote/BLE Embedded Platform
    2016 15th ACM IEEE International Conference on Information Processing in Sensor Networks IPSN 2016 - Proceedings, 2016
    Co-Authors: Michael P. Andersen, Giuseppe Fierro, David E Culler
    Abstract:

    Modern IoT prototyping platforms fall short in terms of energy efficiency, connectivity and software programming practices. We present the design of a new hardware and software platform that addresses these shortcomings by bringing together Mobile, Wearable, Maker and Wireless Sensor Network technologies to enable rapid prototyping with a high degree of synergy and energy efficiency. This is achieved in part by leveraging the Memory Protection Unit on modern microcontrollers along with a novel syscall interface to provide kernel / user isolation and a clean concurrency model. Such a design allows a wide range of Languages to be used for Application development without significant adaptation. We demonstrate how careful choice of Application Language allows the naturally asynchronous nature of embedded programming to be expressed cleanly and powerfully. Finally we evaluate the platform in several integrated use cases, providing examples of the capabilities introduced by Synergy.

Michael P. Andersen - One of the best experts on this subject based on the ideXlab platform.

  • system design for a synergistic low power mote ble embedded platform
    Information Processing in Sensor Networks, 2016
    Co-Authors: Michael P. Andersen, Giuseppe Fierro, David E Culler
    Abstract:

    Modern IoT prototyping platforms fall short in terms of energy efficiency, connectivity and software programming practices. We present the design of a new hardware and software platform that addresses these shortcomings by bringing together Mobile, Wearable, Maker and Wireless Sensor Network technologies to enable rapid prototyping with a high degree of synergy and energy efficiency. This is achieved in part by leveraging the Memory Protection Unit on modern microcontrollers along with a novel syscall interface to provide kernel / user isolation and a clean concurrency model. Such a design allows a wide range of Languages to be used for Application development without significant adaptation. We demonstrate how careful choice of Application Language allows the naturally asynchronous nature of embedded programming to be expressed cleanly and powerfully. Finally we evaluate the platform in several integrated use cases, providing examples of the capabilities introduced by Synergy.

  • System Design for a Synergistic, Low Power Mote/BLE Embedded Platform
    2016 15th ACM IEEE International Conference on Information Processing in Sensor Networks IPSN 2016 - Proceedings, 2016
    Co-Authors: Michael P. Andersen, Giuseppe Fierro, David E Culler
    Abstract:

    Modern IoT prototyping platforms fall short in terms of energy efficiency, connectivity and software programming practices. We present the design of a new hardware and software platform that addresses these shortcomings by bringing together Mobile, Wearable, Maker and Wireless Sensor Network technologies to enable rapid prototyping with a high degree of synergy and energy efficiency. This is achieved in part by leveraging the Memory Protection Unit on modern microcontrollers along with a novel syscall interface to provide kernel / user isolation and a clean concurrency model. Such a design allows a wide range of Languages to be used for Application development without significant adaptation. We demonstrate how careful choice of Application Language allows the naturally asynchronous nature of embedded programming to be expressed cleanly and powerfully. Finally we evaluate the platform in several integrated use cases, providing examples of the capabilities introduced by Synergy.

Giuseppe Fierro - One of the best experts on this subject based on the ideXlab platform.

  • system design for a synergistic low power mote ble embedded platform
    Information Processing in Sensor Networks, 2016
    Co-Authors: Michael P. Andersen, Giuseppe Fierro, David E Culler
    Abstract:

    Modern IoT prototyping platforms fall short in terms of energy efficiency, connectivity and software programming practices. We present the design of a new hardware and software platform that addresses these shortcomings by bringing together Mobile, Wearable, Maker and Wireless Sensor Network technologies to enable rapid prototyping with a high degree of synergy and energy efficiency. This is achieved in part by leveraging the Memory Protection Unit on modern microcontrollers along with a novel syscall interface to provide kernel / user isolation and a clean concurrency model. Such a design allows a wide range of Languages to be used for Application development without significant adaptation. We demonstrate how careful choice of Application Language allows the naturally asynchronous nature of embedded programming to be expressed cleanly and powerfully. Finally we evaluate the platform in several integrated use cases, providing examples of the capabilities introduced by Synergy.

  • System Design for a Synergistic, Low Power Mote/BLE Embedded Platform
    2016 15th ACM IEEE International Conference on Information Processing in Sensor Networks IPSN 2016 - Proceedings, 2016
    Co-Authors: Michael P. Andersen, Giuseppe Fierro, David E Culler
    Abstract:

    Modern IoT prototyping platforms fall short in terms of energy efficiency, connectivity and software programming practices. We present the design of a new hardware and software platform that addresses these shortcomings by bringing together Mobile, Wearable, Maker and Wireless Sensor Network technologies to enable rapid prototyping with a high degree of synergy and energy efficiency. This is achieved in part by leveraging the Memory Protection Unit on modern microcontrollers along with a novel syscall interface to provide kernel / user isolation and a clean concurrency model. Such a design allows a wide range of Languages to be used for Application development without significant adaptation. We demonstrate how careful choice of Application Language allows the naturally asynchronous nature of embedded programming to be expressed cleanly and powerfully. Finally we evaluate the platform in several integrated use cases, providing examples of the capabilities introduced by Synergy.

Adam Chlipala - One of the best experts on this subject based on the ideXlab platform.

  • an optimizing compiler for a purely functional web Application Language
    International Conference on Functional Programming, 2015
    Co-Authors: Adam Chlipala
    Abstract:

    High-level scripting Languages have become tremendously popular for development of dynamic Web Applications. Many programmers appreciate the productivity benefits of automatic storage management, freedom from verbose type annotations, and so on. While it is often possible to improve performance substantially by rewriting an Application in C or a similar Language, very few programmers bother to do so, because of the consequences for human development effort. This paper describes a compiler that makes it possible to have most of the best of both worlds, coding Web Applications in a high-level Language but compiling to native code with performance comparable to handwritten C code. The source Language is Ur/Web, a domain-specific, purely functional, statically typed Language for the Web. Through a coordinated suite of relatively straightforward program analyses and algebraic optimizations, we transform Ur/Web programs into almost-idiomatic C code, with no garbage collection, little unnecessary memory allocation for intermediate values, etc. Our compiler is in production use for commercial Web sites supporting thousands of users, and microbenchmarks demonstrate very competitive performance versus mainstream tools.

  • ICFP - An optimizing compiler for a purely functional web-Application Language
    Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015, 2015
    Co-Authors: Adam Chlipala
    Abstract:

    High-level scripting Languages have become tremendously popular for development of dynamic Web Applications. Many programmers appreciate the productivity benefits of automatic storage management, freedom from verbose type annotations, and so on. While it is often possible to improve performance substantially by rewriting an Application in C or a similar Language, very few programmers bother to do so, because of the consequences for human development effort. This paper describes a compiler that makes it possible to have most of the best of both worlds, coding Web Applications in a high-level Language but compiling to native code with performance comparable to handwritten C code. The source Language is Ur/Web, a domain-specific, purely functional, statically typed Language for the Web. Through a coordinated suite of relatively straightforward program analyses and algebraic optimizations, we transform Ur/Web programs into almost-idiomatic C code, with no garbage collection, little unnecessary memory allocation for intermediate values, etc. Our compiler is in production use for commercial Web sites supporting thousands of users, and microbenchmarks demonstrate very competitive performance versus mainstream tools.

Marian Kepesi - One of the best experts on this subject based on the ideXlab platform.