Type-Safe Eventful Sessions in Java
Abstract elided by the publisher.
1,096 papers · page 28 of 55
Code Roots
Abstract elided by the publisher.
Detecting Missing Method Calls in Object-Oriented Software
Abstract elided by the publisher.
Self-Replicating Objects for Multicore Platforms
Abstract elided by the publisher.
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
Abstract elided by the publisher.
Embedding Languages without Breaking Tools
Abstract elided by the publisher.
Falling Back on Executable Specifications
Abstract elided by the publisher.
Correct Refactoring of Concurrent Java Code
Abstract elided by the publisher.
JCoBox: Generalizing Active Objects to Concurrent Components
Abstract elided by the publisher.
Verifying Executable Object-Oriented Specifications with Separation Logic
Abstract elided by the publisher.
Verifying Generics and Delegates
Abstract elided by the publisher.
A Type System for Data-Centric Synchronization
Abstract elided by the publisher.
Contract-Based Data Structure Repair Using Alloy
Abstract elided by the publisher.
Coinductive Type Systems for Object-Oriented Languages
Abstract elided by the publisher.
Practical API Protocol Checking with Access Permissions
Abstract elided by the publisher.
Java on 1000 Cores: Tales of Hardware/Software Co-design
Abstract elided by the publisher.
Adding State and Visibility Control to Traits Using Lexical Nesting
Abstract elided by the publisher.
Security Monitor Inlining for Multithreaded Java
Abstract elided by the publisher.
EventJava: An Extension of Java for Event Correlation
Abstract elided by the publisher.
Fine-Grained Access Control with Object-Sensitive Roles
Abstract elided by the publisher.