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.
The proceedings contain 47 papers. The topics discussed include: cache locality optimization for recursive programs;generalizations of the theory and deployment of triangular inequality for compiler-based strength red...
ISBN:
(纸本)9781450349888
The proceedings contain 47 papers. The topics discussed include: cache locality optimization for recursive programs;generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction;DemoMatch: API discovery from demonstrations;similarity of binaries through re-optimization;BARRACUDA: binary-level analysis of runtime races in CUDA programs;bringing the web up to speed with WebAssembly;proactive and adaptive energy-aware programming with mixed typechecking;simple, fast, and safe manual memory management;efficient and precise points-to analysis: modeling the heap by merging equivalent automata;static deadlock detection for asynchronous c# programs;achieving high coverage for floating-point code via unconstrained programming;skeletal program enumeration for rigorous compiler testing;decomposition instead of self-composition for proving the absence of timing channels;automatic program inversion using symbolic transducers;rigorous analysis of software countermeasures against cache attacks;component-based synthesis of table consolidation and transformation tasks from examples;and network configuration synthesis with abstract topologies.
The proceedings contain 28 papers. The topics discussed include: efficient building and placing of gating functions;avoiding conditional branches by code replication;accurate static branch prediction by value range pr...
ISBN:
(纸本)0897916972
The proceedings contain 28 papers. The topics discussed include: efficient building and placing of gating functions;avoiding conditional branches by code replication;accurate static branch prediction by value range propagation;improving balanced scheduling with compiler optimizations that increase instruction-level parallelism;selective specialization for object-oriented languages;corpus-based static branch prediction;flow-sensitive interprocedural constant propagation;efficient context-sensitive pointer analysis for c programs;simple and effective link-time optimization of modula-3 program;APT: a data structure for optimal control dependence computation;implementation of the data-flow synchronous language signal;scheduling and mapping: software pipelining in the presence of structural hazards;register allocation using lazy saves, eager restores, and greedy shuffling;context-insensitive alias analysis reconsidered;a type-based compiler for standard ML;unifying data and control transformations for distributed shared-memory machines;storage assignment to decrease code size;optimizing parallel programs with explicit synchronization;the LRPD test: speculative run-time parallelization of loops with privatization and reduction parallelization;and the power of assignment motion.
The proceedings contain 17 papers. The topics discussed include: exploiting implicit parallelism in dynamic array programminglanguages;NOVA: a functional language for data parallelism;abstracting vector architectures...
ISBN:
(纸本)9781450329378
The proceedings contain 17 papers. The topics discussed include: exploiting implicit parallelism in dynamic array programminglanguages;NOVA: a functional language for data parallelism;abstracting vector architectures in library generators: case study convolution filters;just-in-time length specialization of dynamic vector code;a local-view array library for partitioned global address space C++ programs;GPGPU composition with OCaml;a composable array function interface for heterogeneous computing in java;just-in-time shape inference for array-based languages;array operators using multiple dispatch;Co-dfns: ancient language, modern compiler;extract and extend parallelism using C/C++ extension for array notation on multicore and many-core platforms - an empirical investigation with quantitative finance examples;on predicting the impact of resource redistributions in streaming applications;***: transformation-based code generation for GPUs and CPUs;and multi-target C code generation from MATLAB.
This conferenceproceedings contains 29 papers on the design, development, implementation and use of programminglanguages, with emphasis on experimental results and practical experience. Topics discussed include the ...
详细信息
ISBN:
(纸本)0897915984
This conferenceproceedings contains 29 papers on the design, development, implementation and use of programminglanguages, with emphasis on experimental results and practical experience. Topics discussed include the design and implementation of data breakpoints, isolation and analysis of optimization errors, accommodation of may-alias information in static single assignment form, abstract debugging of higher-order imperative languages, a practical data flow framework for array reference analysis, global optimizations for parallelism and data locality, communication optimization and code generation for distributed memory machines, programmable syntax macros, compiling real-time programs into schedulable code, improving the cache locality of memory allocation, using lifetime predictors to improve memory allocation performance, the implementation of type classes, the theory of compilation with continuations, register allocation with instruction scheduling, lifetime-sensitive modulo scheduling, load/store range analysis for global register allocation, and balanced instruction scheduling in the case of uncertain memory latency.
The proceedings contain 55 papers. The topics discussed include: BLeak: automatically debugging memory leaks in web applications;putting in all the stops: execution control for JavaScript;persistency for synchronizati...
ISBN:
(纸本)9781450356985
The proceedings contain 55 papers. The topics discussed include: BLeak: automatically debugging memory leaks in web applications;putting in all the stops: execution control for JavaScript;persistency for synchronization-free regions;write-rationing garbage collection for hybrid memories;mapping spiking neural networks onto a manycore neuromorphic architecture;static serializability analysis for causal consistency;Cuba: interprocedural context-unbounded analysis of concurrent programs;advanced automata-based algorithms for program termination checking;HHVM JIT: a profile-guided, region-based compiler for PHP and Hack;EffectiveSan: type and memory error detection using dynamically typed C/C++;calling-to-reference context translation via constraint-guided CFL-reachability;the semantics of transactions and weak memory in x86, power, ARM, and C++;MixT: a language for mixing consistency in geodistributed transactions;finding root causes of floating point error;to-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries;spatial: a language and compiler for application accelerators;enhancing computation-to-core assignment with physical location information;and SWOOP: so ware-hardware co-design for non-speculative, execute-ahead, in-order cores.
The proceedings contain 7 papers. The topics discussed include: AARTS: low overhead online adaptive auto-tuning;contentiousness vs. sensitivity: improving contention aware runtime systems on multicore architectures;pr...
详细信息
ISBN:
(纸本)9781450307086
The proceedings contain 7 papers. The topics discussed include: AARTS: low overhead online adaptive auto-tuning;contentiousness vs. sensitivity: improving contention aware runtime systems on multicore architectures;probabilistic auto-tuning for architectures with complex constraints;efficiently exploring compiler optimization sequences with pair-wise pruning;adapt or become extinct!;loaf: a framework and infrastructure for creating online adaptive solutions;and using a codelet program execution model for exascale machines.
暂无评论