Sciweavers

    PLDI
    2015
    ACM
    15views Programming Languages» more  PLDI 2015»
    Synthesizing parallel graph programs via automated planning
    8 years 8 months ago
    Synthesizing parallel graph programs via automated planning
    Download  iss.ices.utexas.edu
    We describe a system that uses automated planning to synthesize correct and efficient parallel graph programs from high-level algorithmic specifications. Automated planning allo...
    Dimitrios Prountzos, Roman Manevich, Keshav Pingal...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    13views Programming Languages» more  PLDI 2015»
    Compiling APL to accelerate through a typed array intermediate language
    8 years 8 months ago
    Compiling APL to accelerate through a typed array intermediate language
    Download  hiperfit.dk
    We present an approach for compiling a rich subset of APL into dataparallel programs that can be executed on GPUs. The compiler is based on the APLTAIL compiler, which compiles AP...
    Michael Budde, Martin Dybdal, Martin Elsman
    claim paper
    Read More »
    PLDI
    2015
    ACM
    7views Programming Languages» more  PLDI 2015»
    Fold-based fusion as a library: a generative programming pearl
    8 years 8 months ago
    Fold-based fusion as a library: a generative programming pearl
    Download  infoscience.epfl.ch
    Fusion is a program optimisation technique commonly implemented using special-purpose compiler support. In this paper, we present an alternative approach, implementing fold-based ...
    Manohar Jonnalagedda, Sandro Stucki
    claim paper
    Read More »
    PLDI
    2015
    ACM
    10views Programming Languages» more  PLDI 2015»
    Synthesizing data structure transformations from input-output examples
    8 years 8 months ago
    Synthesizing data structure transformations from input-output examples
    Download  www.cs.utexas.edu
    We present a method for example-guided synthesis of functional programs over recursive data structures. Given a set of input-output examples, our method synthesizes a program in a...
    John K. Feser, Swarat Chaudhuri, Isil Dillig
    claim paper
    Read More »
    PLDI
    2015
    ACM
    11views Programming Languages» more  PLDI 2015»
    Asynchronous programming, analysis and testing with state machines
    8 years 8 months ago
    Asynchronous programming, analysis and testing with state machines
    Download  multicore.doc.ic.ac.uk
    Pantazis Deligiannis, Alastair F. Donaldson, Jeroe...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    12views Programming Languages» more  PLDI 2015»
    Cutting out the middleman: OS-level support for x10 activities
    8 years 8 months ago
    Cutting out the middleman: OS-level support for x10 activities
    Download  pp.info.uni-karlsruhe.de
    In the X10 language, computations are modeled as lightweight threads called activities. Since most operating systems only offer relatively heavyweight kernel-level threads, the X1...
    Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, ...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    18views Programming Languages» more  PLDI 2015»
    The APGAS library: resilient parallel and distributed programming in Java 8
    8 years 8 months ago
    The APGAS library: resilient parallel and distributed programming in Java 8
    Download  x10.sourceforge.net
    We propose the APGAS library for Java 8. Inspired by the core constructs and semantics of the Resilient X10 programming language, APGAS brings many benefits of the X10 programmin...
    Olivier Tardieu
    claim paper
    Read More »
    PLDI
    2015
    ACM
    15views Programming Languages» more  PLDI 2015»
    Verdi: a framework for implementing and formally verifying distributed systems
    8 years 8 months ago
    Verdi: a framework for implementing and formally verifying distributed systems
    Download  homes.cs.washington.edu
    Distributed systems are difficult to implement correctly because they must handle both concurrency and failures: machines may crash at arbitrary points and networks may reorder, ...
    James R. Wilcox, Doug Woos, Pavel Panchekha, Zacha...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    11views Programming Languages» more  PLDI 2015»
    Automatic error elimination by horizontal code transfer across multiple applications
    8 years 8 months ago
    Automatic error elimination by horizontal code transfer across multiple applications
    Download  people.csail.mit.edu
    We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications that process the same inputs to successfully e...
    Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Lon...
    claim paper
    Read More »
    PLDI
    2015
    ACM
    19views Programming Languages» more  PLDI 2015»
    Synthesizing racy tests
    8 years 8 months ago
    Synthesizing racy tests
    Download  drona.csa.iisc.ernet.in
    Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static tech...
    Malavika Samak, Murali Krishna Ramanathan, Suresh ...
    claim paper
    Read More »
    « first‹ previous…34567891011…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.