[PRL] Several interestings talks at MIT
Mitchell Wand
wand at ccs.neu.edu
Wed Oct 31 10:09:07 EDT 2007
I don't know this guy from New Zealand, but his abstracts sound
interesting. --Mitch
---------- Forwarded message ----------
From: <seminars-request at lists.csail.mit.edu>
Date: Oct 31, 2007 10:00 AM
Subject: [temp] Seminars Digest, Vol 58, Issue 36
To: seminars at lists.csail.mit.edu
Send Seminars mailing list submissions to
seminars at lists.csail.mit.edu
To subscribe or unsubscribe via the World Wide Web, visit
https://lists.csail.mit.edu/mailman/listinfo/seminars
or, via email, send a message with subject or body 'help' to
seminars-request at lists.csail.mit.edu
You can reach the person managing the list at
seminars-owner at lists.csail.mit.edu
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Seminars digest..."
Today's Topics:
1. TALK:Thursday 11-1-07 Introducing Software Modelling with
Alloy (CSAIL Event Calendar)
2. TALK:Thursday 11-1-07 Roles and Relationships in OOP
(CSAIL Event Calendar)
3. TALK:Friday 11-2-07 Scopes, Pluggable Types, and Aspects for
Real-Time Java (CSAIL Event Calendar)
4. TALK:Wednesday 10-31-07 Single Photon Mars Communicator -
Lincoln Lab Seminar Series (Csail Event Calendar)
---------- Forwarded message ----------
From: CSAIL Event Calendar <eventcalendar at csail.mit.edu>
To: seminars at csail.mit.edu
Date: Tue, 30 Oct 2007 14:28:29 -0400
Subject: TALK:Thursday 11-1-07 Introducing Software Modelling with Alloy
Introducing Software Modelling with Alloy
Speaker: James Noble
Speaker Affiliation: Victoria University of Wellington, NZ
Host: Daniel Jackson
Host Affiliation: MIT CSAIL
Date: 11-1-2007
Time: 11:00 AM - 12:00 PM
Location: 32-G825
Engineering degree programmes require courses in "foundational science" but
many traditional foundations --- calculus; chemistry; quantum physics ---
are not generally relevant to Software Engineering. To address this
requirement, we developed a new first-year course --- Introduction to
Software Modeling --- that introduces the principles and practices of
Software Engineering, beginning with Domain Analysis, finding classes and
use cases, and finishing with building models in Alloy. In this short talk,
I'll cover the rationale for the course; outline the course structure; and
describe our experience with teaching Alloy to fifty first-year engineering
students with minimal backgrounds in programming or logic.
Relevant URL(S):
http://www.mcs.vuw.ac.nz/~kjx/<http://www.mcs.vuw.ac.nz/%7Ekjx/>
For more information please contact: Derek Rayside, 617-852-9980,
drayside at csail.mit.edu
---------- Forwarded message ----------
From: CSAIL Event Calendar <eventcalendar at csail.mit.edu>
To: seminars at csail.mit.edu
Date: Tue, 30 Oct 2007 14:31:10 -0400
Subject: TALK:Thursday 11-1-07 Roles and Relationships in OOP
Roles and Relationships in OOP
Speaker: James Noble
Speaker Affiliation: Victoria University of Wellington, NZ
Host: Daniel Jackson
Host Affiliation: MIT CSAIL
Date: 11-1-2007
Time: 4:00 PM - 5:00 PM
Location: 32-G631
Relationships are well-known as a weak point in object-oriented modeling. In
a UML diagram, a relationship or association can be drawn as a line
connected two (or more) classes --- but implementing these relationships in
OO programing languages s is rather more difficult. In this talk, I'll give
a survey of approaches to designing relationships (including C# 3.0s LINQ),
suggest a set of goals for relationship support, and present some potential
directions for future work. (A version of this talk was an invited keynote
at the ECOOP 2007 Workshop on Roles and Relationships in Object-Oriented
Programming)
Relevant URL(S):
http://www.mcs.vuw.ac.nz/~kjx/<http://www.mcs.vuw.ac.nz/%7Ekjx/>
For more information please contact: Derek Rayside, 617-852-9980,
drayside at csail.mit.edu
---------- Forwarded message ----------
From: CSAIL Event Calendar <eventcalendar at csail.mit.edu>
To: seminars at csail.mit.edu
Date: Tue, 30 Oct 2007 14:34:31 -0400
Subject: TALK:Friday 11-2-07 Scopes, Pluggable Types, and Aspects for
Real-Time Java
Scopes, Pluggable Types, and Aspects for Real-Time Java
Speaker: James Noble
Speaker Affiliation: Victoria University of Wellington, NZ
Host: Daniel Jackson
Host Affiliation: MIT CSAIL
Date: 11-2-2007
Time: 10:30 AM - 12:00 PM
Location: 32-G725
Real-time systems are notoriously difficult to design and implement, as
their solutions must be reliable, efficient and correct. Even in languages
like the Real-Time Specification for Java, the compromises required for
real-time execution, especially concerning memory allocation, can create as
many problems as they solve. This talk will describe the design and
implementation of a new programing model for real-time Java systems. Scoped
Types give programmers a clear model of their programs' memory use, and
prevent run-time memory errors. We checked Scoped Types using JavaCOP, our
program constraint system providing practical user-defined type systems for
Java via an expressive, declarative rule language. We implemented Scoped
Types using Aspects, so that Real-Time concerns are completely separated
from applications' base code. We consider that Scoped Types and Aspects can
significantly improve both quality and performance of a real-time Java
system. Furthermore, we think that the combination of pluggable types and
aspects shows potential to support research and development in programming
languages and systems. (This is joint work with researchers from Purdue,
UCLA, the University of Victoria, the University of Wisconsin, Milwaukee,
and Victoria University of Wellington, New Zealand. This talk is an expanded
version of a talk presented by Jan Vitek at ECOOP 2006).
Relevant URL(S):
http://www.mcs.vuw.ac.nz/~kjx/<http://www.mcs.vuw.ac.nz/%7Ekjx/>
For more information please contact: Derek Rayside, 617-852-9980,
drayside at csail.mit.edu
---------- Forwarded message ----------
From: Csail Event Calendar <eventcalendar at csail.mit.edu>
To: seminars at csail.mit.edu
Date: Wed, 31 Oct 2007 01:01:01 -0400
Subject: TALK:Wednesday 10-31-07 Single Photon Mars Communicator - Lincoln
Lab Seminar Series
Single-Photon Mars Communicator
Speaker: Lawrence M. Candell
Speaker Affiliation: MIT Lincoln Lab Advanced Space Systems and Concepts
Group
Host: Howard Shrobe
Host Affiliation: MIT CSAIL
Date: 10-31-2007
Time: 3:00 PM - 4:00 PM
Location: Herman Haus Room 36-428
Abstract: NASA anticipates a significant demand for long-haul communications
service from deep space to Earth in the near future. To address this need, a
substantial amount of work has gone into developing a free-space laser
communications system that can be operated at data rates that are 10–1000
times more capable than current RF systems. In this talk I will review the
challenges of deep-space optical communications and describe the Mars Laser
Communications Demonstration program, with a focus on the ground receiver
architecture. The ground receiver uses photon counting communications
techniques made possible by Geiger-mode avalanche photodiode (GM-APD)
detectors. I will describe the GM-APD focal plane array being developed for
a distributed photon-counting communications ground receiver.
Relevant URL(S): http://people.csail.mit.edu/hes/Poster_Candell.pdf
For more information please contact: Howard Shrobe, 617 253-7877,
hes at csail.mit.edu
_______________________________________________
Seminars mailing list
Seminars at lists.csail.mit.edu
https://lists.csail.mit.edu/mailman/listinfo/seminars
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the PRL
mailing list