Past Events Archive
To read details of past events select event from the list below
2009-02-16 Matthew Lang lecture
Department of Computer Science and Engineering
Ohio State University
Monday, February 16, 2009
OLB classroom 105, 4pm
Maximal Software
Maximality is a property of software; just as we call software “correct,” “fast,” or “elegant,” we can call software “maximal.” Typically, when we design and reason about software, we are concerned with whether or not the software is correct–that it only does what is permitted by its specification. Maximality is a stronger property than correctness; maximal software is not only correct, but is capable of doing everything permitted by its specification. That is, maximal programs do not restrict the non-determinisim that their specifications provide. Though this property sounds exotic, it's something that–in many cases–we intuitively desire of our software. In this talk, we'll formalize this intuitive desire by defining maximality, discuss some areas where requiring maximality is especially important, and examine (as well as try to build) some examples of maximal software. We will also look at some challenges that we face when designing maximal software and the theoretical results that these challenges stem from. Particularly, we'll see that there are specifications for which no maximal implementation exists and that maximality is not compositional (we can't guarantee that a large system is maximal just by showing that it's built from maximal components). We will also discuss some open questions and exciting research opportunities surrounding reasoning about maximality properties.
2009-01-23 New CS Account - Required Lecture & Lab
If you do not already have an account on the Computer Science Department lab machines and you will need one for your course work this semester then you must attend one of the New Account Lecture and Lab sessions. 1) If you are enrolled in CS101 or CS102 your instructor will tell you what time your session will be. If you are not in CS101 or CS102 or you add one of these after the first week of classes than you must ask your instructor to let me know so I can add your account, you must contact me and sign up for a session and of course you must attend one of these sessions before you will have access to our system. Please ask your instructor to send me your information so I can get your account set up. With the exception of CS101 and CS102, I need note from a CS instructor to add an account and I need a note from you so we can sign you up for one of the sessions.
There will be at 4 sessions on Friday January 23 but space is limited. If you are not in cs101 or cs102 you must contact me before the session so I can set up your account and we can be sure there will be a seat for you. The sessions lasts 90 minutes. There is a session starting at 10:30am, a session at Noon, a session at 1:30pm and a session at 3:10pm.
If you have any questions, ask your course instructor or write me.
-Greg
— Greg Priest-Dorman 2009/01/07 15:24
2008-12-09 Have a Hopper Holiday!
Grace Murray Hopper '28, the First Lady of Computing, 1906-1992, will be celebrated on her birthday, Tuesday, December 9, in the Computer Science Student Lounge, room 111. Refreshments will be available starting at 8:30am.
For more information on Grace Murray Hopper and her ties to Vassar College, go to: http://www.cs.vassar.edu/history/top
2008-11-13 Asprey Lecture
The Winifred Asprey Lecture Series in Computer Science
Sponsored by the Department of Computer Science in honor of Winifred Asprey'38 Emeritus Professor of Computer Science
Dr. James Coplien
Software Patterns, Agile Software Development, and Extreme Programming
Thursday, November 13, 6:00 PM
Kenyon 132
Vassar College
Poughkeepsie, NY
Jim (“Cope”) Coplien is the father of Organizational Patterns, and is one of the founders of the Software Pattern discipline, a pioneer in practical object- oriented design in the early 1990s. He is a widely consulted authority, author, and trainer in the areas of software design and organizational improvements.
As one of the founders and proponents of Agile software development, one of Cope's passions is to root out dysfunction in widely but naively adopted software practices such as TDD and On-Site Customer that look good on the surface but which do harm in practice. He also is actively leading the work in Agile Architecture, in conjunction with CampScrum and the Scrum community. Most recently he has been working with Trygve Reenskaug to take the DCI architecture forward. He sits on the editorial board of the LNCS Pattern Journal.
He is also a researcher with affiliations to University of Manchester, and is a past holder of the Vloebergh Endowed Chair at Vrije Universiteit Brussel. He has also held affiliations with Flinders University in Adelaide, Australia, and is a past professor at North Central College in Naperville, Illinois. His current research lies in the areas of design theory based on broken symmetries in design structures, and in “entropic patterns” of product portfolio management.
Computer Science Department will host a tea, Friday, November 14, 9am for Prof. Coplien, in the CS Dept. Lounge. Students and faculty can meet informally with Prof. Coplien at this time.
Upcoming Event Details
For information on Current and Upcoming Events, please select our Upcoming Events Page.