CS680P: Energy-Aware Programming Languages, Spring 2012



Essentials

  • Time:
    • Weekly Session: M 3:30-5:30PM
    • Monthly Session: time varies
  • Classroom: G11
  • Professor: David Liu. Office hour: M 2-3PM
  • Blackboard System, where slides are posted.

Topics

This seminar course explores the emerging area of energy-aware programming language design and implementation. It investigates the state-of-the-art programming models and compilation techniques related to energy-aware software construction, and aims at fostering new research directions in the form of semester-long projects. The course centers around addressing energy efficiency from the perspective of programming languages and compilers, with additional coverage on synergic approaches that cross the traditional boundaries of architectures, operating systems, and programming languages.

Except the beginning weeks, each meeting is divided into two parts, a "learning session" (reading papers) and a "creating session" (discussing our own projects). The reading list of the learning session is described in the dateline below. We start with two PL-centric papers for "just a taste," and then discuss papers following the compute stack -- from lower levels to higher levels -- for the rest of the semester.

Dateline

The class dateline below will be developed incrementally.

Date
Day
Learning Session Topic
Learning Session Leader
Project Session Topic
Notes
Jan 31
T
Introduction
David
project overview (Steve, Tom, Haris, David)
 
Feb 6
M
(exclusive project session)
 
background: Cilk (Haris) and streamit (Tom)
 
Feb 13
M
Eon: a language and runtime system for perpetual systems (Sensys'07) (PL topic)
Tom
background: McPat (Haris)
 
Feb 16
Th
Green: a framework for supporting energy-conscious programming using controlled approximation (PLDI'10) (PL topic)
Steve
background: JVM and Jikes (David and Nandan)
monthly session for Feb, 6-9PM
Feb 20
M
no class
 
no class
US holiday
Feb 22
W
(exclusive project session)
 
background: hybrid typing (David)
make up session for Mar 5, 8:40-10:40AM
Feb 27
M
Wattch: A Framework for Architectural-Level Power Analysis and Optimizations (ISCA'00) (Architecture Topic)
Haris
 
 
Mar 5
M
no class
 
 
instructor at ASPLOS; make-up class on Feb 22
Mar 12
M
Phase Characterization for Power: Evaluating Control-Flow-Based and Event-Counter-Based Techniques (HPCA'06) (Architecture topic)
Jared
 
Mar 19
M
Currentcy: a unifying abstraction for expressing energy management policies (USENIX'03) (OS Topic)
Tyler
 
 
Mar 22
Th
Energy Management in Mobile Devices with the Cinder Operating System (EuroSys'11) (OS Topic)
Madina
 
monthly session for Mar; tentatively scheduled 6-9PM
Mar 26
M
Dynamic Knobs for Responsive Power-Aware Computing (ASPLOS'11) (OS/PL Topic)
Miguel
 
 
Apr 2
M
Spring Break
 
 
 
Apr 9
M
Spring Break
 
 
 
Apr 16
M
EnerJ: Approximate Data Types for Safe and General Low-Power Computation (PLDI'11) (PL Topic)
Satyajit
 
 
Apr 19
Th
Multivariate Amortized Resource Analysis (POPL'11) (PL Topic)
David
Tyler Demo 8PM
monthly session for Apr; scheduled 6-9PM
Apr 23
M
ANEPROF: Energy Profiling for Android Java Virtual Machine and Applications (ICPADS'11) (OS/PL topic)
Madina
 
 
Apr 30
M
Creating and preserving locality of java applications at allocation and garbage collection times (OOPSLA'02) (PL Topic)
Leena
 
 
May 7
M
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs (PLDI'12) (PL Topic)
David
 
 
May 10
Th
(exclusive project session)
Project Demo
monthly session for May; scheduled 6-9PM