Really Automatic Scalable Object-Oriented Reengineering
Abstract elided by the publisher.
1,096 papers · page 24 of 55
A Compositional Paradigm of Automating Refactorings
Abstract elided by the publisher.
Simple Profile Rectifications Go a Long Way - Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations
Abstract elided by the publisher.
CoCo: Sound and Adaptive Replacement of Java Collections
Abstract elided by the publisher.
Heap Decomposition Inference with Linear Programming
Abstract elided by the publisher.
Application-Only Call Graph Construction
Abstract elided by the publisher.
Java Wildcards Meet Definition-Site Variance
Abstract elided by the publisher.
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
Abstract elided by the publisher.
Pause 'n' Play: Formalizing Asynchronous C#
Abstract elided by the publisher.
Magda: A New Language for Modularity
Abstract elided by the publisher.
Cloud Types for Eventual Consistency
Abstract elided by the publisher.
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
Abstract elided by the publisher.
Enhancing JavaScript with Transactions
Abstract elided by the publisher.
Verification of Snapshot Isolation in Transactional Memory Java Programs
Abstract elided by the publisher.
McSAF: A Static Analysis Framework for MATLAB
Abstract elided by the publisher.
Static Sessional Dataflow
Abstract elided by the publisher.
Program Sliding
Abstract elided by the publisher.
Smaller Footprint for Java Collections
Abstract elided by the publisher.
Lock Inference in the Presence of Large Libraries
Abstract elided by the publisher.
Inference and Checking of Object Ownership
Abstract elided by the publisher.