109
Voted
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
90
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
104
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
110
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
{ This paper presents a new approach to local instruction scheduling based on integer programming that produces optimal instruction schedules in a reasonable time, even for very la...
154
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
103
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
145
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
113
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
105
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
108
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
ÁÖÖ ÙÐ Ö ÖÖ Ý ×× × Ö ÖÖ Ý ×× × Û Ó× ÖÖ Ý ×Ù ¹ × Ö ÔØ× Ó ÒÓØ Ú ÐÓ× ¹ ÓÖÑ ÜÔÖ ×× ÓÒ× Ò Ø ÖÑ× Ó ÐÓÓÔ Ò ×º ÌÖ Ø Ó...