Architecture, Systems and Networks

| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |

A

• An Examination of Encoding Schemes in Column Stores
     Daniel Abadi, Miguel Ferreira, Samuel Madden & Michael Stonebraker
• An Integration Framework for Sensor Networks and DSMSs
     Daniel Abadi, Wolfgang Lindner, Samuel Madden & Michael Stonebraker
• Designing Networking Protocols Using Repeated Games
     Michael Afergan
• Measuring Email Performance
     Mike Afergan & Robert Beverly
• The Borealis Stream Processing Engine
     Yanif Ahmad, Hari Balakrishnan, Magdalena Balazinska, Ugur Cetintemel, Mitch Cherniack, Jeong-Hyon Hwang,
      Wolfgang Lindner, Samuel Madden, Anurag S. Maskey, Alexander Rasin, Esther Ryvkina, Michael Stonebraker,
      Nesime Tatbul, Ying Xing & Stan Zdonik
• Automatic Software Upgrades for Distributed Systems
     Sameer Ajmani & Barbara Liskov
• Unbounded Transactional Memory
     C. Scott Ananian, Krste Asanovic, Bradley C. Kuszmaul, Charles E. Leiserson & Sean Lie
• Evaluating Predicate-Oriented Programming: Using Predicate Fields in a Highly Flexible Industrial Control System
     Shay Artzi & Michael D. Ernst
• Energy-Aware DRAM Subsystems
     Gautham Arumilli, Vimal Bhalodia, Brian Pharris & Krste Asanovic
• Store Atomicity: Giving Meaning to Loads and Stores in Shared Memory Systems
     Arvind & Jan-Willem Maessen (SUN)

B

• Fault-Tolerance in the Borealis Distributed Stream Processing System
     Magdalena Balazinska, Hari Balakrishnan, Samuel Madden & Michael Stonebraker
• Accelerating Multiprocessor Simulation with a Memory Timestamp Record
     Kenneth C. Barr, Heidi Pan, Michael Zhang, & Krste Asanovic
• Improving the Performance of Vector Memory Systems
     Christopher Batten, Ronny Krashinsky, Steve Gerding & Krste Asanovic
• Pricing, Shaping, & Traffic Aggregation in Broadband Access Networks
     Steven J. Bauer
• Adversarial Analyses of Window Backoff Strategies for Simple Multiple-Access Channels
     Michael A. Bender, Martin Farach-Colton, Simai He, Bradley C. Kuszmaul & Charles E. Leiserson
• Efficient Neighbor Selection in Self-Reorganizing P2P Networks
     Robert Beverly, Mike Afergan & Karen Sollins
• The Spoofer Project: Inferring the Extent of Internet Source Address Filtering on the Internet
     Robert Beverly & Steven Bauer
• End-User Programming for the Web
     Michael Bolin & Robert Miller
• A Goal-Oriented Approach to Developing Courses
     Eric Brittain, Chris Terman & Steve Ward

C

• A Parameterizable FPGA Prototype of a Vector-Thread Processor
     Jared Casper, Ronny Krashinsky, Chris Batten & Krste Asanovic
• Symbolic Model Checking of Declarative Relational Models
     Felix Sheng-Ho Chang & Daniel Jackson
• Pastwatch: A Cooperative, Version Controlled File Sharing System for the Wide-Area
     Benjie Chen, Alexander Yip & Robert Morris
• Learning Wrappers Efficiently Using Unlabeled Examples
     ChongMeng Chow & Robert Miller
• Communications Futures Program
     David D. Clark, Charles Fine & Andrew Lippman
• A Knowledge Plane for the Internet: Can a Network Know What it is Doing?
     David D. Clark, Karen R. Sollins, Peyman Faratin, John T. Wroclawski & George Lee
• Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data
     Dwaine Clarke, G. Edward Suh, Blaise Gassend, Ajay Sudan, Marten van Dijk & Srinivas Devadas
• An Extensible Compiler and Language for Systems Programming
     Russ Cox, Frans Kaashoek & Eddie Kohler
• SMART: Using Oxygen Technologies in the Real World
     Dorothy Curtis, Eugene Shih, Asfandyar Qureshi, Lucila Ohno-Machado, Robert Greenes, Jason Waterman & John Guttag

D

• The IRIS Project: Scalable, Robust, Peer-to-Peer Systems
     Frank Dabek, M. Frans Kaashoek, David Karger, Jinyang Li, Robert Morris, Emil Sit & Jeremy Stribling
• JCilk -- A Java-Based Multithreaded Programming Language
     John S. Danaher, I-Ting Angelina Lee & Charles E. Leiserson
• The UNUM Framework: Microprocessor Components with Guarded Interfaces for Architectural Exploration
     Nirav Dave, Michael Pellauer & Arvind
• Specification-Based Data Structure Repair
     Brian Demsky & Martin C. Rinard
• Scope-Complete Code Analysis
     Greg Dennis & Daniel Jackson
• Timeliner Integrated Development Environment
     Maya Dobuzhskaya, Robert A. Brown & Robert Miller
• Still Image and Motion Picture Compression Using Stream Programming
     Matthew Drake, Rodric Rabbah & Saman Amarasinghe

E

• Programming with Direct-Manipulation Semantics
     Jonathan Edwards
• The Asbestos Operating System
     Petros Efstathopoulos (UCLA), Cliff Frey, M. Frans Kaashoek, Eddie Kohler (UCLA), Maxwell Krohn, David Mazières (NYU),
     Robert Morris, Michelle Osborne (NYU), Steven VanDeBogart & David Ziegler

F

• Social Network Construction and Analysis Using Sensor Networks
     Michael Farry, Samuel Madden & Jonathan Pfautz (Charles River Analytics, Inc.)
• Detecting BGP Configuration Faults with Static Analysis
     Nick Feamster & Hari Balakrishnan
• Stable Policy Routing with Provider Independence
     Nick Feamster, Ramesh Johari & Hari Balakrishnan
• Chicory: Value Profiling in Java
     Eric Fellheimer, Sandra Loosemore, Jeff Perkins & Michael Ernst
• UIP: A Zero-Configuration Architecture for Ad Hoc Internet Naming and Secure Global Connectivity
     Bryan Ford, Chris Lesniewski-Laas, Jacob Strauss & Frans Kaashoek
• Key Regression
     Kevin Fu
• Proxy Re-encryption
     Kevin Fu & Susan Hohenberger

G

• Design Principles and Patterns for Computer Systems that are Simultaneously Secure and Usable
     Simson L. Garfinkel
• Johnny 2: A User Test of Key Continuity Management with S/MIME and Outlook Express
     Simson L. Garfinkel & Robert C. Miller
• Designing for Usable Security
     Simson L. Garfinkel, Erik Nordlander, David D. Clark & Robert Miller
• Protein Structure Prediction Using Dynamic Programming and Structured Output Support Vector Machines
     Blaise Gassend, Charles W. O'Donnell, William Thies, Christopher Batten, G. Edward Suh, Dwaine Clarke,
      Marten van Dijk & Srinivas Devadas
• The Extreme Benchmark Suite
     Steve Gerding & Krste Asanovic
• Scoop: Minimizing Overhead in Store-and-Query Sensor Networks
     Thomer M. Gil & Samuel Madden
• Hybrid Space-Time Partitioning of Stream Programs
     Michael Gordon, Jasper Lin, William Thies & Saman Amarasinghe
• Scalable C/C++ Value Profiling Via Mixed-Level Analysis
     Philip J. Guo, Stephen McCamant & Michael D. Ernst

H

• Software Restart Markers
     Mark Hampton & Krste Asanovic
• Power-Optimal Pipelining in Deep Submicron Technology
     Seongmoo Heo & Krste Asanovic
• Replacing Global Wires with an On-Chip Network: A Power Analysis
     Seongmoo Heo & Krste Asanovic
• A Trivially Deployed Infrastructure for Location Aware Computing
     Albert S. Huang & Larry Rudolph

J

• Inoculating SSH Against Address-Harvesting Worms
     Jaeyeon Jung, Will Stockwell, Hari Balakrishnan & Stuart E. Schechter

K

• Asynchronous Guarded Atomic Action Machines
     Michal Karczmarek & Arvind
• Nondeterminator-3: A Provably Good Data-Race Detector Which Runs in Parallel
     Tushara C. Karunaratna
• Migrating Java Applications to Use Generic Libraries
     Adam Kiezun, Julian Dolby, Alan Donovan, Michael D. Ernst, Robert M. Fuhrer, Markus Keller, Frank Tip & Matthew S. Tschanz
• Inference of Generic Types in Java Libraries
     Adam Kiezun, Michael D. Ernst & Frank Tip
• Power Performance of Tiled Processor Architectures
     T. Konstantakopoulos, I. Bratt, J. Psota, W. Lee & A. Agarwal
• The Vector-Thread Architecture
     Ronny Krashinsky, Christopher Batten & Krste Asanovic
• Project Jahob
     Viktor Kuncak, Karen Zee, Huu Hai Nguyen, Peter Schmitt, Bruno Marnette, Suhabe Bugrara & Martin Rinard

L

• The Hob Approach for Verifying Data Structure Consistency Properties
     Patrick Lam, Viktor Kuncak, Karen Zee & Martin Rinard
• Efficient Crash Recovery of Non-Identical Replicas in a Column Store Database Management System
     Edmond Lau, Samuel Madden & Michael Stonebraker
• An Architecture for Network Fault Diagnosis in the Knowledge Plane
     George J. Lee, Peyman Faratin & David D. Clark
• METERG: Architectural Support for Worst-case Performance Guarantees on Multiprocessor Platforms
     Jae W. Lee & Krste Asanovic
• Analyzing Heart Sounds
     Daniel Leeds, Zeeshan Hassan Syed, Dorothy Curtis & John Guttag
• Announcing What You Know in a Heterogeneous P2P Network is a Good Idea!
     Ben Leong & Barbara Liskov
• pDNS: Parallelizing DNS Lookups to Improve Performance
     Ben Leong & Barbara Liskov
• Exploiting Autonomous System Information In Structured Peer-to-Peer Networks
     Ji Li & Karen Sollins
• Implementing Aggregation and Broadcast over Distributed Hash Tables
     Ji Li, Karen Sollins & Dah-Yoh Lim
• AXCIS: Rapid Processor Architectural Exploration using Compressed Instruction Segments
     Rose Liu & Krste Asanovic

M

• A Preset Skewed Static Logic Family
     Albert Ma & Krste Asanovic
• Predicting Incompatible Software Component Upgrades
     Stephen McCamant & Michael D. Ernst
• Efficient, Verifiable Binary Sandboxing for a CISC Architecture
     Stephen McCamant & Greg Morrisett
• Software Based Instruction Caching for the Raw Architecture
     Jason E. Miller, Paul R. Johnson & Anant Agarwal
• Path Diversity Techniques for Loss-Resilient and Low-Latency Packet Delivery in Wireless LANs
     Allen Miu & Hari Balakrishnan

N

• Regiment: High Level Programming of Sensor Networks
     Ryan Newton & Arvind
• Automatic Synthesis of Cache-Coherence Protocol Processors Using Bluespec
     Man Cheuk Ng, Nirav Dave & Arvind

O

• Program Partitioning for Compartmentalized Secure Execution
     Charles W. O'Donnell, Marten van Dijk, G. Edward Suh & Srinivas Devadas
• LecTix: A Lecture-Multimedia Player and Producer
     Timothy Olsen

P

• Eclat: Automatic Generation and Classification of Test Inputs
     Carlos Pacheco & Michael Ernst
• Goal and Technique-based Scripting
     Justin Mazzola Paluska, Hubert Pham, Umar Saif, Chris Terman & Steve Ward
• The InfiniT Stored-Processor Computer
     Heidi Pan & Krste Asanovic
• Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants
     Jeff H. Perkins & Michael D. Ernst
• Dynamic Variable Comparability Analysis
     Jeff H. Perkins, Philip J. Guo, Stephen McCamant & Michael D. Ernst
• Instrumentation of Standard Libraries in Java
     Jeff H. Perkins, David Saff, & Michael D. Ernst
• Reconfigurable Computing Using the Resources Component System
     Hubert Pham, Justin Mazzola Paluska, Umar Saif, Chris Terman & Steve Ward

Q

• Horde: Flexible Application Driven Network Striping
     Asfandyar Qureshi & John Guttag

R

• Analysis of a Radiation Therapy Control System
      Derek Rayside & Daniel Jackson
• Executing Declarative Specifications
     Derek Rayside & Daniel Jackson
• Detecting and Parsing Embedded Lightweight Structures
     Philip Rha & Robert Miller
• Byzantine-Fault-Tolerant Replication in Dynamic Systems
     Rodrigo Rodrigues & Barbara Liskov
• High Availability in DHTs: Erasure Coding vs. Replication
     Rodrigo Rodrigues & Barbara Liskov
• Reconfigurable Byzantine-Fault-Tolerant Atomic Memory
     Rodrigo Rodrigues & Barbara Liskov
• Hardware Synthesis of Guarded Atomic Actions with Performance Guarantees
     Daniel L. Rosenband & Arvind

S

• Test Factoring: Focusing Test Suites for the Task at Hand
     David Saff, Shay Artzi, Jeff H. Perkins & Michael D. Ernst
• Continuous Testing of Software During Development
     David Saff, Kevin Chevalier, Michael Bridge & Michael D. Ernst
• Flexibility, Scalability and Performance of the RAW Network Router
     Umar Saif, James W. Anderson, Anthony Degangi & Anant Agarwal
• Adaptive Network Sockets
     Umar Saif & Justin Mazzola Paluska
• Understanding Logical Models with Non-Examples
     Robert M. Seater
• Specification Coverage by Automatic Mutant Generation
     Robert Seater, Greg Dennis & Daniel Jackson
• Cache Optimizations for Stream Programs
     Janis Sermulins, William Thies, Rodric Rabbah & Saman Amarasinghe
• FireViz: A Personal Network Firewall Visualizing Tool
     Nidhi Sharma & Robert Miller
• A Methodology for Reducing Energy Consumption for Energy-Constrained Medical Monitoring Systems
     Eugene Shih & John Guttag
• Raw Wireless System
     Nathan R. Shnidman & Anant Agarwal
• Patient-Specific Seizure Onset Detection
     Ali Shoeb, Elena Glassman & John Guttag
• Regions: A New Capability for Networks
     Karen R. Sollins
• AEGIS: A Single-Chip Secure Processor
     G. Edward Suh, Charles W. O'Donnell, Dwaine Clarke, Marten van Dijk & Srinivas Devadas
• Memory-Mapped Transactions
     Jim Sukha & Bradley C. Kuszmaul

T

• Inferring Specifications to Detect Errors in Code
     Mana Taghdiri & Daniel Jackson
• The 802.11 MAC Protocol Leads to Inefficient Equilibria
     Godfrey Tan & John Guttag
• Teleport Messaging: A New Language Construct for Stream Programs
     William Thies, Michal Karczmarek, Janis Sermulins, Rodric Rabbah & Saman Amarasinghe
• Monitoring Infrastructure Using Sensor Networks
     Timur Tokmouline, Samuel R. Madden & Ivan Stoianov
• Knowledge Flow Analysis for Security Protocols
     Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson & Srinivas Devadas
• Javari: Adding Reference Immutability to Java
     Matthew S. Tschantz, Pramook Khungurn, Adrian Birka, & Michael D. Ernst
• Operand Clustering to Improve Scalability in Superscalar Microprocessors
     Jessica Tseng & Krste Asanovic

V

• Practical Cryptography in High Dimensional Tori
     Marten van Dijk & David Woodruff

W

• Automatic Web Page Concatenation
     Matthew Webber & Robert Miller
• LOUD: A 1020-Node Modular Microphone Array and Beamformer for Intelligent Computing Spaces
     Eugene Weinstein, Kenneth Steele, Anant Agarwal & James Glass
• Static Deadlock Detection for Java Libraries
     Amy Williams, William Thies & Michael D. Ernst
• Separating Foreground and Background for Computer Displays
     Tom Wilson & Robert Miller
• Fighting Phishing at the User Interface
     Min Wu & Robert Miller

X

• Testing the Correctness of Optimizations for Programs with Large Outputs
     Chen Xiao, Jeff H. Perkins & Michael D. Ernst

Z

• Victim Replication: Maximizing Capacity while Hiding Wire Delay in Tiled Chip Multiprocessors
     Michael Zhang & Krste Asanovic