Hi, I'm RSVPing to the June 25th Boston Lisp Meeting. I don't have any strong food taboos.
-Spencer
Francois-Rene Rideau wrote:
As you may or may not know, ITA is sponsoring a monthly Lisp Meeting. Next one will be at NEU (not MIT like the previous ones).
Can people interested or available for carpooling contact me personally by email? Thanks!
Below is the official announcement. http://fare.livejournal.com/126150.html
NB: while Shriram Krisnamurthi will be speaking the very same day at the ITA Lucky Hacker talk, he will be speaking on a different topic at the Lisp Meeting.
--#f Put your hand on a hot stove for a minute, and it seems like an hour. Sit with a pretty girl for an hour, and it seems like a minute. THAT'S relativity. -- Albert Einstein
Next Boston Lisp Meeting: Wednesday June 25th 2008, 6pm at NEU Shillman Hall Room 135
Note: ITA Software, a fine employer of Lisp hackers (disclosure: I work there), is kindly purchasing a buffet to accompany our Monthly Boston Lisp Meeting. Anyone who attends is welcome to partake. We appreciate it if you let us know you're coming, and what food taboos you have, so that we can order the right amount of food. Tell us by sending email to boston-lisp-meeting-register at common-lisp.net. We won't send any acknowledgment unless requested; importantly, we'll keep your identity and address confidential and won't communicate any such information to anyone, not even to our sponsors.
Danny Yoo will give a 25' talk about DivaScheme.
DivaScheme http://www.cs.brown.edu/research/plt/software/divascheme/ is a semi-structured text editor layer on top of the DrScheme IDE. It provides structured editing operations that provide additional support for the navigation and maintenance of Scheme source code. DivaScheme's operations act on whole s-expressions rather than characters: unbalanced parentheses are impossible within the confines of DivaScheme. It also manages whitespace cleanup and indentation for the user. Finally, its keybindings are single keystrokes rather than chords to reduce hand strain.
Danny Yoo http://hkn.eecs.berkeley.edu/~dyoo/ received his bachelor's from UC Berkeley in 2001, and worked for the Arabidopsis Information Resource (http://arabidopsis.org) at the Carnegie Institution of Washington from 2001-2006. He is currently a CS graduate student at Worcester Polytechnic Institute. His web site is: http://hashcollision.org/.
Shriram Krishnamurthi will give a 50' talk about Relationally-Parametric Polymorphic Contracts
http://www.cs.brown.edu/~sk/Publications/Papers/Published/gmfk-rel-par-poly-...
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prior work on contracts is parametricity, as represented by the polymorphic types in languages like Standard ML.
We present a contract counterpart to parametricity. We explore multiple designs for such a system and present one that is simple and incurs minimal execution overhead. We show how to extend the notion of contract blame to our definition. We present a form of inference that can often save programmers from having to explicitly instantiate many parametric contracts. Finally, we present several examples that illustrate how this system mimics the feel and properties of parametric polymorphism in typed languages.
Shriram Krishnamurthi http://www.cs.brown.edu/~sk/ is an Associate Professor of Computer Science at Brown University. His recent work focuses on language support for interactive software, and on analyses for security policies. He is a co-author of the DrScheme programming environment, the FASTLINK genetic linkage analysis package, the Continue conference paper server, the Margrave access control policy analysis package, the Flapjax programming language, and the book "How to Design Programs". He has also written "Programming Languages: Application and Interpretation" and coordinates the decade-old TeachScheme! high-school computer science outreach program.
Please note that the meeting is taking places both at an unusual day (as has been usual) and at an unusual place (as is unusual).
The Lisp Meeting with take place on Wednesday June 25th at Northeastern University, Shillman Hall Room 135.
NEU map: http://www.northeastern.edu/campusmap/
See building 30 on the above html map, but note that the numbers are only relative to the map: if you have to ask for directions, ask for Shillman Hall. For directions and parking suggestions, see also below.
Google Map: http://maps.google.com/maps/ms?ie=UTF8&hl=en&msa=0&ll=42.338086,...
Many thanks go to Richard Cobbe for booking us a room, and to Northeastern University for welcoming us.
The previous Boston Lisp Meeting on May 28th was a success despite only 34 participants. Those who didn't come missed two very interesting talks. I welcome email suggestions for things that will make you come: maybe shorter sessions with only one speaker? In any case, many thanks to all those who came.
We're always looking for more speakers. The call for speakers and all the other details are at http://fare.livejournal.com/120393.html
Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times.
For more information, see our new web site boston-lisp.org. For posts related to the Boston Lisp meetings in general, follow this link: http://fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting