Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
POPL
2015
ACM
4 years 10 months ago
Algebraic Effects, Linearity, and Quantum Programming Languages
We develop a new framework of algebraic theories with linear parameters, and use it to analyze the equational reasoning principles of quantum computing and quantum programming lan...
Sam Staton
POPL
2015
ACM
4 years 10 months ago
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
Building a summary for library code is a common approach to speeding up the analysis of client code. In presence of callbacks, some reachability relationships between library node...
Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, ...
PLDI
2015
ACM
4 years 10 months ago
Performance search engine driven by prior knowledge of optimization
For scientific array-based programs, optimization for a particular target platform is a hard problem. There are many optimization techniques such as (semantics-preserving) source...
Youngsung Kim, Pavol Cerný, John Dennis
PLDI
2015
ACM
4 years 10 months ago
Synthesis of machine code from semantics
In this paper, we present a technique to synthesize machine-code instructions from a semantic specification, given as a Quantifier-Free Bit-Vector (QFBV) logic formula. Our tech...
Venkatesh Srinivasan, Thomas W. Reps
PLDI
2015
ACM
4 years 10 months ago
Composing concurrency control
Concurrency control poses significant challenges when composing computations over multiple data-structures (objects) with different concurrency-control implementations. We formal...
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramaling...
PLDI
2015
ACM
4 years 10 months ago
Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code
Highly optimized programs are prone to bit rot, where performance quickly becomes suboptimal in the face of new hardware and compiler techniques. In this paper we show how to auto...
Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib ...
PLDI
2015
ACM
4 years 10 months ago
Droidel: a general approach to Android framework modeling
We present an approach and tool for general-purpose modeling of Android for static analysis. Our approach is to explicate the reflective bridge between the Android framework and ...
Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan C...
PLDI
2015
ACM
4 years 10 months ago
Making numerical program analysis fast
Numerical abstract domains are a fundamental component in modern static program analysis and are used in a wide range of scenarios (e.g. computing array bounds, disjointness, etc)...
Gagandeep Singh, Markus Püschel, Martin T. Ve...
PLDI
2015
ACM
4 years 10 months ago
A simpler, safer programming and execution model for intermittent systems
Energy harvesting enables novel devices and applications without batteries, but intermittent operation under energy harvesting poses new challenges to memory consistency that thre...
Brandon Lucia, Benjamin Ransford
PLDI
2015
ACM
4 years 10 months ago
A formal C memory model supporting integer-pointer casts
The ISO C standard does not specify the semantics of many valid programs that use non-portable idioms such as integer-pointer casts. Recent efforts at formal definitions and veri...
Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitr...
books