Software Chat
Discussions about Software at UMCP
This page has moved
Starting in Fall 2007, information about software chat will reside on the
Software Chat Wiki.
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 langugauges, you might also want
to visit the
Programming Languages
Research web page at Maryland.
In Fall 2007, we are meeting Mondays, 11am, 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-Chul Yoon
- November 5 - Nat Ayewah, The MultithreadedTC Test Framework
- November 12 - Nat Ayewah, Predicting Accurate and
Actionable Static Analysis Warnings
- November 19
- November 30 - MAPLS
- 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
- February 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 26 - (none)
- 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
- September 11 - Nik Swamy, Synthesizing Verified Implementations of Web Services Security
- September 18 - Mike Furr, Validating Reference Counting Operations
- September 25 - Iulian Neamtiu, Systematic Testing of Concurrent Programs Using CheSS
- October 2 - Polyvios Pratikakis, Verifying Array Bounds Check Elimination in Bartok
- October 9 - Sandro Fouche, Adaptive Sampling for Classification of Software Executions
- October 23 - Saurabh Srivastava, Defining and Enforcing C's Module System
- October 30 - Bill Pugh
- November 6 - Xun Yuan, Using GUI
Run-Time State as Feedback to Generate Test Cases
- November 20 - Jaymie Strecker, Affinities Between Test Suites and Faults
- November 27 - Nir Peer, Simplifying
and Isolating
Failure-Inducing Input
- December 4
- December 11 - Maria Jump, Cork:
Dynamic Memory Leak Detection for Garbage-Collected Languages
Spring 2006 Schedule
Mondays, 11am, 3118 CSIC, unless otherwise noted
Spring 2006 SE/PL/HCI Courses
- January 30 - Planning meeting
- February 20 - Jaime Spacco, Marmoset: An Automated Snapshot, Submission and
Testing System
- March 13 - Mike Furr, Polymorphic
Type Inference for the JNI
- March 20 - Spring break
- March 27 - Nir Peer, PADS: A
Domain-Specific Language for Processing Ad Hoc Data
- April 3 - Lorin Hochstein, Parallel
Programmer Productivity: A Case Study of Novice Parallel Programmers
- April 4 - (Tuesday, 12:45pm, 3120 CSIC) Thomas Reps, WYSINWYX: What You See Is Not What You eXecute
- April 7 - (Friday, 2pm, 3120 CSIC) Ben Liblit,Three Views of Cooperative Bug Isolation
- April 10 - Qing Xie, Designing and Comparing Automated Test
Oracles for GUI-based Software Applications
- April 17 - Peter Lee, Distinguished Lecture, Thoughts on
Computer Science Education
- April 24 - Polyvios Pratikakis, An
Overview of the Singularity Project
- April 28 - (Friday, 11am, 3118 CSIC) Jaymie
Strecker, Employing User Profiles for Regression Testing of GUIs
- May 8 - Iulian Neamtiu, Practical Dynamic Software Updating for C
- May 24 - Emery Berger, DieHard:
Probabilistic Memory Safety for Unsafe Languages
Fall 2005 Schedule
Fridays, 1pm, 3120 CSIC, unless otherwise noted
- September 2 - Jaime Spacco, Evaluating and Tuning a Static Analysis to Find
Null Pointer Bugs
- September 9 - Jeff Foster, A Brief Ruby Tutorial
- September 16 - Jaymie Strecker, DART: Directed Automated Random Testing
- September 21 - (Wednesday, 4pm, 1115 CSIC) Alex Aiken, Distinguished
Colloquium, Cooperative Bug Isolation
- September 28 - (Wednesday, 1:30pm, 3120 CSIC) Ben Zorn, Execution Environments for Building Dependable Systems
- October 7 - Qing Xie, Rapid "Crash
Tashing" for Continuously Evolving GUI-Based Software Applications
- October 21 - Nik Swamy, Information flow inference for ML
- November 4 - Mike Furr, Polymorphic
Type Inference for the JNI
- November 11 - Chadd Williams, Lightweight Defect Localization for Java
- November 18 - (All day; 2118, then 2120 CSIC)
Mid-Atlantic
Programming Languages Seminar
- November 25 - Thanksgiving
Spring 2005 Schedule
Mondays, 11am, 3120 CSIC, unless otherwise noted
- January 31 - Planning meeting
- February 9 - (Wednesday, 11am, 3120 CSIC) Shaz
Qadeer, MSR, Debugging concurrent programs by context-bounded analysis
- February 14 - Dave Greenfieldboyce
- March 11 - (Friday, 11am, 1122 CSIC) Geoff Pike,
VMware, VMware's Virtual Machines for the x86 Architecture
- March 14 - Vibha Sazawal, Make
Better Design Decisions As You Code
- March 21 - Spring break
- March 28 - Jik-Soo Kim, Comparing the
Performance of High-Level Middleware Systems in Shared and Distributed
Memory Parallel Environments
- April 4 - Chadd Williams, Chianti:
A tool for change impact analysis of Java program
- April 11 - Mike Furr, Scalable
Error Detection using Boolean Satisfiability
- April 18 - No meeting; talk by Nick Feamster, 11am, 1122 CSIC
- April 25 - Jaymie Strecker, Scalable Statistical Bug Isolation
and Polyvios Pratikakis, Existential Label Flow via CFL Reachability
- May 2 - Matthew Arnold, IBM, Why
Software Optimization Matters and Some Thoughts on How to Improve It
- May 9 - Cemal Yilmaz, Main Effects Screening: A Distributed
Continuous Quality Assurance Process for Monitoring Performance
Degradation in Evolving Software Systems
Fall 2004 Schedule
Mondays, 11am, 3118 CSIC, unless otherwise noted
- September 13 - Planning meeting
- September 20 - Gareth Stoyle, Mutatis Mutandis: Safe and Predictable Dynamic
Software Updating
- September 27 - Tevfik Bultan, Tools for Automated Verification of Web Services
- October 4 - Jaime Spacco, How is
Everyone Doing? Automatic Project Feedback and Monitoring for
Programming Courses
- October 11 - Suresh Jagannathan, Permission Monitor: Cheating on Your Lock
Without Getting Caught
- October 18 - (4pm, CSIC Auditorium) Bob Harper,
Distinguished Colloquium, Self-Adjusting
Computation
- October 20 - (Wednesday, 11am, 3118 CSIC) Nick Rutar, A Comparison of Bug Finding Tools for Java
- October 25 - Cemal Yilmaz
- November 1 - Joe Shang-chieh Wu, Flexible Control of Data Transfers between
Parallel Programs
- November 22 - Chadd Williams, Where
the Bugs Are
- November 29 - Martin Swany, Network
Logistics for Distributed Computing
Summer 2004 Schedule
Mondays, 11am, 3118 CSIC, unless otherwise noted
- June 14 - (2118 CSIC) Sidney C. Bailin, Software Reuse as Ontology Negotiation.
- June 21 - Scheduling meeting
- July 16 - (Friday, 3118 CSIC, 11am) Dr. Riddle
- July 19 - (2118 CSIC, 11am) Dr. Jay Ramanathan
- July 22 - (Thursday, 3120 CSIC, 11am) PODC workshop papers
- July 26 - Chadd Williams, ICSE CVS-mining workshop report
- July 30 - (Friday, 2118 CSIC, 11am) Dr. Richard Turner
- August 2 - Qing Xie, Empirical Evaluation of the Fault-detection Effectiveness
of Smoke Regression Test Cases for GUI-based Software
- August 9 - Mike Furr, Checking Type Safety of Foreign Function Calls
- August 16 - Cyntrica Eaton, Improving Browsing Environment Accessibility Evaluations for Websites
Web Accessibility