Sciweavers

    OOPSLA
    2015
    Springer
    29views Security Privacy» more  OOPSLA 2015»
    Finding deep compiler bugs via guided stochastic program mutation
    8 years 9 days ago
    Finding deep compiler bugs via guided stochastic program mutation
    Download  vuminhle.com
    Compiler testing is important and challenging. Equivalence Modulo Inputs (EMI) is a recent promising approach for compiler validation. It is based on mutating the unexecuted state...
    Vu Le, Chengnian Sun, Zhendong Su
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    4views Security Privacy» more  OOPSLA 2015»
    RAIVE: runtime assessment of floating-point instability by vectorization
    8 years 9 days ago
    RAIVE: runtime assessment of floating-point instability by vectorization
    Download  www.cs.ucr.edu
    Floating point representation has limited precision and inputs to floating point programs may also have errors. Consequently, during execution, errors are introduced, propagated,...
    Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhan...
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    14views Security Privacy» more  OOPSLA 2015»
    Race-driven UI-level test generation for JavaScript-based web applications
    8 years 9 days ago
    Race-driven UI-level test generation for JavaScript-based web applications
    Download  www.informatik.tu-darmstadt.de
    Due to its asynchronous, event-driven nature, JavaScript, similar to concurrent programs, suffers from the problem of data races. Past research provides methods for automatically ...
    Martin Billes
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    11views Security Privacy» more  OOPSLA 2015»
    A bootstrapping infrastructure to build and extend Pharo-like languages
    8 years 9 days ago
    A bootstrapping infrastructure to build and extend Pharo-like languages
    Download  rmod.inria.fr
    Bootstrapping is well known in the context of compilers, where a bootstrapped compiler can compile its own source code. Bootstrapping is a beneficial engineering practice beraise...
    Guillermo Polito, Stéphane Ducasse, Noury B...
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    9views Security Privacy» more  OOPSLA 2015»
    Conditionally correct superoptimization
    8 years 9 days ago
    Conditionally correct superoptimization
    Download  cs.stanford.edu
    The aggressive optimization of heavily used kernels is an important problem in high-performance computing. However, both general purpose compilers and highly specialized tools suc...
    Rahul Sharma 0001, Eric Schkufza, Berkeley R. Chur...
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    11views Security Privacy» more  OOPSLA 2015»
    ShamDroid: gracefully degrading functionality in the presence of limited resource access
    8 years 9 days ago
    ShamDroid: gracefully degrading functionality in the presence of limited resource access
    Download  www.pietro.ferrara.name
    Given a program whose functionality depends on access to certain external resources, we investigate the question of how to gracefully degrade functionality when a subset of those ...
    Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco ...
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    14views Security Privacy» more  OOPSLA 2015»
    Versatile yet lightweight record-and-replay for Android
    8 years 9 days ago
    Versatile yet lightweight record-and-replay for Android
    Download  www.cs.ucr.edu
    Recording and replaying the execution of smartphone apps is useful in a variety of contexts, from reproducing bugs to profiling and testing. Achieving effective record-andreplay ...
    Yongjian Hu, Tanzirul Azim, Iulian Neamtiu
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    15views Security Privacy» more  OOPSLA 2015»
    Using C language extensions for developing embedded software: a case study
    8 years 9 days ago
    Using C language extensions for developing embedded software: a case study
    Download  voelter.de
    We report on an industrial case study on developing the embedded software for a smart meter using the C programming language and domain-specific extensions of C such as component...
    Markus Voelter, Arie van Deursen, Bernd Kolb, Step...
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    12views Security Privacy» more  OOPSLA 2015»
    Just-in-time data structures
    8 years 9 days ago
    Just-in-time data structures
    Download  users.elis.ugent.be
    Today, software engineering practices focus on finding the single “right” data representation for a program. The “right” data representation, however, might not exist: ch...
    Mattias De Wael, Stefan Marr, Joeri De Koster, Jen...
    claim paper
    Read More »
    OOPSLA
    2015
    Springer
    4views Security Privacy» more  OOPSLA 2015»
    Selective control-flow abstraction via jumping
    8 years 9 days ago
    Selective control-flow abstraction via jumping
    Download  plv.colorado.edu
    Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan
    claim paper
    Read More »
    « first‹ previous1234567next ›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.