Actions

Correctness Tools: Difference between revisions

From Modelado Foundation

imported>Ksen
No edit summary
imported>Ksen
No edit summary
Line 15: Line 15:
| ||  ||  ||  ||  ||  ||  ||  ||  ||  ||  
| ||  ||  ||  ||  ||  ||  ||  ||  ||  ||  
|- style="vertical-align:top;"
|- style="vertical-align:top;"
|Describe how expect to require compiler support.  
|What kind of runtime overhead can you accept when running your application with a dynamic analysis tools such as a data race detector? 1.1X, 01.5X, 2X, 5X, 10X, 100X.  
|
|
|
|
Line 27: Line 27:
|
|
|- style="vertical-align:top;"
|- style="vertical-align:top;"
|'Program analysis can be both challenging and require specialized expertise. What requirements do you have for program analysis and what level of expertise you expect to require?
|  What types of bugs do you want correctness tools to detect? Data races, deadlocks, non-determinism.
|
|
|
|
Line 39: Line 39:
|
|
|- style="vertical-align:top;"
|- style="vertical-align:top;"
|''What types of hardware to you expect to address within optimizations and at what level of granularity?"
| What kind of correctness tools can help you with interactive debugging in a debugger?  Do you want those tools to discover bugs for you?
|
|
|
|

Revision as of 17:55, April 25, 2014

QUESTIONS XPRESS TG X-Stack DEGAS D-TEC DynAX X-TUNE GVR CORVETTE SLEEC PIPER
What kind of runtime overhead can you accept when running your application with a dynamic analysis tools such as a data race detector? 1.1X, 01.5X, 2X, 5X, 10X, 100X.
What types of bugs do you want correctness tools to detect? Data races, deadlocks, non-determinism.
What kind of correctness tools can help you with interactive debugging in a debugger? Do you want those tools to discover bugs for you?
What languages do you expect to use and or extend to support your research work?"