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 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.
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.
The proceedings contain 59 papers. The topics discussed include: automatic error elimination by horizontal code transfer across multiple applications;mechanized verification of fine-grained concurrent programs;algorit...
ISBN:
(纸本)9781450334686
The proceedings contain 59 papers. The topics discussed include: automatic error elimination by horizontal code transfer across multiple applications;mechanized verification of fine-grained concurrent programs;algorithmic debugging of real-world Haskell programs: deriving dependencies from the cost centre stack;light: replay via tightly bounded recording;provably correct peephole optimizations with alive;automatically improving accuracy for floating point expressions;diagnosing type errors with class;verification of producer-consumer synchronization in GPU programs;verification of a cryptographic primitive: SHA-256;asynchronous programming, analysis and testing with state machines;laminarIR: compile-time queues for structured streams;optimizing off-chip accesses in multicores;improving compiler scalability: optimizing large programs at small price;verifying read-copy-update in a logic for weak memory;and stateless model checking concurrent programs with maximal causality reduction.
This conference proceedings 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 conference proceedings 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.
暂无评论