207
Voted
POPL
13 years 11 months ago
2012 ACM 
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
131
click to vote
POPL
13 years 11 months ago
2012 ACM 
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
155
Voted
POPL
13 years 11 months ago
2012 ACM 
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
157
click to vote
POPL
13 years 11 months ago
2012 ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
148
Voted
POPL
13 years 11 months ago
2012 ACM 
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
|
Programming Languages