• jPredictor

  • Referenced in 5 articles [sw23065]
  • jPredictor is a runtime predictive analysis tool for Java. Based on sliced causality among property ... events, has been used in runtime analysis of concurrent programs in several works. Most...
  • Scalasca

  • Referenced in 13 articles [sw11228]
  • measuring and analyzing their runtime behavior. The analysis identifies potential performance bottlenecks – in particular those...
  • Merlin

  • Referenced in 5 articles [sw23076]
  • seen a proliferation of static and runtime analysis tools for finding security violations that...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • verification they can perform additional runtime monitoring, logging, and analysis...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • necessary. With a combination of static analysis and runtime optimizations, our prototype implementation showes reasonable...
  • ConScript

  • Referenced in 2 articles [sw38007]
  • specific security policies that are enforced at runtime. In addition to presenting 17 widely-ranging ... analysis of server-side code or runtime analysis of client-side code. We also present...
  • Lintent

  • Referenced in 2 articles [sw21576]
  • mostly through techniques from data-flow analysis, runtime protection mechanisms, or changes to the operating ... research by developing a framework for the analysis of Android applications based on typing techniques...
  • SA-cluster

  • Referenced in 10 articles [sw06867]
  • weight increments. Complexity analysis is provided to estimate how much runtime cost Inc-Cluster...
  • Volna-OP2

  • Referenced in 3 articles [sw38260]
  • architectures. In this paper, a comprehensive error analysis and scalability study of the GPU version ... between accuracy and runtime when carrying out these statistical studies. The analysis presented in this ... acceptable level of accuracy within a given runtime...
  • SHTns

  • Referenced in 18 articles [sw05905]
  • very fast, thanks to careful vectorization and runtime tuning. It supports multi-threaded transforms ... features scalar and vector transforms, synthesis and analysis, and flexible truncation and normalization. A Python...
  • TorchLight

  • Referenced in 4 articles [sw13534]
  • earlier disappointing results -- the analysis method has exponential runtime and succeeds only in two extremely ... This results in low-order polynomial time analysis methods, implemented in a tool we call...
  • Moca

  • Referenced in 5 articles [sw08801]
  • uniformly, then our stochastic analysis predicts an O(nlogn) runtime. Indeed, extensive experiments ... synthetic and real-world datasets confirm a runtime of less than 10 -5 nlogn seconds ... motorcycle, as predicted by our analysis. This makes Moca the first implementation that is efficient...
  • Insure++

  • Referenced in 1 article [sw10058]
  • Runtime Analysis and Memory Error Detection for C and C++: Parasoft® Insure++® identifies difficult...
  • LoAT

  • Referenced in 3 articles [sw23213]
  • LoAT (Lower bounds Analysis Tool): Lower runtime bounds for integer programs. We present a technique...
  • Alloy*

  • Referenced in 6 articles [sw20736]
  • mechanism, not only for analysis of software, but also at runtime. Solvers are available...
  • Copperhead

  • Referenced in 5 articles [sw30955]
  • visualization, and analysis. In this paper, we discuss the language, compiler, and runtime features that ... which Copperhead supports and introduce the program analysis techniques necessary for compiling Copperhead code into ... level implementations. We also outline the runtime support by which Copperhead programs interoperate with standard...
  • TinyOS

  • Referenced in 7 articles [sw02023]
  • distributed runtime behavior. The constituent components include (i) a full-featured static analysis and instrumentation...
  • Pex

  • Referenced in 36 articles [sw07263]
  • this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to path ... core component of the .NET runtime which had already been extensively tested over several years...
  • Inc-cluster

  • Referenced in 5 articles [sw06866]
  • weight increments. Complexity analysis is provided to estimate how much runtime cost Inc-Cluster...
  • JPAX

  • Referenced in 30 articles [sw09906]
  • present an overview of the Java PathExplorer runtime verification tool, in short referred ... deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates...