Follow

Submissions from 2017

PDF

Proving Non-Deterministic Computations in Agda, Sergio Antoy, Michael Hanus, and Steven Libby

PDF

Video Frame Interpolation via Adaptive Convolution, Simon Niklaus, Long Mai, and Feng Liu

PDF

Fast On-Line Kernel Density Estimation for Active Object Localization, Anthony D. Rhodes, Max H. Quinn, and Melanie Mitchell

PDF

Bayesian Optimization for Refining Object Proposals, Anthony D. Rhodes, Jordan Witte, Melanie Mitchell, and Bruno Jedynak

Submissions from 2016

Executable Relational Specifications of Polymorphic Type Systems Using Prolog, Ki Yung Ahn and Andrea Vezzosi

Default Rules for Curry, Sergio Antoy and Michael Hanus

PDF

A Verified Information-Flow architecture, Arthur Azevedo de Amorim, Nathan Collins, André DeHOn, Delphine Demange, Cătălin Hriţcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, and Andrew Tolmach

Schedulability Analysis of Non-Preemptive Strictly Periodic Tasks in Multi-Core Real-Time Systems, Jinchao Chen, Chenglie Du, Fei Xie, and Zhenkun Yang

PDF

Incorporating Priors for Medical Image Segmentation Using a Genetic Algorithm, Payel Ghosh, Melanie Mitchell, James A. Tanyi, and Arthur Y. Hung

Rate Adaptation for Terahertz Communications, Farnoosh Moshir and Suresh Singh

PDF

Active Object Localization in Visual Situations, Max H. Quinn, Anthony Rhodes, and Melanie Mitchell

PDF

Fast and Adaptive Indexing of Multi-Dimensional Observational Data, Sheng Wang, David Maier, and Beng Chin Ooi

Submissions from 2015

Towards Automated Prediction of Relationships Among Scientific Datasets, Abdussalam Alawini, David Maier, Kristin A. Tufte, Bill Howe, and Rashmi Nandikur

PDF

Default Rules in Functional Logic Programs, Sergio Antoy and Michael Hanus

PDF

From Boolean Equalities to Constraints, Sergio Antoy and Michael Hanus

PDF

Needed Computations Shortcutting Needed Steps, Sergio Antoy, Jacob Johannsen, and Steven Libby

PDF

Compiling Collapsing Rules in Certain Constructor Systems, Sergio Antoy and Andy Jost

PDF

Micro-Policies: Formally Verified, Tag-Based Security Monitors, Arthur Azevedo de Amorim, Maxime Denes, Nick Giannarakis, Cătălin Hriţcu, Benjamin C. Pierce, Antal Spector-Zabusky, and Andrew Tolmach

PDF

The Expression Problem, Gracefully, Andrew P. Black

PDF

The Grace Programming Language Draft Specification Version 0.5. 2025, Andrew P. Black, Kim B. Bruce, and James Noble

PDF

Hierarchical Composition of Memristive Networks for Real-Time Computing, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, and Christof Teuscher

PDF

Automatic Fault Injection for Driver Robustness Testing, Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie

The BigDAWG Polystore System, Jennie Duggan, Aaron J. Elmore, Michael Stonebraker, Magdalena Balazinska, Bill Howe, Jeremy Kepner, Samuel Madden, David Maier, Timothy G. Mattson, and Stan Zdonik

PDF

A Demonstration of the BigDAWG Polystore System, Aaron J. Elmore, Jennie Duggan, Michael Stonebraker, Magdalena Balazinska, Ugur Cetintemel, Vijay Gadepally, J. Heer, Bill Howe, Jeremy Kepner, Tim Kraska, Samuel Madden, David Maier, Timothy G. Mattson, S. Papadopoulos, J. Parkhurst, Nesime Tatbul, Manasi Vartak, and Stan Zdonik

PDF

A Scaffolded, Metamorphic CTF for Reverse Engineering, Wu-Chang Feng

Updating an Introductory Performance Course with PDC Topics, Karen L. Karavanic and Daniel LeBlanc

PDF

Query From Examples: An Iterative, Data-Driven Approach to Query Construction, Hao Li, Chee-Yong Chan, and David Maier

PDF

Desiderata for a Big Data Language, David Maier

Technical Perspective: In-Situ Database Management, David Maier

PDF

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

PDF

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

PDF

A Theory of Name Resolution, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth

PDF

Creating a National Nonmotorized Traffic Count Archive: Process and Progress, Krista Nordback, Kristin A. Tufte, Morgan Harvey, Nathan McNeil, Elizabeth Stolz, and Jolene Liu

PDF

Semi-modular Delay Model Revisited in Context of Relative Timing, Hoon Park, Anping He, Marly Roncken, and Xiaoyu Song

PDF

Ear-Phone: A context-aware noise mapping using smart phones, Rajib Rana, Chun Tung Chou, Nirupama Bulusu, Salil Kanhere, and Wen Hu

PDF

Naturalized Communication and Testing, Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Prasannakumar Jamadagni, Chris Cowan, and Ivan Sutherland

PDF

Static Conflict Detection for a Policy Language, Alix Trou, Robert Dockins, and Andrew Tolmach

PDF

Evolution and Usage of the Portal Data Archive: 10-Year Retrospective, Kristin A. Tufte, Robert Bertini, and Morgan Harvey

PDF

A Constraint Language for Static Semantic Analysis based on Scope Graphs, Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth

Thumbnail Preserving Encryption for JPEG, Charles V. Wright and Wu-chi Feng

PDF

Usage Based Topology for DCNs, Qing Yi and Suresh Singh

Submissions from 2014

PDF

Coel: A Web-based Chemistry Simulation Framework, Peter Banda, Drew Blount, and Christof Teuscher

PDF

Learning Two-input Linear and Nonlinear Analog Functions with a Simple Chemical System, Peter Banda and Christof Teuscher

PDF

A Comparative Study of Reservoir Computing for Temporal Signal Processing, Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, and Darko Stefanovic

PDF

Damage Spreading in Spatial and Small-world Random Boolean Networks, Qiming Lu and Christof Teuscher

PDF

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

PDF

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

PDF

Online Learning in a Chemical Perceptron, Peter Banda, Christof Teuscher, and Matthew R. Lakin

PDF

Object-oriented Programming: Some History, and Challenges for the Next Fifty Years, Andrew P. Black

PDF

The Grace Programming Language Draft Specification Version 0.3.1261, Andrew P. Black, Kim B. Bruce, and James Noble

PDF

The Grace Programming Language Draft Specification Version 0.3.53, Andrew P. Black, Kim B. Bruce, and James Noble

PDF

Modules and Dialects as Objects in Grace, Michael Homer, James Noble, Kim B. Bruce, and Andrew P. Black

PDF

Interpreting Individual Classifications of Hierarchical Networks, Will Landecker, Michael David Thomure, Luis M.A. Bettencourt, Melanie Mitchell, Garrett T. Kenyon, and Steven P. Brumby

PDF

Taming the Metadata Mess, Veronika Margaret Megler

PDF

Search Tool that Utilizes Scientific Metadata Matched Against User-entered Parameters, Veronika Margaret Megler and David Maier

PDF

The Problem of Semantics in the Metadata Mess, Veronika Margaret Megler and David Maier

PDF

Data Near Here: Bringing Relevant Data Closer to Scientists, Veronika M. Megler and David Maier

PDF

Interactive Ambient Visualizations for Soft Advice, Emerson Murphy-Hill, Titus Barik, and Andrew P. Black

PDF

On the Role of Shape Prototypes in Hierarchical Models of Vision, Michael David Thomure, Melanie Mitchell, and Garrett T. Kenyon

Submissions from 2012

PDF

Patterns as Objects in Grace, Andrew P. Black, Michael Homer, James Noble, David J. Pearce, and Kim B. Bruce

PDF

Parallel Sorting on a Spatial Computer, Max Orhai and Andrew P. Black

Submissions from 2011

PDF

Haskell for the Cloud, Andrew P. Black

PDF

A Comparison of Relativistic and Reader-Writer Locking Approaches to Shared Data Access, Philip William Howard, Josh Triplett, and Jonathan Walpole

PDF

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

PDF

A Relativistic Enhancement to Software Transactional Memory, Philip William Howard and Jonathan Walpole

PDF

Relativistic Red-Black Trees, Philip William Howard and Jonathan Walpole

PDF

Finding Haystacks with Needles: Ranked Search for Data Using Geospatial and Temporal Characteristics, Veronika Margaret Megler and David Maier

PDF

Scalable Correct Memory Ordering via Relativistic Programming, Josh Triplett, Philip William Howard, Paul E. McKenney, and Jonathan Walpole

PDF

Generalized Construction of Scalable Concurrent Data Structures via Relativistic Programming, Josh Triplett, Paul E. McKenney, Philip W. Howard, and Jonathan Walpole

PDF

Resizable, Scalable, Concurrent Hash Tables, Josh Triplett, Paul E. McKenney, and Jonathan Walpole

PDF

Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming, Josh Triplett, Paul E. McKenney, and Jonathan Walpole

PDF

Assessment and Refinement of Real-Time Travel Time Algorithms for Use in Practice, Phase II, Kristin A. Tufte, Soyoung Ahn, and Sirisha Murthy Kothuri

PDF

Efficient Support of Consistent Cyclic Search with Read-Copy-Update and Parallel Updates, Jonathan Walpole and Paul E. McKenney

Submissions from 2010

PDF

Segmentation of thermographic images of hands using a genetic algorithm, Payel Ghosh, Judith Gold, and Melanie Mitchell

PDF

Biological Computation, Melanie Mitchell

Submissions from 2009

PDF

Pharo by Example, Andrew P. Black, Stéphane Ducasse, Oscar Nierstrasz, Damien Pollet, Damien Cassou, and Marcus Denker

PDF

Squeak by Example, Andrew P. Black, Stéphane Ducasse, Oscar Nierstrasz, Damien Pollet, Damien Cassou, and Marcus Denker

PDF

Improving Travel Information Products via Robust Estimation Techniques, David Maier, Kristin A. Tufte, and Rafael J. Fernández Moctezuma

PDF

Is Parallel Programming Hard, And If So, Why?, Paul E. McKenney, Maged M. Michael, Manish Gupta, Philip William Howard, Josh Triplett, and Jonathan Walpole

Submissions from 2008

PDF

Patterns of Aspect-Oriented Design, Black P. Andrew, James Noble, David J. Pearce, and Arno Scmidmeir

PDF

Better Refactoring Tools for a Better Refactoring Strategy, Andrew P. Black

PDF

Prostate Segmentation on Pelvic CT Images Using a Genetic Algorithm, Payel Ghosh and Melanie Mitchell

PDF

Refactoring Tools: Fitness for Purpose, Emerson Murphy-Hill and Andrew P. Black

Submissions from 2007

PDF

DirectFlow: a Domain-Specific Language for Information-Flow Systems, Andrew P. Black and Chuan-kai Lin

PDF

Why Don’t People Use Refactoring Tools?, Andrew P. Black and Emerson Murphy-Hill

PDF

What is RCU, Fundamentally?, Paul E. McKenney and Jonathan Walpole

Submissions from 2006

PDF

A Pattern Language for Extensible Program Representation, Andrew P. Black and Daniel Vainsencher

Submissions from 2005

PDF

RCU Semantics: A First Attempt, Paul E. McKenney and Jonathan Walpole

PDF

Can Infopipes Facilitate Reuse in a Traffic Application?, Emerson Murphy-Hill, Chuan-kai Lin, Andrew P. Black, and Jonathan Walpole

Submissions from 2003

PDF

A Browser for Incremental Programming, Andrew P. Black

PDF

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

PDF

Adaptive Live Video Streaming by Priority Drop, Jie Huang, Charles Krasic, and Jonathan Walpole

PDF

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

PDF

Infopipes: an Abstraction for Multimedia Streaming, Andrew P. Black, Huang Jie, Rainer Koster, Jonathan Walpole, and Calton Pu

PDF

Provisioning On-line Games: A Traffic Analysis of a Busy Counter-Strike Server, Wu-chang Feng, Francis Chang, Wu-chi Feng, and Jonathan Walpole

PDF

Supporting Low-Latency TCP-Based Media Streams, Ashvin Goel, Charles Krasic, Kang Li, and Jonathan Walpole