Correctness Tools: Difference between revisions
From Modelado Foundation
imported>Ksen No edit summary |
imported>Ksen No edit summary |
||
| Line 51: | Line 51: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| What kind of | | Current auto-tuning and performance/precision debugging tools treat the program as a black-box. What kind of white-box program analysis techniques can help in auto-tuning your application with floating-point precision and alternative algorithms? | ||
| | | | ||
| | | | ||
| Line 63: | Line 63: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| | | What kind of testing strategy do you normally apply while developing your software component? Do you write tests before or after the development process? What kind of coverage do you try to achieve? Do you write small unit tests or large systems tests to achieve coverage? Are your tests non-deterministic? | ||
| | | | ||
| | | | ||
| Line 75: | Line 75: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| | | After a bug is discovered, do you want automated support to create a simplified test that will reproduce the bug? | ||
| | | | ||
| | | | ||
| Line 87: | Line 87: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| | | What is your strategy to debug a DSL and its runtime? What kind of multi-level debugging support do you want for DSLs? | ||
| | | | ||
| | | | ||
| Line 99: | Line 99: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| | | What kind of visualization and presentation support for bugs do you want from correctness tools? What kind of IDE integration do you want for the correctness tools? | ||
| | | | ||
| | | | ||
| Line 111: | Line 111: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| | | When combining various languages/runtimes, can your language/runtime be debugged in isolation from the rest of the system? | ||
| | | | ||
| | | | ||
| Line 123: | Line 123: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| | | List the testing and debugging challenges that you think the next generation programming languages and models would face? | ||
| | | | ||
| | | | ||
| Line 135: | Line 135: | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
| | | How can correctness tools help with reasoning about energy? How can correctness tools help with resilience? | ||
| | | | ||
| | | | ||
Revision as of 18:00, 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? | ||||||||||
| Current auto-tuning and performance/precision debugging tools treat the program as a black-box. What kind of white-box program analysis techniques can help in auto-tuning your application with floating-point precision and alternative algorithms? | ||||||||||
| What kind of testing strategy do you normally apply while developing your software component? Do you write tests before or after the development process? What kind of coverage do you try to achieve? Do you write small unit tests or large systems tests to achieve coverage? Are your tests non-deterministic? | ||||||||||
| After a bug is discovered, do you want automated support to create a simplified test that will reproduce the bug? | ||||||||||
| What is your strategy to debug a DSL and its runtime? What kind of multi-level debugging support do you want for DSLs? | ||||||||||
| What kind of visualization and presentation support for bugs do you want from correctness tools? What kind of IDE integration do you want for the correctness tools? | ||||||||||
| When combining various languages/runtimes, can your language/runtime be debugged in isolation from the rest of the system? | ||||||||||
| List the testing and debugging challenges that you think the next generation programming languages and models would face? | ||||||||||
| How can correctness tools help with reasoning about energy? How can correctness tools help with resilience? |