10 papers · ranked by Valyu relevance
Navid Khoshavi, Mohammad Maghsoudloo, Hamid R. Zarandi
—This paper presents a software-based technique to recover control-flow errors in multithreaded programs. Control-flow error recovery is achieved through inserting additional instructions into multithreaded program at compile time regarding to two dependency graphs. These graphs are extracted to model control-flow and…
Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui + 4 more
'Yuekang Li' 'Haijun Wang' 'Yang Liu'] Grey-box fuzz testing has revealed thousands of vulnerabilities in real-world software owing to its lightweight instrumentation, fast coverage feedback, and dynamic adjusting strategies. However, directly applying grey-box fuzzing to input-dependent multithreaded programs can be…
Shuvendu K. Lahiri, Chao Wang, Daniel Schemmel, Julian Büning + 3 more
'César Rodríguez' 'David Laprell' 'Klaus Wehrle'] We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data…
Gene Cooperman, Martin Quinson
This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, without the need for an intermediate formal model. Sthread is in-vivo in that it provides a drop-in replacement for the pthread library, and…
Mohamed A. El-Zawawy
This paper presents a new approach for optimizing multitheaded programs with pointer constructs. The approach has applications in the area of certified code (proof-carrying code) where a justification or a proof for the correctness of each optimization is required. The optimization meant here is that of dead code…
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini + 2 more
'Alessandro Ricci' 'Andrea Omicini'] Abstract. The execution of Belief-Desire-Intention (BDI) agents in a Multi-Agent System (MAS) can be practically implemented on top of low-level concurrency mechanisms that impact on efficiency, determinism, and reproducibility. We argue that developers should specify the MAS…
Maxwell Pirtle, Luka Jovanović, Gene Cooperman
Context Model checking has become a key tool for gaining confidence in correctness of multi-threaded programs. Unit tests and functional tests do not suffice because of race conditions that are not discovered by those tests. This problem is addressed by model checking tools. A simple model checker is useful for…
Zsuzsanna Sükösd, Bjarne Knudsen, Morten Værum, Jørgen Kjems + 1 more
'Ebbe S Andersen'] Background The prediction of the structure of large RNAs remains a particular challenge in bioinformatics, due to the computational complexity and low levels of accuracy of state-of-the-art algorithms. The pfold model couples a stochastic context-free grammar to phylogenetic analysis for a high…
Jing Zhang, Sanchit Misra, Hao Wang, Wu-chun Feng
Background The Basic Local Alignment Search Tool (BLAST) is a fundamental program in the life sciences that searches databases for sequences that are most similar to a query sequence. Currently, the BLAST algorithm utilizes a query-indexed approach. Although many approaches suggest that sequence search with a database…
Xing Liu, Kun Mean Hou, Christophe de Vaulx, Jun Xu + 4 more
'Haiying Zhou' 'Hongling Shi' 'Peng Zhou'] Memory and energy optimization strategies are essential for the resource-constrained wireless sensor network (WSN) nodes. In this article, a new memory-optimized and energy-optimized multithreaded WSN operating system (OS) LiveOS is designed and implemented. Memory cost of…