Submissions from 2015
Technical Perspective: In-Situ Database Management, David Maier
S-Store: Streaming Meets Transaction Processing, John Meehan, Nesime Tatbul, Cansu Aslantas, Ugur Cetintemel, Jiang Du, Tim Kraska, Samuel Madden, David Maier, Andrew Pavlo, Michael Stonebraker, Kristin A. Tufte, and Hao Wang
Are Data Sets Like Documents?: Evaluating Similarity-Based Ranked Search over Scientific Data, Veronika Margaret Megler and David Maier
Demonstrating "Data Near Here": Scientific Data Search, Veronika Margaret Megler and David Maier
Data Like This: Ranked Search of Genomic Data Vision Paper, Veronika Margaret Megler, David Maier, Daniel Bottomly, Libbey White, Shannon McWeeney, and Beth Wilmot
Delay Line as a Chemical Reaction Network, Josh Moles, Peter Banda, and Christof Teuscher
Inference Attacks on Property-Preserving Encrypted Databases, Muhammad Naveed, Seny Kamara, and Charles V. Wright
A Theory of Name Resolution, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth
Creating a National Nonmotorized Traffic Count Archive: Process and Progress, Krista Nordback, Kristin A. Tufte, Morgan Harvey, Nathan McNeil, Elizabeth Stolz, and Jolene Liu
Semi-modular Delay Model Revisited in Context of Relative Timing, Hoon Park, Anping He, Marly Roncken, and Xiaoyu Song
Ear-Phone: A context-aware noise mapping using smart phones, Rajib Rana, Chun Tung Chou, Nirupama Bulusu, Salil Kanhere, and Wen Hu
Naturalized Communication and Testing, Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Prasannakumar Jamadagni, Christopher Cowan, and Ivan Sutherland
Static Conflict Detection for a Policy Language, Alix Trou, Robert Dockins, and Andrew Tolmach
Evolution and Usage of the Portal Data Archive: 10-Year Retrospective, Kristin A. Tufte, Robert Bertini, and Morgan Harvey
A Constraint Language for Static Semantic Analysis based on Scope Graphs, Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth
Reinforced Imitative Graph Learning for Mobile User Profiling, Dongjie Wang, Pengyang Wang, Yanjie Fu, Kunpeng Liu, Hui Xiong, and Charles Hughes
Thumbnail Preserving Encryption for JPEG, Charles V. Wright and Wu-chi Feng
Usage Based Topology for DCNs, Qing Yi and Suresh Singh
Submissions from 2014
COEL: A Web-based Chemistry Simulation Framework, Peter Banda, Drew Blount, and Christof Teuscher
Learning Two-input Linear and Nonlinear Analog Functions with a Simple Chemical System, Peter Banda and Christof Teuscher
Combating Software and Sybil Attacks to Data Integrity in Crowd-Sourced Embedded Systems, Akshay Dua, Nirupama Bulusu, Wu-chang Feng, and Wen Hu
A Comparative Study of Reservoir Computing for Temporal Signal Processing, Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, and Darko Stefanovic
Damage Spreading in Spatial and Small-world Random Boolean Networks, Qiming Lu and Christof Teuscher
Guiding Data-Driven Transportation Decisions, Kristin A. Tufte, Basem Elazzabi, Nathan Hall, Morgan Harvey, Kath Knobe, David Maier, and Veronika Margaret Megler
Submissions from 2013
Based on Repeated Experience, System for Modification of Expression and Negating Overload from Media and Optimizing Referential Efficiency, Peter R. Badovinatz and Veronika M. Megler
Online Learning in a Chemical Perceptron, Peter Banda, Christof Teuscher, and Matthew R. Lakin
Object-oriented Programming: Some History, and Challenges for the Next Fifty Years, Andrew P. Black
The Grace Programming Language Draft Specification Version 0.3.1261, Andrew P. Black, Kim B. Bruce, and James Noble
The Grace Programming Language Draft Specification Version 0.3.53, Andrew P. Black, Kim B. Bruce, and James Noble
GUInform: Interactive Fiction for GUI Prototyping, Tesca Fitzgerald
Modules and Dialects as Objects in Grace, Michael Homer, James Noble, Kim B. Bruce, and Andrew P. Black
Interpreting Individual Classifications of Hierarchical Networks, Will Landecker, Michael David Thomure, Luis M.A. Bettencourt, Melanie Mitchell, Garrett T. Kenyon, and Steven P. Brumby
Taming the Metadata Mess, Veronika Margaret Megler
Search Tool that Utilizes Scientific Metadata Matched Against User-entered Parameters, Veronika Margaret Megler and David Maier
The Problem of Semantics in the Metadata Mess, Veronika Margaret Megler and David Maier
Data Near Here: Bringing Relevant Data Closer to Scientists, Veronika M. Megler and David Maier
Interactive Ambient Visualizations for Soft Advice, Emerson Murphy-Hill, Titus Barik, and Andrew P. Black
On the Role of Shape Prototypes in Hierarchical Models of Vision, Michael David Thomure, Melanie Mitchell, and Garrett T. Kenyon
Submissions from 2012
Patterns as Objects in Grace, Andrew P. Black, Michael Homer, James Noble, David J. Pearce, and Kim B. Bruce
A System for Bidirectional Robotic Pathfinding, Tesca Fitzgerald
Parallel Sorting on a Spatial Computer, Max Orhai and Andrew P. Black
Submissions from 2011
Haskell for the Cloud, Andrew P. Black
Zoom: A Multi-Resolution Tasking Framework for Crowdsourced Geo-spatial Sensing, Thanh Xuan Dang, Wu-chi Feng, and Nirupama Bulusu
Can Transportation Researchers Reuse Project Datasets and Programs?, Tyler Hayes, Lois Delcambre, and Leonard Shapiro
A Comparison of Relativistic and Reader-Writer Locking Approaches to Shared Data Access, Philip William Howard, Josh Triplett, and Jonathan Walpole
The Ordering Requirements of Relativistic and Reader-Writer Locking Approaches to Shared Data Access, Philip William Howard, Josh Triplett, Jonathan Walpole, and Paul E. McKenney
A Relativistic Enhancement to Software Transactional Memory, Philip William Howard and Jonathan Walpole
Relativistic Red-Black Trees, Philip William Howard and Jonathan Walpole
Finding Haystacks with Needles: Ranked Search for Data Using Geospatial and Temporal Characteristics, Veronika Margaret Megler and David Maier
Scalable Correct Memory Ordering via Relativistic Programming, Josh Triplett, Philip William Howard, Paul E. McKenney, and Jonathan Walpole
Generalized Construction of Scalable Concurrent Data Structures via Relativistic Programming, Josh Triplett, Paul E. McKenney, Philip W. Howard, and Jonathan Walpole
Resizable, Scalable, Concurrent Hash Tables, Josh Triplett, Paul E. McKenney, and Jonathan Walpole
Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming, Josh Triplett, Paul E. McKenney, and Jonathan Walpole
Assessment and Refinement of Real-Time Travel Time Algorithms for Use in Practice, Phase II, Kristin A. Tufte, Soyoung Ahn, and Sirisha Murthy Kothuri
Efficient Support of Consistent Cyclic Search with Read-Copy-Update and Parallel Updates, Jonathan Walpole and Paul E. McKenney
Submissions from 2010
PVW: Designing Virtual World Server Infrastructure, Francis Chang, C. Mic Bowman, and Wu-chi Feng
XPU: A Distributed Architecture for Metaverses, Francis Chang, C. Mic Bowman, and Wu-chi Feng
Segmentation of thermographic images of hands using a genetic algorithm, Payel Ghosh, Judith Gold, and Melanie Mitchell
Solving Continuous Linear Least-Squares Problems by Iterated Projection, Ralf Juengling
Biological Computation, Melanie Mitchell
Submissions from 2009
Operational Verification of a Relativistic Program, Robert T. Bauer
Pharo by Example, Andrew P. Black, Stéphane Ducasse, Oscar Nierstrasz, Damien Pollet, Damien Cassou, and Marcus Denker
Squeak by Example, Andrew P. Black, Stéphane Ducasse, Oscar Nierstrasz, Damien Pollet, Damien Cassou, and Marcus Denker
The Design and Implementation of a Safe, Lightweight Haskell Compiler, Timothy Jan Chevalier
Finding IRC-like Meshes Sans Layer 7 Payloads, Akshay Dua, Jim Binkley, and Suresh Singh
Improving Travel Information Products via Robust Estimation Techniques, David Maier, Kristin A. Tufte, and Rafael J. Fernández Moctezuma
Is Parallel Programming Hard, And If So, Why?, Paul E. McKenney, Maged M. Michael, Manish Gupta, Philip William Howard, Josh Triplett, and Jonathan Walpole
Evaluating Similarity-based Trace Reduction Techniques for Scalable Performance Analysis, Kathryn Marie Mohror and Karen L. Karavanic
Submissions from 2008
Patterns of Aspect-Oriented Design, Black P. Andrew, James Noble, David J. Pearce, and Arno Scmidmeir
Traffic Analysis of UDP-based Flows in Ourmon, Jim Binkley and Divya Parekh
Better Refactoring Tools for a Better Refactoring Strategy, Andrew P. Black
Prostate Segmentation on Pelvic CT Images Using a Genetic Algorithm, Payel Ghosh and Melanie Mitchell
Reconstructing Images as Piecewise Smooth Functions, Ralf Juengling
Refactoring Tools: Fitness for Purpose, Emerson Murphy-Hill and Andrew P. Black
A Framework for Relationship Pattern Languages, Sudarshan Murthy and David Maier
Scalable Concurrent Hash Tables via Relativistic Programming, Josh Triplett
Submissions from 2007
Cache Coherence Protocol Verification using Ωmega, Ki Yung Ahn
DirectFlow: a Domain-Specific Language for Information-Flow Systems, Andrew P. Black and Chuan-kai Lin
Why Don’t People Use Refactoring Tools?, Andrew P. Black and Emerson Murphy-Hill
Protecting the Internet with Public Work, Ed Kaiser and Wu-chang Feng
What is RCU, Fundamentally?, Paul E. McKenney and Jonathan Walpole
Submissions from 2006
A Pattern Language for Extensible Program Representation, Andrew P. Black and Daniel Vainsencher
Submissions from 2005
Locality, Network Control and Anomaly Detection, Jim Binkley
RCU Semantics: A First Attempt, Paul E. McKenney and Jonathan Walpole
Can Infopipes Facilitate Reuse in a Traffic Application?, Emerson Murphy-Hill, Chuan-kai Lin, Andrew P. Black, and Jonathan Walpole
Submissions from 2004
Toward a Sound Integration of Isabelle with a Combined Decision Procedure, Tom Harke
Submissions from 2003
A Browser for Incremental Programming, Andrew P. Black
Under the Plastic: A Quantitative Look at DVD Video Encoding and Its Impact on Video Modeling, Wu-chi Feng, Jin Choi, Wu-chang Feng, and Jonathan Walpole
Adaptive Live Video Streaming by Priority Drop, Jie Huang, Charles Krasic, and Jonathan Walpole
Using Dynamic Optimization for Control of Real Rate CPU Resource Management Applications, Varin Vahia, Ashvin Goel, David Steere, Jonathan Walpole, and Molly H. Shor
Submissions from 2002
Infopipes: an Abstraction for Multimedia Streaming, Andrew P. Black, Huang Jie, Rainer Koster, Jonathan Walpole, and Calton Pu
Poster: Provisioning On-line Games: A Traffic Analysis of a Busy Counter-Strike Server, Francis Chang, Wu-chang Feng, Wu-chi Feng, and Jonathan Walpole
Provisioning On-line Games: A Traffic Analysis of a Busy Counter-Strike Server, Wu-chang Feng, Francis Chang, Wu-chi Feng, and Jonathan Walpole
Supporting Low-Latency TCP-Based Media Streams, Ashvin Goel, Charles Krasic, Kang Li, and Jonathan Walpole
Gscope: A Visualization Tool for Time-Sensitive Software, Ashvin Goel and Jonathan Walpole
A Lessons Learned Repository for Computer Forensics, Warren Harrison, George Heuston, Mark Morrissey, David Aucsmith, Sarah Mocas, and Steve Russelle
Thread Transparency in Information Flow Middleware, Rainer Koster, Andrew P. Black, Jie Huang, Jonathan Walpole, and Calton Pu
A Comparison of Evolutionary and Coevolutionary Search, Ludo Pagie and Melanie Mitchell
Implementing Infopipes: The SIP/XIP Experiment, Calton Pu, Galen Swint, Charles Consel, Younggyun Koh, Ling Liu, Koichi Moriyama, Jonathan Walpole, and Wenchang Yan
Submissions from 2001
Reifying Communication at the Application Level, Andrew P. Black, Jie Huang, and Jonathan Walpole