For fall 2008, meetings are usually Tuesdays from 10:00am to 11:00am in 32-262 (the video conference room).
Please see the description of group meetings at the PAG logistics webpage.
You may also wish to see Michael Ernst's advice on giving a talk.
Schedule:
| Date | intoSpeaker | Subject |
|---|---|---|
| Nov 11 | David Harvison | Analysis of Different Caching Methods for jFuzz |
| Nov 25 | Mahmood | Type Inference for IGJ |
| THU @ 2:00 PM Dec 4 | Robert Rudd | Comparing Static and Dynamic Analyses of Points-to sets |
Potential future meeting topics:
| Date | Speaker | Subject |
|---|---|---|
| Sep 20 04 | Galen | Improving Program Steering Performance via Probabilistic Inference |
| Oct 04 04 | Amy | Static Dealock Detection for Java Libraries |
| Oct 13 04 | Stephen | Software Upgrades (Practice Talk SAVCBS) |
| Oct 18 04 | Jeff | Daikon Optimizations (Practice Talk FSE) |
| Nov 08 04 | Sandra | Alias Analysis |
| Nov 22 04 | Matthew | Javari (reference immutability) design |
| Dec 06 04 | Stephen | Binary Sandboxing (SFI) |
| Jan 10 05 | Carlos | Generating and selecting tests |
| Tue Jan 18 05 | Adam | Instantiating generic libraries |
| Jan 24 05 | Matthew | Javari (reference immutability) design |
| Jan 31 05 | Mike B. | Continuous Testing Performance Enhancements |
| Feb 14 05 | Adam | Migrating Java applications to generic libraries |
| Feb 28 05 | Shay | Using predicate fields in a highly flexible industrial control system |
| Mar 07 05 | Eric | From Trace to Chicory |
| Mar 28 05 | Stephen | ACL2 proof of binary sandboxing safety |
| Apr 11 05 | Philip | Dynamic Comparability Analysis for C |
| Tue Apr 19 05 | Brainstorming about testing | |
| Tue Apr 25 05 | Brainstorming coding problems | |
| Tue May 02 05 | Brainstorming solutions | |
| May 23 05 | Vineet | Demo of "Relo" code understanding tool |
| Sep 27 05 | Carlos | Online Creation of Object States for Testing |
| Oct 04 05 | David | Development in the real world |
| Oct 11 05 | Shay | Using predicate fields in a highly flexible industrial control system |
| Dec 06 05 | Patrick Lam | Practice job talk |
| Feb 14 06 | Carlos | CRS meeting: Feedback-directed Random Test Generation |
| Feb 28 06 | Viktor | CRS meeting: Modular Static Analysis with Sets and Relations |
| Mar 7 06 | Stephen | Improving Model Checking with Dynamic Points-to Sets |
| Mar 21 06 | Felix | CRS meeting: A Case Study in Modular Verification |
| Apr 4 06 | Tool and sysadmin tips and tricks | |
| Apr 11 06 | Stephen | PAG/PDOS: Quantitative Information-Flow Tracking for Real Systems |
| Thu Apr 20 06 | Jeff | Project management; in room 32-G631 |
| May 2 06 | Greg Little | CRS meeting |
| May 9 06 | Matt Papi | Custom type qualifiers through improved Java annotations |
| May 16 06 | Derek & Rob | CRS meeting (ICSE practice talk) |
| Oct 17 06 | Adam | Palulu: Generating legal test inputs for object-oriented programs |
| Nov 07 06 | Adam | Parameterizing Java Classes |
| Nov 14 06 | Jaime | Analyzing Reference Immutability in Practice |
| Nov 21 06 | Shay | Combined Static and Dynamic Purity Analysis |
| Dec 12 06 | Chen | Performance Enhancements for a Dynamic Invariant Detector |
| Dec 19 06 | Jeff | TBD |
| Feb 6 07 | Jeremy Nimmer | Software testing at Vanu, Inc. |
| Feb 16 07 | Sung | Prioritizing Warnings by Analyzing Software History |
| Feb 23 07 | Matt | Type qualifiers framework; NonNull and Interned checkers |
| Mar 6 07 4pm | Jeff Y. | Optimizing invariant detection for constants and enums |
| Mar 9 07 | Yoav | Object and reference immutability using Java generics |
| Mar 23 07 | Dave | Test factoring to create readable tests |
| Mar 30 07 | (during spring break) | |
| Apr 6 07 | Sung & Yoav | Application Communities work |
| Apr 13 07 | Adam | Optimizing model checking via type inference |
| Apr 20 07 | Jaime | Type inference for Javari, and Javari case studies |
| Apr 27 07 | ||
| May 4 07 | David Saff | Intelligent developer communication with intelligent testing tools |
| May 11 07 | Sung | Predicting Faults from Cached History |
| May 18 07 | Carlos | Feedback-directed Random Test Generation |
| Tue Jun 05 07 | Stephen | Information-flow proof technique (PLAS practice) in room 32-G631 |
| Jun 18 07 | All | Brainstorming: Come with ideas about problems (or solutions) |
| Wed Jun 27 07 | Sung | Bugzilla data project |
| Fri Jul 06 07 | Mahmood | IGJ case studies |
| Jul 09 07 | Jeff P. | Application Communities demo |
| Jul 16 07 | Dave G. | Amock |
| Jul 23 07 | Matt P. | Non-null case study |
| Tue Jul 31 07 | Jason Juang | Abstract type inference improvements |
| Wed Aug 15 07 | Stephen | Information flow annotation inference in room 32-825 |
| Aug 27 07 | Sung | Which Warnings Should I Fix First? |
| Sep 28 07 | Michael Ernst | Pluggable type-checking for custom type qualifiers |
| Oct 05 07 | Danny Dig | 1pm Automated upgrading of component-based applications |
| Oct 12 07 | David Saff | Theory-infected (OOPSLA demo practice) |
| Oct 19 07 | Matt Papi | Compile-time type-checking for custom type qualifiers in Java (OOPSLA demo practice) |
| Oct 26 07 | Sung Kim | ReCrash: Making Java failures reproducible |
| Nov 02 07 | Shay Artzi | Combined static and dynamic mutability analysis (ASE practice talk) |
| Nov 5 2007 12:00pm | Adam Kiezun | Grammar-based whitebox fuzzing |
| Nov 7 07 1pm (G825) | Jaime Quinonez | Javari type inference |
| Nov 30 07 | Stephen McCamant | Using Valgrind/VEX to implement a dynamic analysis |
| Dec 07 07 | Jeff Perkins | Application Communities demo & status report |
| Dec 14 07 | Shay Artzi | Bug detection and localization in scripting languages |
| Feb 12 08 | Danny Dig | Java concurrency and refactorings discussion |
| Feb 19 08 | Stephen McCamant | Practice for academic job talk |
| Feb 26 08 | Jaime Quinonez | Heuristics for inferring assignable keywords in Javari |
| March 12 08, Wed | Danny Dig | Java concurrency and refactoring discussion (cont) |
| March 18 08, Tue | Michael Ernst | Self-defending software: Collaborative learning for security |
| April 29 08, Tue | Mahmood Ali | The Design of the Checkers Framework |
| May 6 08, Tue | Danny Dig | ICSE'08 Practice Talk (room G725) |
| May 27 08, Tue | Adam Kiezun | PLDI'08 Practice Talk |
| Jun 03 08, Tue | Stephen McCamant | PLDI'08 Practice Talk |
| Jun 10 08, Tue | Peter Weissgerber | Identifying Refactorings In Software Repositories |
| Thu Jun 26 at 9:30 | Mike | ReCrash: Making software failures reproducible by preserving object states (ECOOP practice) |
| Jul 1 | Mike | Inference of reference immutability (ECOOP practice) |
| Jul 8 | Shay | Finding bugs in dynamic web applications (ISSTA practice) |
| Jul 15 | Mike | Practical pluggable types for Java (ISSTA practice) |
| Jul 29 2PM in G-975 | Danny / John | Extracting parallel tasks from sequential Java code / Converting code to use AtomicInteger and ConcurrentHashMap |
| Thu Aug 07 at 2:00 in G825 | Jeff Perkins | Improving random testing with dynamic dataflow analysis |
| Thu Aug 14 | Robert | Combining Static+Dynamic analyses for points-to sets |
| Aug 19 | David | Whitebox Fuzz Testing for Java |
| Sep 30 | Adam | Automatic Creation of SQL Injection and Cross-site Scripting Attacks |
| Oct 7 | Mahmood | Practice talks for OOPSLA |
Last updated: November 1, 2008