707 search results - page 67 / 142 » Some Comments on the Coding of Programs |
101
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
97
Voted
PLDI
2000
ACM
15 years 4 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...
208
click to vote
IWOMP
2011
Springer
14 years 3 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...
77
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
100
click to vote
SEKE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for un...