98 search results - page 10 / 20 » Interaction Schemata: Compiling Interactions to Code |
142
Voted
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
119
Voted
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
The phase-ordering problem is a long standing issue for compiler writers. Most optimizing compilers typically have numerous different code-improving phases, many of which can be a...
142
click to vote
ICS
2001
Tsinghua U.
15 years 8 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
115
Voted
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...
145
click to vote
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...