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 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.
The proceedings contain 87 papers. The topics discussed include: incremental whole-program analysis in datalog with lattices;revamping hardware persistency models: view-based and axiomatic persistency models for intel...
ISBN:
(纸本)9781450383912
The proceedings contain 87 papers. The topics discussed include: incremental whole-program analysis in datalog with lattices;revamping hardware persistency models: view-based and axiomatic persistency models for intel-x86 and armv8;repairing serializability bugs in distributed database programs via automated schema refactoring;Gleipnir: toward practical error analysis for quantum programs;transfinite iris: resolving an existential dilemma of step-indexed separation logic;Perceus: garbage free reference counting with reuse;unleashing the hidden power of compiler optimization on binary code difference: an empirical study;RefinedC: automating the foundational verification of C code with refined ownership types;and wire sorts: a language abstraction for safe hardware composition.
The proceedings contain 48 papers. The topics discussed include: into the depths of C: elaborating the de facto standards;data-driven precondition inference with learned features;Cartesian Hoare logic for verifying k-...
ISBN:
(纸本)9781450342612
The proceedings contain 48 papers. The topics discussed include: into the depths of C: elaborating the de facto standards;data-driven precondition inference with learned features;Cartesian Hoare logic for verifying k-safety properties;verifying bit-manipulations of floating-point;coverage-directed differential testing of JVM implementations;lightweight computation tree tracing for lazy functional languages;effective padding of multidimensional arrays to avoid cache conflict misses;input responsiveness: using canary inputs to dynamically steer approximation;configuration synthesis for programmable analog devices with Arco;from datalog to flix: a declarative language for fixed points on lattices;latte: a language, compiler, and runtime for elegant and efficient deep neural networks;on the complexity and performance of parsing with derivatives;and toward compositional verification of interruptible OS kernels and device drivers.
The proceedings contain 46 papers. The topics discussed include: optimizing database-backed applications with query synthesis;automated feedback generation for introductory programming assignments;fast condensation of...
ISBN:
(纸本)9781450320146
The proceedings contain 46 papers. The topics discussed include: optimizing database-backed applications with query synthesis;automated feedback generation for introductory programming assignments;fast condensation of the program dependence graph;scalable variable and data type detection in a binary rewriter;rely-guarantee references for refinement types over aliased mutable data;harmonizing classes, functions, tuples, and type parameters in Virgil III;terra: a multi-stage language for high-performance computing;SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication;when polyhedral transformations meet SIMD code generation;CLAP: recording local executions to reproduce concurrency failures;CONCURRIT: a domain specific language for reproducing concurrency bugs;compiler testing via a theory of sound optimisations in the C11/C++11 memory model;and almost-correct specifications: a modular semantic framework for assigning confidence to warnings.
The proceedings contain 29 papers. The topics discussed include: improving register allocation for subscripted variables;profile guided code positioning;fast breakpoints: design and implementation;representing control...
ISBN:
(纸本)0897913647
The proceedings contain 29 papers. The topics discussed include: improving register allocation for subscripted variables;profile guided code positioning;fast breakpoints: design and implementation;representing control in the presence of first-class continuations;register allocation across procedure and module boundaries;graph coloring register allocation for processors with multi-register operands;two-directional record layout for multiple inheritance;fast code generation using automatically-generated decision trees;task granularity analysis in logic programs;how to print floating-point numbers accurately;compilation of Haskell array comprehensions for scientific computing;iterative type analysis and extended message splitting: optimizing dynamically-typed object-oriented programs;type-dependent parameter inference;generators and the replicator control structure in the parallel environment of ALLOY;and higher-order attribute grammars and editing environments.
The proceedings contain 56 papers. The topics discussed include: test-driven repair of data races in structured parallel programs;atomicity refinement for verified compilation;herding cats: modeling, simulation, testi...
ISBN:
(纸本)9781450327848
The proceedings contain 56 papers. The topics discussed include: test-driven repair of data races in structured parallel programs;atomicity refinement for verified compilation;herding cats: modeling, simulation, testing, and data-mining for weak memory;stochastic optimization of floating-point programs using tunable precision;a framework for enhancing data reuse via associative reordering;first-class runtime generation of high-performance types using exotypes;optimal inference of fields in row-polymorphic records;expressing and verifying probabilistic assertions;compositional solution space quantification for probabilistic software analysis;slicing probabilistic programs;adaptive, efficient parallel execution of parallel programs differentiation;globally precise-restartable execution of parallel programs;and accurate application progress analysis for large-scale parallel debugging.
This conferenceproceedings contains 30 papers. The main subjects are code generation, code positioning, register allocation, representing control, program optimization, floating-point numbers accurately, optimizing d...
详细信息
ISBN:
(纸本)0897913647
This conferenceproceedings contains 30 papers. The main subjects are code generation, code positioning, register allocation, representing control, program optimization, floating-point numbers accurately, optimizing dynamically-typed object-oriented programs, higher-order attribute grammars and editing environments, program and data dependence, demand-driven interpretation of imperative languages, analysis of pointers and structures, and compact representations for control dependence.
The proceedings contain 41 papers. The topics discussed include: dynamic software updates: a VM-centric approach;safe and timely dynamics updates for multi-threaded programs;CEAL: a C-based language for self-adjusting...
ISBN:
(纸本)9781605583921
The proceedings contain 41 papers. The topics discussed include: dynamic software updates: a VM-centric approach;safe and timely dynamics updates for multi-threaded programs;CEAL: a C-based language for self-adjusting computation;PetaBricks: a language and compiler for algorithmic choice;staged information flow for JavaScript;laminar: practical fine-grained decentralized information flow control;Merlin: specification inference for explicit information flow problems;TAJ: effective taint analysis of web applications;lightweight annotations for controlling sharing in concurrent data structures;a randomized dynamic program analysis technique for detecting real deadlocks;FastTrack: efficient and precise dynamic race detection;LiteRace: effective sampling for lightweight data-race detection;progress guarantee for parallel programs via bounded lock-freedom;stretching transactional memory;and parallelizing sequential applications on commodity hardware using a low-cost software transactional memory.
The proceedings contain 41 papers. The topics discussed include: safe programmable speculative parallelism;supporting speculative parallelization in the presence of dynamic data structures;cache topology aware computa...
ISBN:
(纸本)9781450300193
The proceedings contain 41 papers. The topics discussed include: safe programmable speculative parallelism;supporting speculative parallelization in the presence of dynamic data structures;cache topology aware computation mapping for multicores;a GPGPU compiler for memory optimization and parallelism management;safe to the last instruction: automated verification of a type-safe operating system;bringing extensibility to verified compilers;parameterized verification of transactional memories;detecting inefficiently-used containers to avoid bloat;finding low-utility data structures;evaluating the accuracy of java profilers;a context-free markup language for semi-structured text;printing floating-point numbers quickly and accurately with integers;adversarial memory for detecting destructive races;smooth interpretation;the reachability-bound problem;resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis;complete functional synthesis;and composing parallel software efficiently with lithe.
暂无评论