[PRL] Fwd: [eventcalendar@csail.mit.edu: TALK:Friday 10-20-06 Minimizing Understanding in the Construction and M]

[Matthias Felleisen]

FYI.

Begin forwarded message:

> From: Martin Rinard <rinard at cag.csail.mit.edu>
> Date: October 18, 2006 12:21:51 PM EDT
> To: greg at eecs.harvard.edu, matthias at ccs.neu.edu
> Subject: [eventcalendar at csail.mit.edu: TALK:Friday 10-20-06  
> Minimizing Understanding in the Construction and M]
>
>
>   Hi guys. FYI, and if you could distribute this announcement to  
> interested
> parties that would be great!
>
>   Thanks,
>     Martin
>
> ------- Start of forwarded message -------
> X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on  
> k2.csail.mit.edu
> X-Spam-Level:
> X-Spam-Status: No, score=-4.4 required=4.0 tests=ALL_TRUSTED,BAYES_00,
> 	USER_IN_BLACKLIST,USER_IN_WHITELIST autolearn=unavailable
> 	version=3.1.0
> To: seminars at csail.mit.edu
> From: CSAIL Event Calendar <eventcalendar at csail.mit.edu>
> Date: Mon, 16 Oct 2006 12:05:27 -0400
> Subject: TALK:Friday 10-20-06 Minimizing Understanding in the  
> Construction
> 	and M
> Sender: seminars-bounces at lists.csail.mit.edu
> X-Scan-Signature: f32cf53d68b578dda394f76c8a1c260f
>
>
> Minimizing Understanding in the Construction and Maintenance of  
> Software Systems
> Speaker: Professor Martin C. Rinard
> Speaker Affiliation: MIT-CSAIL
> Host: Martin Rinard
> Host Affiliation: MIT-CSAIL
>
> Date: 10-20-2006
> Time: 2:00 PM - 3:30 PM
> Refreshments: 1:45 PM
> Location: 32-G449 Patil/Kiva Conference Room
>
> Traditional approaches to building software systems have emphasized  
> the key role of understanding—the developer understands the  
> problemto be solved, understands the solution, then, working with  
> understood tools in an understood environment, implements and  
> maintains the solution in light of all  of these understandings.  
> But understanding is a difficult and perilous business—it can  
> require substantial time and effort to obtain, and in some cases  
> may be inherently beyond the capabilities of the developers  
> building or maintaining thesystem. This situation leads to the  
> question: How much understanding must we have to deliver acceptable  
> software systems? Or perhaps more to the point: How much  
> understanding can we aspire to and still deliver acceptable systems?
>
> Viewed from this perspective, it becomes clear that many advances  
> are valuable precisely because they reduce the amount of  
> understanding required for developers to operate effectively. In  
> this talk I will explore the reasons why past advances have made  
> developers more effective. I will also discuss new techniques that  
> promise to increase our productivity and extend our collective  
> reach by reducing our need to understand the systems we build and  
> maintain.
>
> Biography: Martin Rinard is a Professor in the MIT Department of  
> Electrical Engineering and Computer Science and a member of the MIT  
> Computer Science and Artificial Intelligence Laboratory. His  
> research interests have included parallel and distributed  
> computing, programming languages, program analysis, program  
> verification, and software engineering.  Much of his current  
> research focuses on techniques that enable software systems to  
> execute successfully in spite of the presence of errors. Results in  
> this area include acceptability-oriented computing (a framework for  
> ensuring that software systems satisfy basic acceptability  
> properties), failure-oblivious computing (a technique for enabling  
> programs to execute successfully through otherwise fatal memory  
> addressing errors), and a technique for providing probabilistic  
> bounds on the accuracy of program outputs in the presence of failures.
>
> Relevant URL(S):
> For more information please contact: Mary McDavitt, 617-253-9620,  
> mmcdavit at csail.mit.edu
>
> _______________________________________________
> Seminars mailing list
> Seminars at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/seminars
> ------- End of forwarded message -------