NDLI: GreenWeb: language extensions for energy-efficient mobile web computing

Please wait, while we are loading the content...

Into the depths of C: elaborating the de facto standards

Data-driven precondition inference with learned features

Coverage-directed differential testing of JVM implementations

Effective padding of multidimensional arrays to avoid cache conflict misses

Configuration synthesis for programmable analog devices with Arco

On the complexity and performance of parsing with derivatives

Stratified synthesis: automatically learning the x86-64 instruction set

Accepting blame for safe tunneled exceptions

MapReduce program synthesis

Event-driven network programming

Rehearsal: a configuration verification tool for puppet

Just-in-time static type checking for dynamic languages

Synthesizing transformations on hierarchically structured data

Higher-order and tuple-based massively-parallel prefix sums

Idle time garbage collection scheduling

Cardinalities and universal quantifiers for verifying parameterized systems

Precise, dynamic information flow for database-backed applications

Transactional data structure libraries

Living on the edge: rapid-toggling probes with cross-modification on x86

Cartesian hoare logic for verifying k-safety properties

Exposing errors related to weak memory in GPU applications

GreenWeb: language extensions for energy-efficient mobile web computing

From Datalog to flix: a declarative language for fixed points on lattices

Remix: online detection and repair of cache contention for the JVM

Occurrence typing modulo theories

Programmatic and direct manipulation, together at last

Temporal NetKAT

Toward compositional verification of interruptible OS kernels and device drivers

Types from data: making structured data first-class citizens in F#

Program synthesis from polymorphic refinement types

A distributed OpenCL framework using redundant computation and data replication

Assessing the limits of program-specific garbage collection performance

Ivy: safety verification by interactive generalization

End-to-end verification of information-flow security for C and assembly programs

FlexVec: auto-vectorization for irregular loops

Polymorphic type inference for machine code

Verifying bit-manipulations of floating-point

Lightweight computation tree tracing for lazy functional languages

Input responsiveness: using canary inputs to dynamically steer approximation

Latte: a language, compiler, and runtime for elegant and efficient deep neural networks

Statistical similarity of binaries

Refinement types for TypeScript

Fast synthesis of fast collections

SDNRacer: concurrency analysis for software-defined networks

Verified peephole optimizations for CompCert

Automatically learning shape specifications

A design and verification methodology for secure isolated regions

Verified lifting of stencil computations

GreenWeb: language extensions for energy-efficient mobile web computing

Content Provider	ACM Digital Library
Author	Reddi, Vijay Janapa Zhu, Yuhao
Abstract	Web computing is gradually shifting toward mobile devices, in which the energy budget is severely constrained. As a result, Web developers must be conscious of energy efficiency. However, current Web languages provide developers little control over energy consumption. In this paper, we take a first step toward language-level research to enable energy-efficient Web computing. Our key motivation is that mobile systems can wisely budget energy usage if informed with user quality-of-service (QoS) constraints. To do this, programmers need new abstractions. We propose two language abstractions, QoS type and QoS target, to capture two fundamental aspects of user QoS experience. We then present GreenWeb, a set of language extensions that empower developers to easily express the QoS abstractions as program annotations. As a proof of concept, we develop a GreenWeb runtime, which intelligently determines how to deliver specified user QoS expectation while minimizing energy consumption. Overall, GreenWeb shows significant energy savings (29.2% ∼ 66.0%) over Android’s default Interactive governor with few QoS violations. Our work demonstrates a promising first step toward language innovations for energy-efficient Web computing. .
Starting Page	145
Ending Page	160
Page Count	16
File Format	PDF
ISBN	9781450342612
DOI	10.1145/2908080.2908082
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-06-02
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Web Energy-efficiency Mobile computing
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in