A dynamic program analysis to find floating-point accuracy problems

ACM SIGPLAN Notices ◽

10.1145/2345156.2254118 ◽

2012 ◽

Vol 47 (6) ◽

pp. 453-462 ◽

Author(s):

Florian Benz ◽

Andreas Hildebrandt ◽

Sebastian Hack

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Floating Point ◽

Dynamic Program Analysis

Download Full-text

Proving memory safety of floating-point computations by combining static and dynamic program analysis

Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10 ◽

10.1145/1831708.1831710 ◽

2010 ◽

Author(s):

Patrice Godefroid ◽

Johannes Kinder

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Floating Point ◽

Memory Safety ◽

Dynamic Program Analysis

Download Full-text

A dynamic program analysis to find floating-point accuracy problems

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 ◽

10.1145/2254064.2254118 ◽

2012 ◽

Author(s):

Florian Benz ◽

Andreas Hildebrandt ◽

Sebastian Hack

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Floating Point ◽

Dynamic Program Analysis

Download Full-text

EviHunter: Identifying digital forensic artifacts in android devices via static and dynamic program analysis

10.31274/etd-20210114-25 ◽

2020 ◽

Author(s):

Chao-Chun Cheng

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Digital Forensic ◽

Dynamic Program Analysis ◽

Forensic Artifacts

Download Full-text

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine

ECOOP 2013 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39038-8_15 ◽

2013 ◽

pp. 352-377 ◽

Author(s):

Danilo Ansaloni ◽

Stephen Kell ◽

Yudi Zheng ◽

Lubomír Bulej ◽

Walter Binder ◽

...

Keyword(s):

Virtual Machine ◽

Program Analysis ◽

Dynamic Program ◽

Java Virtual Machine ◽

Analysis Tools ◽

Dynamic Program Analysis

Download Full-text

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_18 ◽

2012 ◽

pp. 256-263 ◽

Author(s):

Lukáš Marek ◽

Yudi Zheng ◽

Danilo Ansaloni ◽

Aibek Sarimbekov ◽

Walter Binder ◽

...

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Java Bytecode ◽

Dynamic Program Analysis ◽

Bytecode Instrumentation

Download Full-text

Self-refining aspects for dynamic program analysis

Proceedings of the tenth international conference on Aspect-oriented software development companion - AOSD '11 ◽

10.1145/1960314.1960342 ◽

2011 ◽

Author(s):

Danilo Ansaloni

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Dynamic Program Analysis

Download Full-text

A randomized dynamic program analysis technique for detecting real deadlocks

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 ◽

10.1145/1542476.1542489 ◽

2009 ◽

Author(s):

Pallavi Joshi ◽

Chang-Seo Park ◽

Koushik Sen ◽

Mayur Naik

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Technique ◽

Dynamic Program Analysis

Download Full-text

Custom full-coverage dynamic program analysis for Android

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2814190 ◽

2015 ◽

Author(s):

Haiyang Sun ◽

Yudi Zheng ◽

Lubomír Bulej ◽

Walter Binder ◽

Stephen Kell

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Full Coverage ◽

Dynamic Program Analysis

Download Full-text

Productive Development of Dynamic Program Analysis Tools with DiSL

2013 22nd Australian Software Engineering Conference ◽

10.1109/aswec.2013.12 ◽

2013 ◽

Author(s):

Aibek Sarimbekov ◽

Yudi Zheng ◽

Danilo Ansaloni ◽

Lubomir Bulej ◽

Luka Marek ◽

...

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Tools ◽

Dynamic Program Analysis ◽

Productive Development

Download Full-text

Towards a domain-specific aspect language for dynamic program analysis

Proceedings of the sixth annual workshop on Domain-specific aspect languages - DSAL '11 ◽

10.1145/1960496.1960500 ◽

2011 ◽

Author(s):

Walter Binder ◽

Philippe Moret ◽

Danilo Ansaloni ◽

Aibek Sarimbekov ◽

Akira Yokokawa ◽

...

Keyword(s):

Program Analysis ◽

Specific Aspect ◽

Dynamic Program ◽

Domain Specific ◽

Dynamic Program Analysis

Download Full-text