Submissions from 2018
SCBench: A Benchmark Design Suite for SystemC Verification and Validation, Bin Lin and Fei Xie
Semantic Image Retrieval via Active Grounding of Visual Situations, Max H. Quinn, Erik Conser, Jordan M. Witte, and Melanie Mitchell
Joint Stabilization and Direction of 360 Degrees Videos, Chengzhou Tang, Oliver Wang, Feng Liu, and Ping Tan
Challenges and Opportunities in Transportation Data, Kristin A. Tufte, Kushal Datta, Alekh Jindal, David Maier, and Robert L. Bertini
Submissions from 2017
Blazes: Coordination Analysis and Placement for Distributed Programs, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, and David Maier
Proving Non-Deterministic Computations in Agda, Sergio Antoy, Michael Hanus, and Steven Libby
Max-Min Fair Resource Allocation in HetNets: Distributed Algorithms and Hybrid Architecture, Ehsan Aryafar, Alireza Keshavarz-Haddad, Carlee Joe-Wong, and Mung Chiang
CyberPDX: A Camp for Broadening Participation in Cybersecurity, Wu-chang Feng, Robert Liebman, Lois Delcambre, Michael Mooradian Lupro, Tim Sheard, Scott Britell, and Gerald W. Recktenwald
On the Temporal Effects of Mobile Blockers in Urban Millimeter-Wave Cellular Scenarios, Margarita Gapeyenko, Mikhail Gerasimenko, Andrey Samuylov, Dmitri Moltchanov, Sarabjot Singh, Mustafa Riza Akdeniz, Ehsan Aryafar, Nageen Himayat, Sergey Andreev, and Yevgeni Koucheryavy
Spatial-Semantic Image Search by Visual Feature Synthesis, Mai Long, Hailin Jin, Chen Fang, and Feng Liu
Sparse Coding on Stereo Video for Object Detection, Sheng Y. Lundquist, Melanie Mitchell, and Garrett T. Kenyon
Video Frame Interpolation via Adaptive Convolution, Simon Niklaus, Long Mai, and Feng Liu
Video Frame Interpolation via Adaptive Separable Convolution, Simon Niklaus, Long Mai, and Feng Liu
Grace's Inheritance, James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, and Timothy Jones
Fast On-Line Kernel Density Estimation for Active Object Localization, Anthony D. Rhodes, Max H. Quinn, and Melanie Mitchell
Bayesian Optimization for Refining Object Proposals, Anthony D. Rhodes, Jordan Witte, Melanie Mitchell, and Bruno Jedynak
Online Map Matching for Passive Indoor Positioning Systems, Huy Tran, Santosh Pandey, and Nirupama Bulusu
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
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
Incorporating Priors for Medical Image Segmentation Using a Genetic Algorithm, Payel Ghosh, Melanie Mitchell, James A. Tanyi, and Arthur Y. Hung
Generating High Coverage Tests for SystemC Designs Using Symbolic Execution, Bin Lin, Zhenkun Yang, Kai Cong, and Fei Xie
Sparse Encoding of Binocular Images for Depth Inference, Sheng Y. Lundquist, Dylan M. Paiton, Peter F. Schultz, and Garrett T. Kenyon
Rate Adaptation for Terahertz Communications, Farnoosh Moshirfatemi and Suresh Singh
Active Object Localization in Visual Situations, Max H. Quinn, Anthony Rhodes, and Melanie Mitchell
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
Default Rules in Functional Logic Programs, Sergio Antoy and Michael Hanus
From Boolean Equalities to Constraints, Sergio Antoy and Michael Hanus
Needed Computations Shortcutting Needed Steps, Sergio Antoy, Jacob Johannsen, and Steven Libby
Compiling Collapsing Rules in Certain Constructor Systems, Sergio Antoy and Andy Jost
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
The Expression Problem, Gracefully, Andrew P. Black
The Grace Programming Language Draft Specification Version 0.5. 2025, Andrew P. Black, Kim B. Bruce, and James Noble
Hierarchical Composition of Memristive Networks for Real-Time Computing, Jens Bürger, Alireza Goudarzi, Darko Stefanovic, and Christof Teuscher
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
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
A Scaffolded, Metamorphic CTF for Reverse Engineering, Wu-chang Feng
Updating an Introductory Performance Course with PDC Topics, Karen L. Karavanic and Daniel LeBlanc
Query From Examples: An Iterative, Data-Driven Approach to Query Construction, Hao Li, Chee-Yong Chan, and David Maier
Desiderata for a Big Data Language, David Maier
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
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