51 search results - page 9 / 11 » An Undergraduate Summer Research Program in Software Safety |
PLDI
2004
ACM
14 years 10 days ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
SCCC
1999
IEEE
13 years 11 months ago
1999
IEEE
Threads have been present in programming languages for some time now. However, they have a bad image among software developers because they lead to unreliable applications. Most o...
POPL
1999
ACM
13 years 11 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
ICECCS
2006
IEEE
14 years 29 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
SIGUCCS
1998
ACM
13 years 11 months ago
1998
ACM
There are many ways to train student employees, but hands-on experience is invaluable. To provide our Resident Computer Consultants (RCCs) with the experience they need to solve t...