Active Bibliography

Graduate Group Chairpersonc ○ Copyright 2001 – Michael Hicks, Scott M. Nettles, Val Tannen, Michael Hicks Acknowledgements - 2001
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
41 Safe and flexible dynamic linking of native code – Michael Hicks, Stephanie Weirich, Karl Crary - 2000
478 Enforceable Security Policies – Fred B. Schneider
1111 Proof-Carrying Code – George C. Necula - 1997
1344 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
562 An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure – Diimitrios Georgakopoulos, Mark Hornick, Amit Sheth - 1995
1101 The physiology of the grid: An open grid services architecture for distributed systems integration – Ian Foster - 2002