8 Nov 2011 00:08
8 Nov 2011 16:12
Sussman on InfoQ: We Really Don't Know How To Compute!
http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute
8 Nov 2011 17:49
Re: new document
On Nov 7, 2011, at 6:08 PM, karl ramberg wrote: > http://www.vpri.org/pdf/tr2011004_steps11.pdf It's so exciting to watch the project come along. I can't wait to eventually play with it! With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work! Sean
8 Nov 2011 19:05
Re: new document
+1
Joel Healy
On Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <sean-HdtZGoKLKd41HXoXgX+rmQ@public.gmane.org> wrote:
On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:
> http://www.vpri.org/pdf/tr2011004_steps11.pdf
It's so exciting to watch the project come along. I can't wait to eventually play with it!
With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!
Sean_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
<div> <p>+1<br><br>Joel Healy<br><br><br></p> <div class="gmail_quote">On Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <span dir="ltr"><<a href="mailto:sean <at> clipperadams.com">sean@...</a>></span> wrote:<br><blockquote class="gmail_quote"> On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:<br> > <a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br> It's so exciting to watch the project come along. I can't wait to eventually play with it!<br><br> With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!<br><span class="HOEnZb"><br> Sean<br></span><div class="HOEnZb"><div class="h5">_______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br> </div></div> </blockquote> </div> <br> </div>
8 Nov 2011 20:30
Re: new document
+1 !!!!!!!!!!!!!!
]{evin ])riedger
On Tue, Nov 8, 2011 at 1:05 PM, Joel Healy <joel.h.healy <at> gmail.com> wrote:
+1
Joel HealyOn Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <sean <at> clipperadams.com> wrote:On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:
> http://www.vpri.org/pdf/tr2011004_steps11.pdf
It's so exciting to watch the project come along. I can't wait to eventually play with it!
With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!
Sean_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
<div>
<p>+1 !!!!!!!!!!!!!!</p>
<div>
<br clear="all">]{evin ])riedger<br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 1:05 PM, Joel Healy <span dir="ltr"><<a href="mailto:joel.h.healy@...">joel.h.healy <at> gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote">
+1<span class="HOEnZb"><br><br>Joel Healy</span><div class="HOEnZb"><div class="h5">
<br><br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <span dir="ltr"><<a href="mailto:sean@..." target="_blank">sean <at> clipperadams.com</a>></span> wrote:<br><blockquote class="gmail_quote">
On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:<br>
> <a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br>
It's so exciting to watch the project come along. I can't wait to eventually play with it!<br><br>
With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!<br><span><br>
Sean<br></span><div><div>_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br>
</div></div>
</blockquote>
</div>
<br>
</div></div>
<br>_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br>
</blockquote>
</div>
<br>
</div>
</div>
8 Nov 2011 21:09
Re: new document
I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language.
I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.
[2] http://www.haskell.org/haskellwiki/GPipe/Tutorial
On Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <karlramberg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
http://www.vpri.org/pdf/tr2011004_steps11.pdf
Karl
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
<div> <p>I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language. </p> <div><br></div> <div>I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.<div> <br>[1] <a href="http://conal.net/Vertigo/">http://conal.net/Vertigo/</a> </div> <div>[2] <a href="http://www.haskell.org/haskellwiki/GPipe/Tutorial">http://www.haskell.org/haskellwiki/GPipe/Tutorial</a><br><br><div class="gmail_quote"> On Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <span dir="ltr"><<a href="mailto:karlramberg@...">karlramberg@...</a>></span> wrote:<br><blockquote class="gmail_quote"> <a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br> Karl<br><br> _______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br> </blockquote> </div> <br> </div> </div> </div>
8 Nov 2011 21:21
Re: new document
Both are available on github.
Gizera:
Nile:
Perhaps that could get you started.
]{evin
]{evin
On Tue, Nov 8, 2011 at 3:09 PM, David Barbour <dmbarbour <at> gmail.com> wrote:
I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language.I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.[2] http://www.haskell.org/haskellwiki/GPipe/TutorialOn Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <karlramberg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:http://www.vpri.org/pdf/tr2011004_steps11.pdf
Karl
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
<div> <p>Both are available on github.</p> <div><br></div> <div>Gizera:</div> <div> <a href="https://github.com/damelang/gezira">https://github.com/damelang/gezira</a> </div> <div><br></div> <div>Nile:</div> <div> <a href="https://github.com/damelang/nile">https://github.com/damelang/nile</a> </div> <div><br></div> <div>Perhaps that could get you started.<div> <br clear="all">]{evin</div> <div> <br><br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 3:09 PM, David Barbour <span dir="ltr"><<a href="mailto:dmbarbour@...">dmbarbour <at> gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote"> I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language. <div><br></div> <div>I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.<div> <br>[1] <a href="http://conal.net/Vertigo/" target="_blank">http://conal.net/Vertigo/</a> </div> <div>[2] <a href="http://www.haskell.org/haskellwiki/GPipe/Tutorial" target="_blank">http://www.haskell.org/haskellwiki/GPipe/Tutorial</a><div> <div class="h5"> <br><br><div class="gmail_quote"> On Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <span dir="ltr"><<a href="mailto:karlramberg@..." target="_blank">karlramberg@...</a>></span> wrote:<br><blockquote class="gmail_quote"> <a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br> Karl<br><br> _______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br> </blockquote> </div> <br> </div> </div> </div> </div> <br>_______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br> </blockquote> </div> <br> </div> </div> </div>
8 Nov 2011 21:32
Re: new document
Thanks.
On Tue, Nov 8, 2011 at 12:21 PM, Kevin Driedger <linuxbox+fonc-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
Both are available on github.Gizera:Nile:Perhaps that could get you started.
]{evinOn Tue, Nov 8, 2011 at 3:09 PM, David Barbour <dmbarbour-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language.I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.[2] http://www.haskell.org/haskellwiki/GPipe/TutorialOn Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <karlramberg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:http://www.vpri.org/pdf/tr2011004_steps11.pdf
Karl
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
<div> <p>Thanks.<br><br></p> <div class="gmail_quote">On Tue, Nov 8, 2011 at 12:21 PM, Kevin Driedger <span dir="ltr"><<a href="mailto:linuxbox%2Bfonc <at> gmail.com">linuxbox+fonc@...</a>></span> wrote:<br><blockquote class="gmail_quote"> Both are available on github.<div><br></div> <div>Gizera:</div> <div> <a href="https://github.com/damelang/gezira" target="_blank">https://github.com/damelang/gezira</a> </div> <div><br></div> <div>Nile:</div> <div> <a href="https://github.com/damelang/nile" target="_blank">https://github.com/damelang/nile</a> </div> <div><br></div> <div>Perhaps that could get you started.<div> <br clear="all">]{evin</div> <div><div class="h5"><div> <br><br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 3:09 PM, David Barbour <span dir="ltr"><<a href="mailto:dmbarbour@..." target="_blank">dmbarbour@...</a>></span> wrote:<br><blockquote class="gmail_quote"> I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language. <div><br></div> <div>I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.<div> <br>[1] <a href="http://conal.net/Vertigo/" target="_blank">http://conal.net/Vertigo/</a> </div> <div>[2] <a href="http://www.haskell.org/haskellwiki/GPipe/Tutorial" target="_blank">http://www.haskell.org/haskellwiki/GPipe/Tutorial</a><div> <div> <br><br><div class="gmail_quote"> On Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <span dir="ltr"><<a href="mailto:karlramberg@..." target="_blank">karlramberg@...</a>></span> wrote:<br><blockquote class="gmail_quote"> <a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br> Karl<br><br> _______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br> </blockquote> </div> <br> </div> </div> </div> </div> <br>_______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br> </blockquote> </div> <br> </div></div></div> </div> <br>_______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br> </blockquote> </div> <br> </div>
8 Nov 2011 21:41
Re: Sussman on InfoQ: We Really Don't Know How To Compute!
This is a good one. Sussman, like many pioneers, is refreshingly un-dogmatic, perhaps as a consequence of having never been properly indoctrinated by the standard CS curriculum. Plus, he's both brilliant and by this point very experienced in solving lots of real problems.
FWIW, he could certainly lecture for 60 minutes on developmental systems biology, but you shouldn't believe a word of it: he seem to still be holding tight to the (once irresistible, but now mostly discredited) "DNA as Turing Machine tape" analogy. I had to stifle a guffaw when he says cells have "oh, I don't know, a few K of RAM". Somebody should clue him in about the proteome: there's a huge amount of really dynamic stuff going on in a living cell, and DNA-as-code simply isn't the whole story. There's a great book by Susan Oyama that clarifies this stuff. Anyway, if we're going to look for inspiration in biology, we should take some care to try to know what we're talking about.
-- Max
On Tue, Nov 8, 2011 at 7:12 AM, Marcel Weiher <marcel.weiher-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc
<div> <p>This is a good one. Sussman, like many pioneers, is refreshingly un-dogmatic, perhaps as a consequence of having never been properly indoctrinated by the standard CS curriculum. Plus, he's both brilliant and by this point very experienced in solving lots of real problems.</p> <div> <br> </div> <div> <div>FWIW, he could certainly lecture for 60 minutes on developmental systems biology, but you shouldn't believe a word of it: he seem to still be holding tight to the (once irresistible, but now mostly discredited) "DNA as Turing Machine tape" analogy. I had to stifle a guffaw when he says cells have "oh, I don't know, a few K of RAM". Somebody should clue him in about the proteome: there's a huge amount of really dynamic stuff going on in a living cell, and DNA-as-code simply isn't the whole story. There's a <a href="http://books.google.com/books?id=E3O83dh96uEC&dq=isbn:0822324660" target="_blank">great book by Susan Oyama</a> that clarifies this stuff. Anyway, if we're going to look for inspiration in biology, we should take some care to try to know what we're talking about.</div> <div><br></div> <div> -- Max</div> <br><div class="gmail_quote">On Tue, Nov 8, 2011 at 7:12 AM, Marcel Weiher <span dir="ltr"><<a href="mailto:marcel.weiher <at> gmail.com" target="_blank">marcel.weiher@...</a>></span> wrote:<br><blockquote class="gmail_quote"> <br> <a href="http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute" target="_blank">http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute</a><br><br><br><br> _______________________________________________<br> fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br> </blockquote> </div> <br> </div> </div>
8 Nov 2011 21:53
Fwd: [AGERE! at SPLASH] Talks by Mark Miller
Some on this list with interests in security may enjoy these, too...
Related:
- The AGERE! (Actors and Agents Reloaded) workshop webpage: http://www.alice.unibo.it/xwiki/bin/view/AGERE/
- AmbientTalk (actor language for mobile devices): http://soft.vub.ac.be/amop/
-- Max
---------- Forwarded message ----------
From: Tom Van Cutsem <tomvc.be-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
Date: Thu, Nov 3, 2011 at 12:37 PM
Subject: [AGERE! at SPLASH] Talks by Mark Miller
To: agere-at-splash <at> googlegroups.com
Dear all,
--
You received this message because you are subscribed to the Google Groups "AGERE! at SPLASH" group.
To post to this group, send email to agere-at-splash-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
To unsubscribe from this group, send email to agere-at-splash+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
For more options, visit this group at http://groups.google.com/group/agere-at-splash?hl=en.
From: Tom Van Cutsem <tomvc.be-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
Date: Thu, Nov 3, 2011 at 12:37 PM
Subject: [AGERE! at SPLASH] Talks by Mark Miller
To: agere-at-splash <at> googlegroups.com
Dear all,
During the panel session, Mark Miller showed some slides from a talk he gave at our university (University of Brussels, Belgium) a couple of weeks ago. At the workshop, I promised to forward links to the videos of the full talks when they would become available. See the abstract and links below.
How does this relate to actors? Mark talks about capability-based security, which meshes really well with object-oriented, and - in the distributed case - with actor-based programming. Don't worry if you are not an expert on security: Mark explains the issues in a very clear and understandable way.
Thanks again to the organizers for a successful AGERE! workshop.
Kind regards,
Tom Van Cutsem
Talk 1/2: Secure Distributed Programming with Object-capabilities in JavaScript
Until now, browser-based security has been hell. The object-capability (ocap) model provides a simple and expressive alternative. Google's Caja project uses the latest JavaScript standard, EcmaScript 5, to support fine-grained safe mobile code, solving the secure mashup problem. Dr. SES -- Distributed Resilient Secure EcmaScript -- extends the ocap model cryptographically over the network, enabling RESTful composition of mutually suspicious web services. We show how to apply the expressiveness of object programming to the expression of security patterns, solving security problems normally thought to be difficult with simple elegant programs.
Talk 2/2: Bringing Object-orientation to Security Programming
Just as we should not expect our base programming language to provide all the data types we need, so we should not expect our security foundation to provide all the abstractions we need to express security policy. The answer to both is the same: We need foundations that provide simple abstraction mechanisms, which we use to build an open ended set of abstractions, which we then use to express policy. We show how to use EcmaScript 5 to enforce the security latent in object-oriented abstraction mechanisms: encapsulation, message-passing, polymorphism, and interposition. With these secured, we show how to build abstractions for confinement, rights amplification, transitive wrapping and revocation, and smart contracts.
You received this message because you are subscribed to the Google Groups "AGERE! at SPLASH" group.
To post to this group, send email to agere-at-splash-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
To unsubscribe from this group, send email to agere-at-splash+unsubscribe-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org.
For more options, visit this group at http://groups.google.com/group/agere-at-splash?hl=en.
<div> <p>Some on this list with interests in security may enjoy these, too...</p> <div><br></div> <div>Related:</div> <div>- The AGERE! (Actors and Agents Reloaded) workshop webpage: <a href="http://www.alice.unibo.it/xwiki/bin/view/AGERE/">http://www.alice.unibo.it/xwiki/bin/view/AGERE/</a> </div> <div><br></div> <div>- AmbientTalk (actor language for mobile devices): <a href="http://soft.vub.ac.be/amop/">http://soft.vub.ac.be/amop/</a><br><div><br></div> <div>-- Max</div> <div> <br><div class="gmail_quote">---------- Forwarded message ----------<br> From: Tom Van Cutsem <span dir="ltr"><<a href="mailto:tomvc.be@...">tomvc.be@...</a>></span><br>Date: Thu, Nov 3, 2011 at 12:37 PM<br>Subject: [AGERE! at SPLASH] Talks by Mark Miller<br> To: <a href="mailto:agere-at-splash@...">agere-at-splash <at> googlegroups.com</a><br><br><br>Dear all,<div><br></div> <div>During the panel session, Mark Miller showed some slides from a talk he gave at our university (University of Brussels, Belgium) a couple of weeks ago. At the workshop, I promised to forward links to the videos of the full talks when they would become available. See the abstract and links below.</div> <div><br></div> <div>How does this relate to actors? Mark talks about capability-based security, which meshes really well with object-oriented, and - in the distributed case - with actor-based programming. Don't worry if you are not an expert on security: Mark explains the issues in a very clear and understandable way.</div> <div><br></div> <div><div>Thanks again to the organizers for a successful AGERE! workshop.</div></div> <div> <div></div> <div><br></div> <div> <div>Kind regards,</div> <div>Tom Van Cutsem</div> </div> <div><br></div> <div>Talk 1/2: Secure Distributed Programming with Object-capabilities in JavaScript</div> <div><br></div> <div>Until now, browser-based security has been hell. The object-capability (ocap) model provides a simple and expressive alternative. Google's Caja project uses the latest JavaScript standard, EcmaScript 5, to support fine-grained safe mobile code, solving the secure mashup problem. Dr. SES -- Distributed Resilient Secure EcmaScript -- extends the ocap model cryptographically over the network, enabling RESTful composition of mutually suspicious web services. We show how to apply the expressiveness of object programming to the expression of security patterns, solving security problems normally thought to be difficult with simple elegant programs.</div> <div><br></div> <div>Slides: <<a href="http://soft.vub.ac.be/events/mobicrant_talks/talk1_ocaps_js.pdf" target="_blank">http://soft.vub.ac.be/events/mobicrant_talks/talk1_ocaps_js.pdf</a>></div> <div>Video: <<a href="http://www.youtube.com/watch?v=w9hHHvhZ_HY" target="_blank">http://www.youtube.com/watch?v=w9hHHvhZ_HY</a>></div> <div><br></div> <div>Talk 2/2: Bringing Object-orientation to Security Programming</div> <div><br></div> <div>Just as we should not expect our base programming language to provide all the data types we need, so we should not expect our security foundation to provide all the abstractions we need to express security policy. The answer to both is the same: We need foundations that provide simple abstraction mechanisms, which we use to build an open ended set of abstractions, which we then use to express policy. We show how to use EcmaScript 5 to enforce the security latent in object-oriented abstraction mechanisms: encapsulation, message-passing, polymorphism, and interposition. With these secured, we show how to build abstractions for confinement, rights amplification, transitive wrapping and revocation, and smart contracts.</div> <div><br></div> <div>Slides: <<a href="http://soft.vub.ac.be/events/mobicrant_talks/talk2_OO_security.pdf" target="_blank">http://soft.vub.ac.be/events/mobicrant_talks/talk2_OO_security.pdf</a>></div> <div>Video: <<a href="http://www.youtube.com/watch?v=oBqeDYETXME" target="_blank">http://www.youtube.com/watch?v=oBqeDYETXME</a>></div> <span class="HOEnZb"> </span> </div> <span class="HOEnZb"> <p></p> -- <br> You received this message because you are subscribed to the Google Groups "AGERE! at SPLASH" group.<br> To post to this group, send email to <a href="mailto:agere-at-splash <at> googlegroups.com" target="_blank">agere-at-splash@...</a>.<br> To unsubscribe from this group, send email to <a href="mailto:agere-at-splash%2Bunsubscribe@..." target="_blank">agere-at-splash+unsubscribe@...</a>.<br> For more options, visit this group at <a href="http://groups.google.com/group/agere-at-splash?hl=en" target="_blank">http://groups.google.com/group/agere-at-splash?hl=en</a>.<br></span> </div> <br> </div> </div> </div>
RSS Feed