From amal at tti-c.org Wed Oct 4 11:02:36 2006 From: amal at tti-c.org (Amal Ahmed) Date: Wed Oct 4 05:07:26 2006 Subject: [Hyper] reminder: noon today Message-ID: <1159977756.19462@whale.he.net> Just a reminder that the first Hyper meeting will be at noon today in Ry255. We'll start with a tutorial on substructural type systems. -Amal From fluet at tti-c.org Mon Oct 9 22:53:05 2006 From: fluet at tti-c.org (Matthew Fluet) Date: Mon Oct 9 16:57:39 2006 Subject: [Hyper] Substructural State Message-ID: <1160452385.19997@whale.he.net> Hi all, A quick reminder that this Wednesday, I'll be talking about 'Substructural State'. I encourage everyone to read through our ICFP'05 paper, at least through Section 4.2. Rather than dive into all the complexity of the step-indexed model, on Wednesday, I'll be sketching how a syntactic approach to type soundness works for the substructural type system. 10/11: Substructural State Read: "A Step-Indexed Model of Substructural State" Ahmed, Fluet, Morrisett, in ICFP'05 http://www.eecs.harvard.edu/~amal/papers/substruct.pdf -Matthew From amal at tti-c.org Mon Oct 16 17:53:16 2006 From: amal at tti-c.org (Amal Ahmed) Date: Mon Oct 16 11:57:20 2006 Subject: [Hyper] Clean: Uniqueness Typing Message-ID: <1161039196.12686@whale.he.net> Hi all, This Wednesday we'll discuss a recent paper by the developers of Clean: Uniqueness Typing Redefined, Edsko de Vries, Rinus Plasmeijer, David Abrahamson, IFL 2006 ttic.uchicago.edu/~fluet/hyper/uniqueness.pdf We plan to have more of a discussion this time rather than a tutorial, so please (read! and) bring along a copy of the paper. Next week, we'll take a look at a paper on Sing#, which is used to implement the Singularity OS: 10/25: "Language Support for Fast and Reliable Message-based Communication in Singularity OS" F?hndrich et al. in EuroSys 2006 http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177- fahndrich.pdf -Amal From amal at tti-c.org Sun Oct 22 16:35:03 2006 From: amal at tti-c.org (Amal Ahmed) Date: Sun Oct 22 10:38:48 2006 Subject: [Hyper] this week: Sing# Message-ID: <1161552903.27002@whale.he.net> A quick reminder that this week we'll look at: Language Support for Fast and Reliable Message-based Communication in Singularity OS. F?hndrich et al. in EuroSys 2006. http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177-fahndrich.pdf To orient the discussion, it would be useful if everyone could think of a couple of technical questions that they'd like to have answered. Also, we'll need to pick a topic for the next 4 weeks of Hyper. We had several themes on the board at the beginning of the quarter. Whoever copied down that list, could you please send it out. Thanks! -Amal From wchae at tti-c.org Mon Oct 23 09:46:50 2006 From: wchae at tti-c.org (Wonseok Chae) Date: Mon Oct 23 03:50:44 2006 Subject: [Hyper] this week: Sing# In-Reply-To: <1161552903.27002@whale.he.net> Message-ID: <000001c6f6b2$14acd340$d4bf8780@TTIC12> Amal and all, I happen to have the list on the whiteboard: - Control flow analysis (CFA) such as Gamma-CFA - Generalized algebraic data types (GADTs) - Software transactional memory (STM) - Elaborated semantics (aka Harper-Stone semantics) - Twelf, Coq, and their friends - C++ templates versus Java generics - Dependent types See you on Wednesday, Wonseok ___________________________ Hyper - http://hyperpl.cs.uchicago.edu/ PL-Lunch - http://ttic.uchicago.edu/~pl/ -----Original Message----- From: hyper-bounces@nagoya.uchicago.edu [mailto:hyper-bounces@nagoya.uchicago.edu] On Behalf Of Amal Ahmed Sent: Sunday, October 22, 2006 3:35 PM To: hyper@nagoya.uchicago.edu Subject: [Hyper] this week: Sing# A quick reminder that this week we'll look at: Language Support for Fast and Reliable Message-based Communication in Singularity OS. F?hndrich et al. in EuroSys 2006. http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177-fahndric h.pdf To orient the discussion, it would be useful if everyone could think of a couple of technical questions that they'd like to have answered. Also, we'll need to pick a topic for the next 4 weeks of Hyper. We had several themes on the board at the beginning of the quarter. Whoever copied down that list, could you please send it out. Thanks! -Amal _______________________________________________ Hyper mailing list Hyper@ttic.uchicago.edu http://ttic.uchicago.edu/mailman/listinfo/hyper From jacobm at cs.uchicago.edu Wed Oct 25 16:23:28 2006 From: jacobm at cs.uchicago.edu (Jacob Matthews) Date: Wed Oct 25 10:27:06 2006 Subject: [Hyper] Proposed schedule for the next four weeks Message-ID: As per our discussion in the reading group today, here's a proposed schedule for the next four weeks on the theme of Shivers' and Might's new adventures in CFA. Week 1 (Nov. 1): Shivers, "Higher-order control-flow analysis in retrospect: Lessons learned, lessons abandoned." http://portal.acm.org/citation.cfm?id=989393.989421 (This is the recent PLDI retrospective version of Shivers' "Control- Flow Analysis in Scheme" (PLDI'88). It's a reprint of the original paper that introduces CFA, preceded by a two-page retrospective that appears to set the stage for the papers that Shivers and Might have been writing recently.) Week 2 (Nov. 8): Might and Shivers, "Environmental Analysis via $\Delta$CFA." POPL'06. http://matt.might.net/archive/might2006dcfa.pdf Week 3 (Nov. 15): Might and Shivers, "Improving Flow Analyses via $\Gamma$CFA: Abstract Garbage Collection and Counting." ICFP'06. http://matt.might.net/archive/might2006gcfa.pdf Week 4 (Nov. 22): Might and Shivers, "Logic-Flow Analysis of Higher-Order Programs." POPL'07. [Not yet available online, but it ought to be by the time we get to it.] -jacob From dreyer at tti-c.org Wed Oct 25 17:53:33 2006 From: dreyer at tti-c.org (Derek Dreyer) Date: Wed Oct 25 11:57:05 2006 Subject: [Hyper] Proposed schedule for the next four weeks In-Reply-To: References: Message-ID: <7fa251b70610251553y2915662du3a3d3b263c270319@mail.gmail.com> I am happy to read some of these papers, but I do not want to read 3 to 4 weeks of papers by the same authors elaborating on one topic. I'm fine with the first two papers, and once we're done with those, we can decide if we want to read more. (Also, note that Nov. 22 is the day before Thanksgiving, and I for one will not be in town.) Derek On 10/25/06, Jacob Matthews wrote: > As per our discussion in the reading group today, here's a proposed > schedule for the next four weeks on the theme of Shivers' and Might's > new adventures in CFA. > > Week 1 (Nov. 1): > Shivers, "Higher-order control-flow analysis in retrospect: Lessons > learned, lessons abandoned." > http://portal.acm.org/citation.cfm?id=989393.989421 > > (This is the recent PLDI retrospective version of Shivers' "Control- > Flow Analysis in Scheme" (PLDI'88). It's a reprint of the original > paper that introduces CFA, preceded by a two-page retrospective that > appears to set the stage for the papers that Shivers and Might have > been writing recently.) > > Week 2 (Nov. 8): > Might and Shivers, "Environmental Analysis via $\Delta$CFA." POPL'06. > http://matt.might.net/archive/might2006dcfa.pdf > > Week 3 (Nov. 15): > Might and Shivers, "Improving Flow Analyses via $\Gamma$CFA: Abstract > Garbage Collection and Counting." ICFP'06. > http://matt.might.net/archive/might2006gcfa.pdf > > Week 4 (Nov. 22): > Might and Shivers, "Logic-Flow Analysis of Higher-Order Programs." > POPL'07. > [Not yet available online, but it ought to be by the time we get to it.] > > -jacob > _______________________________________________ > Hyper mailing list > Hyper@ttic.uchicago.edu > http://ttic.uchicago.edu/mailman/listinfo/hyper > From dreyer at tti-c.org Mon Oct 30 18:52:10 2006 From: dreyer at tti-c.org (Derek Dreyer) Date: Mon Oct 30 12:55:25 2006 Subject: [Hyper] Reminder: We're reading [Shivers88] Message-ID: <7fa251b70610301652h4364fd81p42ad81b2940b7e2c@mail.gmail.com> Just a reminder that this week we're reading Shivers' PLDI'88 paper on control-flow analysis: > > Shivers, "Higher-order control-flow analysis in retrospect: Lessons > > learned, lessons abandoned." > > http://portal.acm.org/citation.cfm?id=989393.989421 Derek