Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering
Abstract elided by the publisher.
1,096 papers · page 22 of 55
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores
Abstract elided by the publisher.
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis
Abstract elided by the publisher.
Self-inferencing Reflection Resolution for Java
Abstract elided by the publisher.
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks
Abstract elided by the publisher.
Rely-Guarantee Protocols
The use of shared mutable state, commonly seen in object-oriented systems, is often problematic due to the potential conflicting interactions between aliases to the same state. We present a substructural type system outfitted with a novel lightweight interference control mechanis…
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
Abstract elided by the publisher.
Identifying Mandatory Code for Framework Use via a Single Application Trace
Abstract elided by the publisher.
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions
Abstract elided by the publisher.
Safely Composable Type-Specific Languages
Programming languages often include specialized syntax for common datatypes e.g. lists and some also build in support for specific specialized datatypes e.g. regular expressions, but user-defined types must use general-purpose syntax. Frustration with this causes developers to us…
TaDA: A Logic for Time and Data Abstraction
Abstract elided by the publisher.
MiCA: A Compositional Architecture for Gossip Protocols
Abstract elided by the publisher.
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding
Abstract elided by the publisher.
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
Application Programming Interfaces APIs often define object protocols. Objects with protocols have a finite number of states and in each state a different set of method calls is valid. Many researchers have developed protocol verification tools because protocols are notoriously d…
Stream Processing with a Spreadsheet
Abstract elided by the publisher.
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects
Abstract elided by the publisher.
Averroes: Whole-Program Analysis without the Whole Program
Abstract elided by the publisher.
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
Abstract elided by the publisher.
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime
Abstract elided by the publisher.
QUIC Graphs: Relational Invariant Generation for Containers
Abstract elided by the publisher.