enter search term and/or author name
A foundation for embedded languages
Recent work on embedding object languages into Haskell use "phantom types" (i.e., parameterized types whose parameter does not occur on the right-hand side of the type definition) to ensure that the embedded object-language terms are simply typed....
Eliminating synchronization bottlenecks using adaptive replication
Martin C. Rinard, Pedro C. Diniz
This article presents a new technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on objects. Synchronization bottlenecks occur when multiple threads...
Stack inspection: Theory and variants
Cédric Fournet, Andrew D. Gordon
Stack inspection is a security mechanism implemented in runtimes such as the JVM and the CLR to accommodate components with diverse levels of trust. Although stack inspection enables the fine-grained expression of access control policies, it has...