Sciweavers

    PLDI
    2015
    ACM
    14views Programming Languages» more  PLDI 2015»
    Automatically improving accuracy for floating point expressions
    8 years 8 months ago
    Automatically improving accuracy for floating point expressions
    Download  homes.cs.washington.edu
    Scientific and engineering applications depend on floating point arithmetic to approximate real arithmetic. This approximation introduces rounding error, which can accumulate to...
    Pavel Panchekha, Alex Sanchez-Stern, James R. Wilc...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    10views Programming Languages» more  PLDI 2015»
    Provably correct peephole optimizations with alive
    8 years 8 months ago
    Provably correct peephole optimizations with alive
    Download  www.cs.utah.edu
    Compilers should not miscompile. Our work addresses problems in developing peephole optimizations that perform local rewriting to improve the efficiency of LLVM code. These optim...
    Nuno P. Lopes, David Menendez, Santosh Nagarakatte...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    13views Programming Languages» more  PLDI 2015»
    Sound reasoning about integral data types with a reusable SMT solver interface
    8 years 8 months ago
    Sound reasoning about integral data types with a reusable SMT solver interface
    Download  infoscience.epfl.ch
    We extend the Leon verification system for Scala with support for bitvector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment o...
    Régis Blanc, Viktor Kuncak
    claim paper
    Read More »
    PLDI
    2015
    ACM
    14views Programming Languages» more  PLDI 2015»
    Many-core compiler fuzzing
    8 years 8 months ago
    Many-core compiler fuzzing
    Download  www.doc.ic.ac.uk
    We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random d...
    Christopher Lidbury, Andrei Lascu, Nathan Chong, A...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    9views Programming Languages» more  PLDI 2015»
    The Push/Pull model of transactions
    8 years 8 months ago
    The Push/Pull model of transactions
    Download  researcher.watson.ibm.com
    We present a general theory of serializability, unifying a wide range of transactional algorithms, including some that are yet to come. To this end, we provide a compact semantics...
    Eric Koskinen, Matthew J. Parkinson
    claim paper
    Read More »
    PLDI
    2015
    ACM
    10views Programming Languages» more  PLDI 2015»
    Lightweight, flexible object-oriented generics
    8 years 8 months ago
    Lightweight, flexible object-oriented generics
    Download  www.cs.cornell.edu
    The support for generic programming in modern object-oriented programming languages is awkward and lacks desirable expressive power. We introduce an expressive genericity mechanis...
    Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    23views Programming Languages» more  PLDI 2015»
    Automatic induction proofs of data-structures in imperative programs
    8 years 8 months ago
    Automatic induction proofs of data-structures in imperative programs
    Download  www.comp.nus.edu.sg
    We consider the problem of automated reasoning about dynamically manipulated data structures. Essential properties are encoded as predicates whose definitions are formalized via ...
    Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
    claim paper
    Read More »
    PLDI
    2015
    ACM
    15views Programming Languages» more  PLDI 2015»
    Blame and coercion: together again for the first time
    8 years 8 months ago
    Blame and coercion: together again for the first time
    Download  homepages.inf.ed.ac.uk
    Jeremy G. Siek, Peter Thiemann, Philip Wadler
    claim paper
    Read More »
    PLDI
    2015
    ACM
    17views Programming Languages» more  PLDI 2015»
    Abstract expressionism for parallel performance
    8 years 8 months ago
    Abstract expressionism for parallel performance
    Download  www.snakeisland.com
    Robert Bernecky, Sven-Bodo Scholz
    claim paper
    Read More »
    PLDI
    2015
    ACM
    9views Programming Languages» more  PLDI 2015»
    SnapQueue: lock-free queue with constant time snapshots
    8 years 8 months ago
    SnapQueue: lock-free queue with constant time snapshots
    Download  axel22.github.io
    We introduce SnapQueues - concurrent, lock-free queues with a linearizable, lock-free global-state transition operation. This transition operation can atomically switch between ar...
    Aleksandar Prokopec
    claim paper
    Read More »
    « first‹ previous…456789101112…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.