Zobrazeno 1 - 10
of 177
pro vyhledávání: '"Demetrescu, Camil"'
Publikováno v:
Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021)
Recent years have witnessed a wide array of results in software testing, exploring different approaches and methodologies ranging from fuzzers to symbolic engines, with a full spectrum of instances in between such as concolic execution and hybrid fuz
Externí odkaz:
http://arxiv.org/abs/2102.06580
On-stack replacement (OSR) dynamically transfers execution between different code versions. This mechanism is used in mainstream runtime systems to support adaptive and speculative optimizations by running code tailored to provide the best expected p
Externí odkaz:
http://arxiv.org/abs/1708.02512
Publikováno v:
In Computers & Security September 2021 108
Publikováno v:
ACM Computing Surveys 51(3), 2018. BibTeX entry: http://goo.gl/Hf5Fvc
Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any bac
Externí odkaz:
http://arxiv.org/abs/1610.00502
In this paper, we describe the result of our experiments on Algorithms for the Food-Selection Problem, which is the fundamental problem first stated and addressed in the seminal paper \cite{pigout}. Because the key aspect of any experimental evaluati
Externí odkaz:
http://arxiv.org/abs/1401.7591
Identifying the hottest paths in the control flow graph of a routine can direct optimizations to portions of the code where most resources are consumed. This powerful methodology, called path profiling, was introduced by Ball and Larus in the mid 90s
Externí odkaz:
http://arxiv.org/abs/1304.5197
Input-sensitive profiling is a recent performance analysis technique that makes it possible to estimate the empirical cost function of individual routines of a program, helping developers understand how performance scales to larger inputs and pinpoin
Externí odkaz:
http://arxiv.org/abs/1304.3804
Autor:
Demetrescu, Camil, Lupia, Francesco, Mendicelli, Angelo, Ribichini, Andrea, Scarcello, Francesco, Schaerf, Marco
Publikováno v:
In Journal of Informetrics February 2019 13(1):87-104
Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigated how to take advantage of dataf
Externí odkaz:
http://arxiv.org/abs/1104.2293