The proceedings contain 77 papers. The topics discussed include: data-driven inference of representation invariants;type error feedback via analytic program repair;synthesizing structured CAD models with equality satu...
ISBN:
(纸本)9781450376136
The proceedings contain 77 papers. The topics discussed include: data-driven inference of representation invariants;type error feedback via analytic program repair;synthesizing structured CAD models with equality saturation and inverse transformations;compiler and runtime support for continuation marks;from folklore to fact: comparing implementations of stacks and continuations;learning nonlinear loop invariants with gated continuous logic networks;blended, precise semantic program embeddings;and BlankIt library debloating: getting what you want instead of cutting what you don't.
The proceedings contain 28 papers. The topics discussed include: efficient and exact data dependence analysis;practical dependence testing;a data locality optimizing algorithm;CCG: a prototype coagulating code generat...
ISBN:
(纸本)0897914287
The proceedings contain 28 papers. The topics discussed include: efficient and exact data dependence analysis;practical dependence testing;a data locality optimizing algorithm;CCG: a prototype coagulating code generator;predicting program behavior using real or estimated profiles;procedure merging with instruction caches;strictness and binding-time analyses: two for the price of one;parameterized partial evaluation;the semantic approach to program slicing;automatic generation of global optimizers;size and access inference for data-parallel programs;and Fortran at ten gigaflops: the connection machine convolution compiler.
The proceedings contain 5 papers. The topics discussed include: TS4J: a fluent interface for defining and computing typestate analyses;a software product line for static analyses;dynamic slicing with soot;explicit and...
The proceedings contain 5 papers. The topics discussed include: TS4J: a fluent interface for defining and computing typestate analyses;a software product line for static analyses;dynamic slicing with soot;explicit and symbolic techniques for fast and scalable points-to analysis;and android taint flow analysis for app sets.
The proceedings contain 68 papers. The topics discussed include: modular information flow through ownership;ANOSY: approximated knowledge synthesis with refinement types for declassification;hardening attack surfaces ...
ISBN:
(纸本)9781450392655
The proceedings contain 68 papers. The topics discussed include: modular information flow through ownership;ANOSY: approximated knowledge synthesis with refinement types for declassification;hardening attack surfaces with formally proven binary format parsers;turning manual concurrent memory reclamation into automatic reference counting;low-latency, high-throughput garbage collection;mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters;visualization question answering using introspective program synthesis;synthesizing analytical SQL queries from computation demonstration;sequential reasoning for optimizing compilers under weak memory concurrency;and can reactive synthesis and syntax-guided synthesis be friends?.
The proceedings contain 48 papers. The topics discussed include: adaptive input-aware compilation for graphics engines;and then there were none: a stall-free real-time garbage collector for reconfigurable hardware;the...
ISBN:
(纸本)9781450312059
The proceedings contain 48 papers. The topics discussed include: adaptive input-aware compilation for graphics engines;and then there were none: a stall-free real-time garbage collector for reconfigurable hardware;the implicit calculus: a new foundation for generic programming;deterministic parallelism via liquid effects;speculative linearizability;understanding and detecting real-world performance bugs;input-sensitive profiling;language-based control and mitigation of timing channels;Diderot: a parallel DSL for image analysis and visualization;synthesising graphics card programs from DSLs;Parcae: a system for flexible parallel execution;JANUS: exploiting parallelism via hindsight;reagents: expressing and composing fine-grained concurrency;and proving acceptability properties of relaxed nondeterministic approximate programs.
The proceedings contain 29 papers. The topic discussed include: a serializability violation detector for shared-memory server programs;path slicing;checking type safety of foreign function calls;permission-based owner...
详细信息
The proceedings contain 29 papers. The topic discussed include: a serializability violation detector for shared-memory server programs;path slicing;checking type safety of foreign function calls;permission-based ownership: encapsulating state in higher-order typed languages;code placement for improving dynamic branch prediction accuracy;garbage collection without paging;register allocation for software pipelined multi-dimensional loops;automatically partitioning packet processing applications for pipelined architectures;programming ad-hoc networks of mobile and resource-constrained devices;composing security policies with polymer;and formal loop merging for signal transforms.
The proceedings contain 9 papers. The topics discussed include: a study of connected object locality in NUMA heaps;affinity-based hash tables;feedback directed optimization of TCMalloc;main memory and cache performanc...
ISBN:
(纸本)9781450329170
The proceedings contain 9 papers. The topics discussed include: a study of connected object locality in NUMA heaps;affinity-based hash tables;feedback directed optimization of TCMalloc;main memory and cache performance of Intel sandy bridge and AMD bulldozer;non-volatile memory is a broken time machine;O-structures: semantics for versioned memory;outlawing ghosts: avoiding out-of-thin-air results;and trash in cache: detecting eternally silent stores.
The proceedings contain 45 papers. The topics discussed include: automatically classifying benign and harmful data racesallusing replay analysis;sound and precise analysis of web applications for injection vulnerabili...
详细信息
ISBN:
(纸本)1595936335
The proceedings contain 45 papers. The topics discussed include: automatically classifying benign and harmful data racesallusing replay analysis;sound and precise analysis of web applications for injection vulnerabilities;fault-tolerant typed assembly language;a certified type-preserving compiler from lambda calculus to assembly language;certified self-modifying code;enforcing isolation and ordering in STM;improved error reporting for software that uses black-box components;thin slicing;static specification inference using predicate mining;automatic inference of optimizer flow functions from semantic meanings;automatic inversion generates divide-and-conquer parallel programs;sketching stencils;combining events and threads for scalable network services implementation;reliable and efficient programming abstractions for wireless sensor networks;and optimistic parallelism requires abstractions.
The proceedings contain 36 papers. The topics discussed include: optimizing memory transactions;better extensibility through modular syntax;practical dynamic software updating for C;shared memory programming for large...
详细信息
ISBN:
(纸本)1595933204
The proceedings contain 36 papers. The topics discussed include: optimizing memory transactions;better extensibility through modular syntax;practical dynamic software updating for C;shared memory programming for large scale machines;SAFECode: enforcing allias analysis for weakly typed languages;pruning dynamic slices with confidence;context-sensitive domain-independent algorithm composition and selection;a global progressive register allocator;accurate, efficient, and adaptive calling context profiling;eventrons: a safe programming construct for high-frequency hard real time applications;continuations and transducer composition;effective static race detection for Java;profile-guided proactive garbage collection for locality optimization;refinement-based context-sensitive points - to analysis for Java;modular verification of assembly code with stack-based control abstractions;and termination proofs for systems code.
暂无评论