The proceedings contain 26 papers. The topics discussed include: perspectives on reuse;the basic object system: supporting a spectrum from prototypes to hardened code;a situated evaluation of the object management gro...
ISBN:
(纸本)089791788X
The proceedings contain 26 papers. The topics discussed include: perspectives on reuse;the basic object system: supporting a spectrum from prototypes to hardened code;a situated evaluation of the object management group's (OMG) object management architecture (OMA);lessons learned from implementing the Corba persistent object service;slicing class hierarchies in C++;creating host compliance in a portable framework: a study in the reuse of design patterns;an equational object-oriented data model and its data-parallel query language;a monotonic superclass linearization for Dylan;vortex: an optimizing compiler for object-orientedlanguages;a flexible operation execution model for shared distributed objects;split objects: a disciplined use of delegation within objects;code reuse in an optimizing compiler;a functional layer for description logics: knowledge representation meets object-orientedprogramming;automatic inheritance hierarchy restructuring and method refactoring;the direct cost of virtual function calls in C++;soft issues and hard problems in software development;OO anthropology: crossing the chasm;simple and effective analysis of statically-typed object-oriented programs;reuse contracts: managing the evolution of reusable assets;on automatic class insertion with overloading;and change cases: use cases that identify future requirements.
The proceedings contain 61 papers. The topics discussed include: HAWKEYE: effective discovery of dataflow impediments to parallelization;automatic fine-grain locking using shape properties;safe parallel programming us...
ISBN:
(纸本)9781450309400
The proceedings contain 61 papers. The topics discussed include: HAWKEYE: effective discovery of dataflow impediments to parallelization;automatic fine-grain locking using shape properties;safe parallel programming using dynamic dependence hints;sprint: speculative prefetching of remote data;sprint: speculative prefetching of remote datal;why nothing matters: the impact of zeroing;trustworthy numerical computation in scala;JET: exception checking in the java native interface;immutable specifications for more concise and precise verification;hybrid partial evaluation;SugarJ: library-based syntactic language extensibility;reactive imperative programming with dataflow constraints;two for the price of one: a model for parallel and incremental computation;and a step towards transparent integration of input-consciousness into dynamic program optimizations.
The proceedings contain 36 papers. The topics discussed include: caching and incrementalisation in the Java query language;interprocedural query extraction for transparent persistence;deep typechecking and refactoring...
The proceedings contain 36 papers. The topics discussed include: caching and incrementalisation in the Java query language;interprocedural query extraction for transparent persistence;deep typechecking and refactoring;join patterns for visual basic;whiteoak: introducing structural typing into Java;mixing source and bytecode: a case for compilation by normalization;tolerating memory leaks;JOLT: lightweight dynamic analysis and removal of object churn;QVM: an efficient runtime for detecting defects in deployed systems;contention-aware scheduler: unlocking execution parallelism in multithreaded Java programs;dynamic optimization for efficient strong atomicity;jStar: towards practical verification for Java;verifying correct usage of atomic blocks and typestate;enforcing object protocols by combining static and runtime analysis;the impact of static-dynamic coupling on remodularization;and sound and extensible renaming for Java.
The proceedings contain 30 papers. The topics discussed include: eliminating distinctions of class: using prototypes to model virtual classes;J&: nested intersection for scalable software composition;statically sc...
详细信息
ISBN:
(纸本)1595933484
The proceedings contain 30 papers. The topics discussed include: eliminating distinctions of class: using prototypes to model virtual classes;J&: nested intersection for scalable software composition;statically scoped object adaptation with expanders;a framework for implementing pluggable type systems;design fragments make using frameworks easier;JTL: the Java tools language;adapting virtual machine techniques for seamless aspect support;efficient control flow quantification;uniform proxies for Java;javana: a system for building customized Java program analysis tools;the DaCapo benchmarks: Java benchmarking development and analysis;virgil: objects on the head of a pin;declarative, formal, and extensible syntax definition for aspectJ;method-specific dynamic compilation using logistic regression;replay compilation: improving debuggability of a just-in-time compiler;and a flexible framework for implementing software transactional memory.
The proceedings contain 60 papers. The topics discussed include: efficient modular glass box software model checking;an experiment about static and dynamic type systems: doubts about the positive impact of static type...
ISBN:
(纸本)9781450302036
The proceedings contain 60 papers. The topics discussed include: efficient modular glass box software model checking;an experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time;a simple inductive synthesis methodology and its applications;a domain-specific approach to architecturing error handling in pervasive computing;G-finder: routing programming questions closer to the experts;agility in context;an input-centric paradigm for program dynamic optimizations;composable specifications for structured shared-memory communication;scalable and systematic detection of buggy inconsistencies in source code;cross-language, type-safe, and transparent object sharing for co-located managed runtimes;instrumentation and sampling strategies for cooperative concurrency bug isolation;what can the GC compute efficiently? a language for heap assertions at GC time;and monitor optimization via stutter-equivalent loop transformation.
The proceedings contain 59 papers. The topics discussed include: type-based safe resource deallocation for shared-memory concurrency;safe compiler-driven transaction checkpointing and recovery;predicate abstraction of...
ISBN:
(纸本)9781450315616
The proceedings contain 59 papers. The topics discussed include: type-based safe resource deallocation for shared-memory concurrency;safe compiler-driven transaction checkpointing and recovery;predicate abstraction of Java programs with collections;GPUVerify: a verifier for GPU kernels;modular and verified automatic program repair;mitigating the compiler optimization phase-ordering problem using machine learning;optimization coaching: optimizers learn to communicate with programmers;adaptive multi-level compilation in a trace-based Java JIT compiler;on the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages;an abstract interpretation framework for refactoring with application to extract methods with contracts;refactoring Android Java code for on-demand computation offloading;and exploring multi-threaded java application performance on multicore hardware.
The proceedings contain 8 papers. The topics discussed include: parallel object-oriented scientific computing with Habanero-java;globally parallel, locally sequential: a preliminary proposal for acumen objects;insulat...
ISBN:
(纸本)9781450305464
The proceedings contain 8 papers. The topics discussed include: parallel object-oriented scientific computing with Habanero-java;globally parallel, locally sequential: a preliminary proposal for acumen objects;insulating the scientific programmer from perilous parallel architecture;HiFlow3 - a flexible and hardware-aware parallel finite element package;parallel simulation of equation-based models on CUDA-enabled GPUs;automatic performance optimization in ViennaCL for GPUs;and the best of most worlds: and shared objects for multilingual simulation.
The proceedings contain 53 papers. The topics discussed include: detecting redundant CSS rules in HTML5 applications: a tree rewriting approach;SATCheck: SAT-directed stateless model checking for SC and TSO;stateless ...
ISBN:
(纸本)9781450336895
The proceedings contain 53 papers. The topics discussed include: detecting redundant CSS rules in HTML5 applications: a tree rewriting approach;SATCheck: SAT-directed stateless model checking for SC and TSO;stateless model checking of event-driven applications;synthesis of layout engines from relational constraints;a sound and optimal incremental build system with dynamic dependencies;conditionally correct superoptimization;selective control-flow abstraction via jumping;automating grammar comparison;reasoning about the POSIX file system: Local Update and Global Pathnames;ShamDroid: gracefully degrading functionality in the presence of limited resource access;finding deep compiler bugs via guided stochastic program mutation;vectorization of apply to reduce interpretation overhead of R;and fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures.
The proceedings contain 13 papers. The topics discussed include: tool support for refactoring functional programs;when refactoring acts like modularity - keeping options open with persistent condition checking;toward ...
ISBN:
(纸本)9781605583396
The proceedings contain 13 papers. The topics discussed include: tool support for refactoring functional programs;when refactoring acts like modularity - keeping options open with persistent condition checking;toward refactoring in a polyglot world - extending automated refactoring support across Java and XML;refactoring is not (yet) about transformation;towards a refactoring guideline using code clone classication;gathering refactoring data: a comparison of four methods;recommending refactorings when restructuring variabilities in software product lines;designing refactoring tools for developers;re-approaching the refactoring Rubicon;refactoring a language for parallel computational chemistry;a security oriented program transformation to add on policies to prevent injection attacks;and implementing refactorings in IntelliJ IDEA.
暂无评论