9,008 Hits in 7.1 sec

Using automated performance modeling to find scalability bugs in complex codes

Alexandru Calotoiu, Torsten Hoefler, Marius Poke, Felix Wolf
2013 Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on - SC '13  
Wolf: Using Automated Performance Modeling to Find Scalability Bugs in Complex Codes. Supercomputing (SC13).  ...  A major goal of this utton" mechanism that ience in the field of perg all relevant levers for to advanced users who r tool using three MPI strate that our tool a code that is known to issue in a code that  ... 
doi:10.1145/2503210.2503277 dblp:conf/sc/CalotoiuHPW13 fatcat:4ydbvbcqh5fstoxj2nztgvjdim

Scaling Genetic Programming for Source Code Modification [article]

Brendan Cody-Kenny, Stephen Barrett
2012 arXiv   pre-print
In Search Based Software Engineering, Genetic Programming has been used for bug fixing, performance improvement and parallelisation of programs through the modification of source code.  ...  Where an evolutionary computation algorithm, such as Genetic Programming, is to be applied to similar code manipulation tasks, the complexity and size of source code for real-world software poses a scalability  ...  By comparing Arcuri with Forrest and Weimer's work, the overall changes achievable are restricted to certain classes of bugs in one and a change in performance in the other.  ... 
arXiv:1211.5098v1 fatcat:lpgmma54wjfb3jfjew7rpy2rpe

Statical and Dynamical Software Analysis

Sergii Sosnytskyi, Mykola Glybovets, Olena Pyechkurova
2020 NaUKMA Research Papers Computer Science  
Static analysis gives up completeness (though it may be designed to be precise for large classes of interested programs). Last, bug finding is neither robust nor complete.  ...  in the modeling stage).  ...  with other analysis tools • Scalability as used in the past to analyze large projects the size of millions of lines of code.  ... 
doi:10.18523/2617-3808.2020.3.50-55 fatcat:dl3s4tmhebbyhetm6ucm4snosy

Challenges and opportunities with concolic testing

Raghudeep Kannavara, Christopher J Havlicek, Bo Chen, Mark R Tuttle, Kai Cong, Sandip Ray, Fei Xie
2015 2015 National Aerospace and Electronics Conference (NAECON)  
In this paper, we discuss challenges to widespread adoption of concolic testing in an industrial setting and highlight further opportunities where concolic testing can find renewed applicability.  ...  Although concolic testing is increasingly being explored as a viable software verification technique, its adoption in mainstream software development and testing in the industry is not yet extensive.  ...  In most cases the analysis is performed on some version of the source code and in the other cases some form of the object code.  ... 
doi:10.1109/naecon.2015.7443099 fatcat:n757pypszveyhefimvoy6r3xte

Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems [article]

Teresa Nicole Brooks
2018 arXiv   pre-print
Recognizing this need, DARPA sponsored the Cyber Grand Challenge (CGC), a competition to showcase the current state of the art in systems that perform; automated vulnerability detection, exploit generation  ...  Though great progress has been made in this area of research, there remains limitations and open challenges to be addressed.  ...  Unlike Mayhem, AEG used source code analysis to find exploitable bugs while using binary runtime information to generate corresponding exploits.  ... 
arXiv:1702.06162v4 fatcat:3rhzbmq6yve2jkcx2mv73pjnre

Complexity in Scalable Computing

Damian W.I. Rouson
2008 Scientific Programming  
Another adapts concepts from computational complexity theory wherein the "computation" is a developer's algorithm for finding a bug.  ...  Based on the Common Component Architecture (CCA), Bocca operates in an implementationlanguage-agnostic manner to automate the task of writing component glue code.  ... 
doi:10.1155/2008/693705 fatcat:6tftcvej3fdtxpg2z4kfmqln3e

Recent Developments in the Field of Bug Fixing

Varun Mittal, Shivam Aditya
2015 Procedia Computer Science  
In recent times, there have been lot of work done in the field of bug fixing in the software development process.  ...  We hereby have conducted a review of the seven recent techniques in the field of bug fixing and have made a report on it.  ...  This research paper describes a review of the latest technologies in the field of Bug Fixing. Seven research papers have been studied and reviews about them have been given accompanied by diagrams.  ... 
doi:10.1016/j.procs.2015.04.184 fatcat:6xmczrspnvb4fg4ra56grysry4

Reveal: A Formal Verification Tool for Verilog Designs [chapter]

Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah
2008 Lecture Notes in Computer Science  
Concrete Design Abstract the Design Abstract Model Property holds Design is Design is Correct Correct Abstract Counterexample Bug Bug Trace Trace learn refine  ...  Such refinement can be viewed as a form of on-demand "learning" similar in spirit to conflict-based learning in modern Boolean satisfiability solvers.  ...  This is due to the heuristic nature of the satisfiability search for finding a bug. Any search, regardless of the refinement used, could "get lucky" and find a bug early, though only rarely.  ... 
doi:10.1007/978-3-540-89439-1_25 fatcat:33f3d7qdhbasdlyikpueucgpza


Domagoj Babic, Alan J. Hu
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
Many techniques exist, trading-off varying levels of automation, thoroughness of coverage of program behavior, precision of analysis, and scalability to large code bases.  ...  Automatically detecting bugs in programs has been a long-held goal in software engineering.  ...  Holzmann (Spin), Jesse Smith (Bftpd), and Harlan Stenn (ISC, Ntp) for providing us with prompt feedback both on bug reports and CALYSTO in general.  ... 
doi:10.1145/1368088.1368118 dblp:conf/icse/BabicH08 fatcat:k7qsybu4dbavnmwskxlyiyhybm

High Performance Static Analysis for Industry

Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
2012 Electronical Notes in Theoretical Computer Science  
In this work we present an empirical study of our industrial strength source code analysis tool Goanna that uses a model checking core for static analysis of C/C++ code.  ...  Static source code analysis for software bug detection has come a long way since its early beginnings as a compiler technology.  ...  The project conducted the third Static Analysis Tool Exposition (SATE) in 2010 to evaluate static analysis tools and try and find security bugs in source C/C++ code [1] .  ... 
doi:10.1016/j.entcs.2012.11.002 fatcat:5s7bkaya5bahjcoeolypxrkxou

Automatic Program Repair

Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
2021 IEEE Software  
they find in their own programs or in response to a bug report.  ...  Such approaches thus use a static bug-finding approach to find a flaw and then can use the static technique to automatically localize the bug and validate that a proposed patch addresses it (i.e., by determining  ... 
doi:10.1109/ms.2021.3072577 fatcat:7z7idpvt4zfanct3sz43vjlhhm

Bridging the divide between software developers and operators using logs

Weiyi Shang
2012 2012 34th International Conference on Software Engineering (ICSE)  
Logs are messages generated from statements inserted by developers in the source code and are often used by operators for monitoring the field operation of a system.  ...  However, the rich knowledge in logs has not yet been fully used because of their non-structured nature, their large scale, and the use of the ad hoc log analysis techniques.  ...  The author appreciates the generosity of the Performance Engineering team at Research In Motion (RIM).  ... 
doi:10.1109/icse.2012.6227031 dblp:conf/icse/Shang12 fatcat:vw257sb27nd6bk5wm5zsslj7ty

Current challenges in automatic software repair

Claire Le Goues, Stephanie Forrest, Westley Weimer
2013 Software quality journal  
First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug.  ...  with respect to a specification.  ...  Challenges include scalability (how quickly they find repairs, how many lines of code they can handle) and generality (what sorts of programs and bugs they can address).  ... 
doi:10.1007/s11219-013-9208-0 fatcat:g55pwby6vbdhvf3fjyktzjodnq

Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC [article]

Ganesh Gopalakrishnan and Paul D. Hovland and Costin Iancu and Sriram Krishnamoorthy and Ignacio Laguna and Richard A. Lethin and Koushik Sen and Stephen F. Siegel and Armando Solar-Lezama
2017 arXiv   pre-print
In this study, we detail one of the most significant productivity challenges in achieving this goal, namely the increasing proclivity to bugs, especially in the face of growing hardware and software heterogeneity  ...  Maintaining leadership in HPC requires the ability to support simulations at large scales and fidelity.  ...  In hybrid programming models, data races occur easily and are notoriously hard to find.  ... 
arXiv:1705.07478v1 fatcat:2rebouk2tvbqhcfthfhz5abd7i

Post-silicon validation opportunities, challenges and recent advances

Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici
2010 Proceedings of the 47th Design Automation Conference on - DAC '10  
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture.  ...  Due to sheer design complexity, it is nearly impossible to detect and fix all bugs before manufacture. Post-silicon validation is a major challenge for future systems.  ...  Acknowledgment This work is supported in part by the Semiconductor Research Corporation (SRC), the Gigascale Systems Research Center, one of six research centers funded under the Focus Center Research  ... 
doi:10.1145/1837274.1837280 dblp:conf/dac/MitraSN10 fatcat:hwycqj5eljfxbnszwn3zn5yjmy
« Previous Showing results 1 — 15 out of 9,008 results