Research Abstracts - 2007

Systems

| 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

• Horizontica -- A New Approach to OLTP Data Bases
     Daniel Abadi, Stavros Harizopoulos, Sam Madden & Michael Stonebraker
• Scalable Semantic Web Data Management
     Daniel J. Abadi, Kate Hollenbach, Samuel R. Madden & Adam Marcus
• Combined Static and Dynamic Mutability Analysis
     Shay Artzi, Adam Kiezun, David Glasser & Michael D. Ernst
• Discovery and Phylogenetic Analysis of microRNAs in Mammalian Species
     Shay Artzi, Adam Kiezun & Noam Shomron

B

• Management of Personal Information Scraps
     Michael Bernstein, Max Van Kleek, MC Schraefel & David R. Karger
• Toward Quantifying Network Neutrality
     Robert Beverly, Steven Bauer, Arthur Berger & Karen Sollins
• The Role of Learning in Network Architecture
     Robert Beverly & Karen Sollins

C

• Alloy Analyzer 4: Efficient Model Finder for First-Order Logic
     Felix Chang, Emina Torlak & Daniel Jackson
• Goal and Technique-based Scripting
      Grace Chau, Justin Mazzola Paluska, Hubert Pham, Umar Saif, Chris Terman & Steve Ward
• MUPPET: Mobile Ubiquitous Privacy Protection for Electronic Transactions
     Winnie Cheng, Jun Li, Keith Moore & Alan H. Karp
• TaintTrace: Efficient Flow Tracing with Dynamic Binary Rewriting
     Winnie Cheng, Qin Zhao, Bei Yu & Scott Hiroshige
• Accessing Website Functionality Through Keyword Commands
     Victoria Chou & Robert Miller
• Future Internet Design (FIND) at CSAIL
     David D. Clark
• Communications Futures Program
     David D. Clark, Karen Sollins & William Lehr
• Hybrid Quorum Byzantine Fault Tolerance
     James A. Cowling, Daniel S. Myers & Barbara H. Liskov
• An Extensible Compiler and Language for Systems Programming
     Russ Cox, Austin Clements & Frans Kaashoek
• SMART: Scalable Medical Alert and Response Technologies
     Dorothy Curtis, Esteban Pino, Jacob Bailey, Lucila Ohno-Machado, Robert Greenes & John Guttag

D

• Implemention of Schedule-Centric Rule-Based Hardware
      Nirav Dave, Michael Pellauer & Arvind
• Automatic Inference and Enforcement of Data Structure Consistency Specifications
     Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins & Martin Rinard
• Bounded Code Verification with SAT
     Greg Dennis, Felix Chang & Daniel Jackson
• Multiprocessor Chip for Modular Software
     Jack B. Dennis
• Securing Shared Untrusted Storage by Using TPM 1.2 Without Requiring a Trusted OS
     Srinivas Devadas, Marten van Dijk, Jonathan Rhodes & Luis F.G. Sarmenta

E

• Subtext: Uncovering the Simplicity of Programming
     Jonathan Edwards
• Collaborative Learning for Security and Repair in Application Communities
     Michael D. Ernst, Sung Kim, Jeff H. Perkins, Martin Rinard & Yoav Zibin
• Detection of Web Service Substitutability and Composability
      Michael D. Ernst, Raimondas Lencevicius, Jeff H. Perkins & Yoav Zibin
• Annotations on Java Types
      Michael D. Ernst & Matt Papi

F

• FPGA and ASIC Developement
     Kermin E. Fleming
• Persistent Personal Names for Globally Connected Mobile Devices
     Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans Kaashoek & Robert Morris

G

• Automated Computer Forensics
      Simson L. Garfinkel
• WaveScope: A Wireless Sensor Computing System for High Data Rate Applications
      Lewis Girod, Yuan Mei, Ryan Newton, Stan Rost, Arvind Thiagarajan, Hari Balakrishnan & Sam Madden
• Finding, Using, and Sharing Source Code Snippets
      Max Goldman & Robert Miller
• amock: Automatic Generation of Readable Software Unit Tests from System Tests
      David S. Glasser
• StreamIt: A Common Machine Language for Multicore Architectures
     Michael I. Gordon, William Thies, Qiuyuan J. Li, Phil Sung, David Zhang, Weng Fai Wong & Saman Amarasinghe
• Dynamic Inference of Abstract Types
     Philip J. Guo, Jeff H. Perkins, Stephen McCamant & Michael D. Ernst

H

• Compiling for Vector-Thread Architectures
     Mark Hampton & Krste Asanovic
• Automating the Web with Smart Bookmarks
     Darris Hupp & Robert Miller

J

• PPR: Partial Packet Recovery for Wireless Networks
     Kyle Jamieson & Hari Balakrishnan

K

• Scale-free Routing Schemes
     M. Frans Kaashoek & Petar Maymounkov
• The IRIS Project: Scalable, Robust, Peer-to-Peer Systems
     M. Frans Kaashoek, Robert Morris, Emil Sit & Jeremy Stribling
• Asynchronous Guarded Atomic Action Machines
     Michal Karczmarek & Arvind
• Refactoring for Parameterizing Java Classes
     Adam Kiezun, Michael D. Ernst, Frank Tip & Robert Fuhrer
• Prioritizing Warnings by Mining Software History
     Sunghun Kim & Michael D. Ernst
• Where Should I Fix This Bug Report?
     Sunghun Kim, Kah Seng Tay & Michael D. Ernst
• The Vector-Thread Architecture
     Ronny Krashinsky, Christopher Batten & Krste Asanovic
• Cilk Provides the ``Best Overall Productivity'' for High Performance Computing (and Won the HPC Challenge Award to Prove It)
     Bradley C. Kuszmaul

L

• Scalable And Deadlock Free Cache Coherence For CMPs
     Edya Ladan-Mozes & Charles. E. Leiserson
• CAPRI: A Common Architecture for Distributed Probabilistic Internet Fault Diagnosis
     George J. Lee
• Agent Organization and Request Propagation in the Knowledge Plane
     Ji Li
• Collaborative Intrusion Detection Using Network Knowledge
     Ji Li & Karen Sollins
• Traffic Prediction and Navigation System
     Sejoon Lim, Daniela Rus, Hari Balakrishnan, David Gifford & Samuel Madden
• Keyword Programming
     Greg Little & Robert Miller

M

• JustPlay: Automatic System Configuration
      Justin Mazzola Paluska, Hubert Pham, Grace Chau, Chris Stawarz, Chris Terman & Steve Ward
• Quantitative Information-Flow Tracking for Type-Unsafe Languages
     Stephen McCamant & Michael D. Ernst
• Verifiable Binary Sandboxing for a CISC Architecture
     Stephen McCamant & Greg Morrisett
• End-User Programming for the Web
     Robert Miller, Greg Little, Darris Hupp, Vikki Chou, Roger Hanna & Jones Yu
• Continuous Execution of Code in Chickenfoot
     Robert Miller & Kevin Su
• END: The Expandable Network Disk
     Athicha Muthitacharoen, Robert T. Morris & M. Frans Kaashoek
• MapJAX: Data Structure Abstractions for Asynchronous Web Applications
     Daniel S. Myers, Jennifer N. Carlisle, James A. Cowling & Barbara H. Liskov
• The Gordon Project: High-Performance Relational Databases on Flash Memory
     Daniel S. Myers, Samuel Madden & Barbara H. Liskov

N

• From WiFi to WiMAX: Techniques for IP Reuse across Different OFDM Protocols
     Man C. Ng, Murali Vijayaraghavan, Nirav Dave, Gopal Raghavan, Jamey Hicks & Arvind

P

• Feedback-directed Random Test Generation
     Carlos Pacheco, Shuvendu K. Lahiri (Microsoft), Michael D. Ernst & Thomas Ball (Microsoft)
• HAsim: Implementing a Partitioned Performance Model on an FPGA
     Michael Pellauer, Joel Emer & Arvind
• Instrumentation of Standard Libraries in Java
     Jeff H. Perkins, David Saff & Michael D. Ernst
• The Daikon System for Dynamic Detection of Likely Invariants
     Jeff H. Perkins, Weijie Yuan & Michael D. Ernst
• Huge Networks, Tiny Faulty Nodes
     Enoch Peserico & Larry Rudolph
• Reconfigurable Computing Using the NPOP Component System
     Hubert Pham, Justin Mazzola Paluska, Christopher Stawarz, Umar Saif, Chris Terman & Steve Ward

Q

• Inference of Reference Immutability in Java
     Jaime Quinonez, Matthew Tschantz & Michael D. Ernst

R

• Finding and Fixing Memory Leaks in Java Programs
     Derek Rayside, Lucy Mendel & Daniel Jackson
• Context- and Role-Based Dynamic Access Control in Distributed Healthcare Information Systems
     Lillian Røstad

S

• Improving Accuracy of Geometric Programming for Circuit Optimization: Regression Using Evolutionary Algorithms and Convex Optimization
      Lynne Salameh, Varun Aggarwal & Una-May O'Reilly
• Mobile Proactive Secret Sharing
      David Schultz, Barbara Liskov & Moses Liskov
• Combining Requirements Engineering and Program Analysis to Build System Safety Arguments for a Proton Therapy System
      Robert M. Seater & Daniel N. Jackson
• Relo: Helping Users Manage Context During Interactive Exploratory Visualization of Large Codebases
      Vineet Sinha, David Karger & Robert Miller
• Designing for Internet Management: The Knowledge Plane
      Karen R. Sollins, William Lehr & John T. Wroclawski
• Morpheus: A Data Integration Toolkit
     Michael Stonebraker, Tiffany Dohzen & Mujde Pamuk
• Building Distributed, Wide-area Applications with WheelFS
     Jeremy Stribling, Emil Sit, M. Frans Kaashoek & Robert Morris

T

• Automating Modular Program Verification by Inferring Specifications
     Mana Taghdiri
• FunctionDB: A DBMS With First-Class Support For Regression Functions
     Arvind Thiagarajan & Samuel Madden
• Programmable Microfluidics
     William Thies, John Paul Urbanski, David Craig, Todd Thorsen & Saman Amarasinghe
• Kodkod: A Relational Model Finder
     Emina Torlak & Daniel Jackson
• Javari: Adding Reference Immutability to Java
     Matthew S. Tschantz, Jeff H. Perkins & Michael D. Ernst

Y

• Web Page Readability Enhancement
     Chen-Hsiang (Jones) Yu & Robert C. Miller

Z

• ICEDB: Continuous Query Processing in an Intermittently Connected World
      Yang Zhang, Bret Hull, Vladimir Bychkovsky, Hari Balakrishnan & Samuel Madden
• Ubiquitous Memory Introspection
     Qin Zhao, Rodric Rabbah, Saman Amarasinghe, Larry Rudolph & Weng-Fai Wong
• Object and Reference Immutability Using Java Generics
     Yoav Zibin, Alex Potanin, Shay Artzi, Adam Kiezun & Michael D. Ernst