Probabilistic calling context

MD Bond, KS McKinley - Acm Sigplan Notices, 2007 - dl.acm.org
Calling context enhances program understanding and dynamic analyses by providing a rich
representation of program location. Compared to imperative programs, object-oriented …

Precise calling context encoding

WN Sumner, Y Zheng, D Weeratunge… - Proceedings of the 32nd …, 2010 - dl.acm.org
Calling contexts are very important for a wide range of applications such as profiling,
debugging, and event logging. Most applications perform expensive stack walking to …

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses

MD Bond, GZ Baker, SZ Guyer - Proceedings of the 31st ACM SIGPLAN …, 2010 - dl.acm.org
Calling context--the set of active methods on the stack--is critical for understanding the
dynamic behavior of large programs. Dynamic program analysis tools, however, are almost …

Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management

J Huang, MD Bond - Proceedings of the 2013 ACM SIGPLAN …, 2013 - dl.acm.org
State-of-the-art dynamic bug detectors such as data race and memory leak detectors report
program locations that are likely causes of bugs. However, programmers need more than …

[图书][B] Diagnosing and tolerating bugs in deployed systems

MD Bond - 2008 - search.proquest.com
Deployed software is never free of bugs. These bugs cause software to fail, wasting billions
of dollars and sometimes causing injury or death. Bugs are pervasive in modern software …

[PDF][PDF] A scalable algorithm for compiler-placed staggered checkpointing

AN Norman, C Lin - Proceedings of the 23rd International Conference on …, 2012 - Citeseer
To make progress in the face of possible system failures, long-running parallel applications
often checkpoint, or save their state, so they can resume execution. Many current …

[PDF][PDF] Efficient, Context-Sensitive Dynamic Analysis via Calling Context Uptrees

J Huang, MD Bond - Proceedings of the 2013 ACM SIGPLAN …, 2013 - mdbond.github.io
State-of-the-art dynamic bug detectors such as data race and memory leak detectors report
program locations that are likely causes of bugs. However, static program location is not …

Compiler-assisted staggered checkpointing

AN Norman - 2010 - repositories.lib.utexas.edu
To make progress in the face of failures, long-running parallel applications need to save
their state, known as a checkpoint. Unfortunately, current checkpointing techniques are …