Main Page

From Softwarechat
Jump to: navigation, search

Software chat is an informal weekly meeting among students and faculty in programming languages, software engineering, and other related areas. The goals are to promote interaction among people in these areas and to provide a forum for discussing new ideas and presenting results from current research. Typically, each week one person presents a recent paper on a topic of interest and leads the discussion. To get a flavor for the kinds of topics we cover, take a look at our schedule (below).

Everyone is welcome to attend, no matter what their background is. If you're interesting in coming to software chat, you should also subscribe to our mailing list.

If you're interested in programming languages, you might also want to visit the Programming Languages Research web page at Maryland.

In Spring 2008, we are meeting Mondays, 11am, 3450 AVW.

Spring 2008 Schedule

Mondays, 11am, 4185 AVW, unless otherwise noted

  • February 8 - Liquid types
  • March 3 - (3258 AVW)

Fall 2007 Schedule

Mondays, 11am, 3258 AVW, unless otherwise noted

  • September 3 - No meeting, Labor Day
  • September 10 - Planning meeting
  • September 24 - Bill Pugh, JSR 305
  • September 27 - (Thursday, 2pm, 3258 AVW) Scott Baden, UCSD
  • October 1 - (4pm, 1115 CSIC) Mike Hicks
  • October 8 - Martin Ma, Inferring Aliasing and Encapsulation Properties for Java
  • October 15 - Rance Cleaveland, Validating Automotive Control Software Using Instrumentation-Based Verification
  • October 29 - Il-Chil Yoon
  • November 5 - Nat Ayewah, Unit Testing Concurrent Software
  • November 12 - Nat Ayewah: Ruthruff et. al. Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach, Submitted to ICSE 2008
  • November 19
  • November 30 - Mid-Atlantic Programming Languages Seminar
  • December 3
  • December 10
  • January 18, 2008 - Maryland Software Day

Spring 2007 Schedule

Mondays, 11am, 1122 CSIC, unless otherwise noted

  • January 29 - Todd Millstein, Enforcing and Validating Programmer-Defined Type System Extensions
  • January 31 - Victor Kuncak, Automated Reasoning for Data Structure Verification
  • Feburary 12 - Planning meeting
  • February 19 - Nat Ayewah, API Discovery using Prospector
  • March 6 - (3258 AVW) Marco Pistoia, IBM, Static Analysis for Role-Based Access Control Policy Validation
  • March 12 - Gary Jackson
  • March 19 - Spring break
  • March 27 - Radu Rugina
  • April 9 - Alex Tzannes
  • April 16 - Mike Furr
  • April 23 - Bill Pugh, Programming Puzzlers
  • April 30 - Mike Hicks
  • May 7 - Fabian Bustamante, 3R: Ensuring Sustainable Scalability for Globally Distributed Systems

Fall 2006 Schedule

Mondays, 11am, 3120 CSIC, unless otherwise noted

Spring 2006 Schedule

Mondays, 11am, 3118 CSIC, unless otherwise noted

Spring 2006 SE/PL/HCI Courses

Fall 2005 Schedule

Fridays, 1pm, 3120 CSIC, unless otherwise noted

Spring 2005 Schedule

Mondays, 11am, 3120 CSIC, unless otherwise noted

and Polyvios Pratikakis, Existential Label Flow via CFL Reachability

Fall 2004 Schedule

Mondays, 11am, 3118 CSIC, unless otherwise noted

Summer 2004 Schedule

Mondays, 11am, 3118 CSIC, unless otherwise noted