Publication Checking the Hardware-Software Interface in Spec# Kevin Bierhoff, Chris Hawblitzel PLOS 07: 4th workshop on Programming languages and operating systems | October 2007 PLOS 07: 4th workshop on Programming languages and operating systems
Publication Compiling with Continuations, Continued Andrew Kennedy ACM SIGPLAN International Conference on Functional Programming | October 2007 ACM SIGPLAN International Conference on Functional Programming
Publication Codifier: A Programmer-Centric Search User Interface Andrew Begel First Workshop on Human-Computer Interaction and Information Retrieval | October 2007 First Workshop on Human-Computer Interaction and Information Retrieval
Publication Establishing Object Invariants with Delayed Types Manuel Fahndrich, Songtao Xia Proceedings of the 22nd ACM Conference on Object-Oriented Programming, Systems, and Applications | October 2007 Proceedings of the 22nd ACM Conference on Object-Oriented Programming, Systems, and Applications
Publication Constructive Techniques for Meta- and Model-Level Reasoning Ethan Jackson, Janos Sztipanovits Model Driven Engineering Languages and Systems | September 2007
Publication Lightweight concurrency primitives for GHC Peng Li, Andrew Tolmach, Simon Marlow, Simon Peyton Jones Haskell Workshop 2007 | September 2007
Publication Semi-Synchronous Conflict Detection and Resolution in Asynchronous Software Development Prasun Dewan, Rajesh Hegde Proceedings of the 2007 Tenth European Conference on Computer-Supported Cooperative Work | September 2007 2007 ECSCW Conference, 24-28 September 2007, Limerick, Ireland
Publication Building an Ecologically valid, Large-scale Diagram to Help Developers Stay Oriented in Their Code Mauro Cherubini, Gina Venolia, Robert DeLIne VLHCC ’07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing | September 2007 ISBN: 0-7695-2987-9
Publication Extending Object-Oriented Optimizations for Concurrent Programs Kelly Heffner, David Tarditi, Michael D. Smith Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques | September 2007 Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques ISBN: 0-7695-2944-5
Publication Fine-Grained Access Control for GridFTP using SecPAL Marty Humphrey, Sang-Min Park, Jun Feng, Norm Beekwilder, Glenn Wasson, Jason Hogg, Brian LaMacchia, Blair Dillaway 8th IEEE/ACM International Conference Grid Computing (Grid 2007) | September 2007 8th IEEE/ACM International Conference Grid Computing (Grid 2007)
