Correctness Tools: Difference between revisions
From Modelado Foundation
imported>Ksen No edit summary |
imported>Ksen No edit summary |
||
| Line 28: | Line 28: | ||
|- 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? | |'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? | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
|- 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 types of hardware to you expect to address within optimizations and at what level of granularity?" | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
|'''What languages do you expect to use and or extend to support your research work?" | |'''What languages do you expect to use and or extend to support your research work?" | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
| | | | ||
|} | |} | ||
Revision as of 17:53, April 25, 2014
| QUESTIONS | XPRESS | TG X-Stack | DEGAS | D-TEC | DynAX | X-TUNE | GVR | CORVETTE | SLEEC | PIPER |
|---|---|---|---|---|---|---|---|---|---|---|
| Describe how expect to require compiler support. | ||||||||||
| '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 hardware to you expect to address within optimizations and at what level of granularity?" | ||||||||||
| What languages do you expect to use and or extend to support your research work?" |