Ravi Pandya
+1 425 417 4180

syndicate this site

Ravi Pandya   software | nanotechnology | economics


2007 11 10

2004 10 09 08 07 06

2003 04 02 01

2002 12 11 10 09 08

2001 11


Ravi Pandya
Cloud Computing Futures
ravip at microsoft.com

00-02 Covalent
97-00 EverythingOffice
96-97 Jango
93-96 NetManage
89-93 Xanadu
88-89 Hypercube
84,85 Xerox PARC
83-89 University of Toronto, Math
86-87 George Brown College, Dance
95-Foresight Institute
97-Institute for Molecular Manufacturing


The opinions expressed here are purely my own, and do not reflect the policy of my employer.

Tue 31 Aug 2004

Capability security model

Authority Reduction in Protection Systems is a great paper on analyzing the formal security properties of object capability systems by Mark Miller, Peter van Roy, Jonathon Shapiro, and Fred Spiessens. I particularly like the distinction between "de jure" properties that are explicitly granted rights versus "de facto" properties that are consequential information flows.

06:36 #

Mon 09 Aug 2004

The Comega language

Don Box mentioned this last week but it took me a while to get to the papers - MS Research released an implementation of Comega, an experimental language that combines a unified model for objects, relational data, and XML with a concurrent programming model. I really like the unified data model, but the concurrency model seems like it would be difficult to use in practice - a bit like programming your own state machine. I much prefer the E concurrency model of using "promises" for future results - it's an easier way to coordinate parallel chunks of procedural code.

06:06 #

© 2002-2004 Ravi Pandya | All Rights Reserved