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 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 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.
暂无评论