Nabble - Squeak-E

[Fwd: [e-lang] A dissertation on the rationale, philosophy, and goals of E and related systems]

2006-04-16T15:00:34Z

-------- Original Message --------
Subject: [e-lang] A dissertation on the rationale, philosophy, and goals of E
and related systems
Date: Sat, 15 Apr 2006 20:06:30 -0700
From: Mark S. Miller <markm@...>
Reply-To: Discussion of E and other capability languages <e-lang@...>
To: Discussion of E and other capability languages <e-lang@...>,
"General discussions concerning capability systems."
<cap-talk@...>, oz-e@..., Mozart
<users@...>, Squeak-E <squeak-e@...>,
Squeak-dev <squeak-dev@...>, p2p-hackers@...,
anti-fraud@..., croquet@...,
modules@..., hcisec@...

Apologies for the wide distribution, but elements of this dissertation are
germane to each of these lists. Feedback appreciated, but please reply to me
or on an appropriate list, rather than using "Reply all". The copyright notice
is interim, until I figure out what open license I want on this.

Robust Composition:
Towards a Unified Approach to Access Control and Concurrency Control

When separately written programs are composed so that they may cooperate, they
may instead destructively interfere in unanticipated ways. These hazards limit
the scale and functionality of the software systems we can successfully
compose. This dissertation presents a framework for enabling those
interactions between components needed for the cooperation we intend, while
minimizing the hazards of destructive interference.

Great progress on the composition problem has been made within the object
paradigm, chiefly in the context of sequential, single-machine programming
among benign components. We show how to extend this success to support robust
composition of concurrent and potentially malicious components distributed
over potentially malicious machines. We present E, a distributed, persistent,
secure programming language, and CapDesk, a virus-safe desktop built in E, as
embodiments of the techniques we explain.

My dissertation at Johns Hopkins University, found at
http://www.erights.org/talks/thesis/index.html

Advisor: Jonathan S. Shapiro.
Readers: Scott Smith, Yair Amir.

--

Cheers,
--MarkM

_______________________________________________
Squeak-e mailing list
Squeak-e@...
http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-e

[croquet] A dissertation on the rationale, philosophy, and goals of E and related systems

2006-04-15T21:06:30Z

Apologies for the wide distribution, but elements of this dissertation are
germane to each of these lists. Feedback appreciated, but please reply to me
or on an appropriate list, rather than using "Reply all". The copyright notice
is interim, until I figure out what open license I want on this.

Robust Composition:
Towards a Unified Approach to Access Control and Concurrency Control

When separately written programs are composed so that they may cooperate, they
may instead destructively interfere in unanticipated ways. These hazards limit
the scale and functionality of the software systems we can successfully
compose. This dissertation presents a framework for enabling those
interactions between components needed for the cooperation we intend, while
minimizing the hazards of destructive interference.

Great progress on the composition problem has been made within the object
paradigm, chiefly in the context of sequential, single-machine programming
among benign components. We show how to extend this success to support robust
composition of concurrent and potentially malicious components distributed
over potentially malicious machines. We present E, a distributed, persistent,
secure programming language, and CapDesk, a virus-safe desktop built in E, as
embodiments of the techniques we explain.

My dissertation at Johns Hopkins University, found at
http://www.erights.org/talks/thesis/index.html

Advisor: Jonathan S. Shapiro.
Readers: Scott Smith, Yair Amir.

--

Cheers,
--MarkM

Status

2006-02-12T11:29:56Z

Hello

I want to know what's the state of Squeak-E. I have already seen the
wiki and there's some code, but I have to recompile the vm. Does anyone
have or knows how to get a precompiled Squeak-E VM + Image (I'm working
on Windows right now).
Besides, the mailing list seems to be silent. What happend to the project?

Thanks, Mariano
_______________________________________________
Squeak-e mailing list
Squeak-e@...
http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-e