Software Research Seminar (SSSG)-Institute for Software Research - Carnegie Mellon University

Software Research Seminar (SSSG)

The Software Research Seminar meets weekly to discuss research in progress and review recent literature in software engineering research. The purpose, beyond exposure to a broad range of technical ideas, is to develop a critical view of the scientific process and literature of software engineering research.

Each semester, the seminar group will identify a set of technical themes on which to focus in its review of outside literature.

Each participant in the SSSG will make at least three half-hour presentations in a year, one on research in progress, one a critical summary and review of one or more published papers, and one at the discretion of the student. (This requirement is reduced to two for students who present in other recognized forums -- ask the instructor.) Students are evaluated on the basis of the technical quality, organization, and presentation of their material, including interaction with the seminar group.

The Seminar is offered for graduate credit, is repeatable, and is intended to be an ongoing activity. PhD students in software engineering are required to register for this seminar on an ongoing basis, and all other graduate students are encouraged to attend. Students taking the SSSG for credit are expected to make three presentations each year.

Spring 2015

January 12


Thomas Glazier

"Application of Control Theory Techniques to Self-Adaptation in Large
and Ultra-Scale Systems"


January 26

Ashutosh Pandey

"Need for a design space for AI planning in self-adaptive systems"

February 2

Session Chair: TJ

Mauricio Soto

"Exploration of the similarities and differences between C and Java bugs"

Vishal Dwivedi

"Supporting end-user compositions for high-fidelity medical simulations"

February 9

Session Chair: Gabriel M.

YoungSeok Yoon

"Real-Time Summarization of Code Edits"

Michael Maass

 "A MAJIC Demonstration"

February 16

Session Chair: YoungSeok

Daniel Smullen

"VistA: A Case Study"

Roykrong Sukkerd

"Stochastic Games Approach for Task Planning in Cyber-Human Smart Environments"

February 23

Session Chair: Ashutosh

Thomas Glazier

"Detecting Insider Threats in Software Systems using
Graph Models of Behavioral Paths"

Nathan Fulton

"The KeYmaera 4 Theorem Prover"

March 2

Jaspreet Bhatia

"Requirements Extraction through Hybridized Task Re-composition"

Jason Tsay

"Signal in the Noise: Developers Using Project Signals to Inform Tasks in GitHub"

March 9

Session Chair: Jason

Michael Maass

"Systematically Reviewing the Sandboxing Landscape"

Daniel Smullen

"Detecting Repurposing and Over-Collection in Multi-Party Privacy Specifications"

March 16

Nathan Fulton

"Platzer's Discrete Relative Completeness Result for Hybrid Systems"

Christian Kästner

"Analyzing and Revising a Talk (working session)"

March 23

Session Chair: Darya

Ashwini Rao

"Understanding online data use and sharing with network analysis"

Ivan Ruchkin

"Architectural Abstractions for Hybrid Programs"

March 30

Session Chair: Ivan

Chu-Pan Wong

"Applying Variability-Aware Execution to Automatic Program Repair"

Roykrong Sukkerd

"Task Planning of Cyber-Human Systems"

April 6

Session Chair: Roykrong

Darya Kurilova

"Using JIT Compilation to Crack the Boundary Between
Databases and Programming Languages"

Vishal Dwivedi

" Halo - a framework for End-User Architecting"

April 13

Session Chair: Michael

Zack Coker

"Applying Stochastic Search to Self-Adaptive Systems"

Nathan Fulton

"Tactical Proving in KeYmaera X"

April 20

Session Chair: Zack 

Waqar Ahmad

"Feature Interaction in Android"

Gabriel Ferreira

"Variational Call Graphs and Pointer Analysis"

April 27

Session Chair: Daniel

Gabriel Moreno

"Using simulated and real systems for research and validation"

Shurui Zhou

"Extracting Configuration Knowledge from Build Files with Symbolic Analysis"

May 4

Session Chair: Ashwini

Ashutosh Pandey

"Hybrid Planning for Self-adaptive Software Systems"

Jaspreet Bhatia

"Vagueness and Elasticity in Privacy Policies"


Fall 2014

September 8

Darya Kurilova

"Can Programming Language Design Impact Software Security?"

Jason Tsay

"Let's Talk About it: Evaluating Contributions Through Discussion in GitHub"

September 15

Ivan Ruchkin

"Contract-Based Integration of Cyber-Physical Analyses"

Christian Kästner

"Preparing a Talk"

September 22

Philip Koopman

"A Case Study of Toyota Unintended Acceleration and Software Safety"

Philip Koopman

"A Case Study of Toyota Unintended Acceleration and Software Safety"

September 29

Hyrum Wright (Guest Speaker)

Refactoring at Google Scale: The How and Why

Travis Breaux

Specifications for Formal Analysis of Privacy Requirements

October 6

David Garlan

National Software Engineering Centers

Vishal Dwivedi

What Ails End-User Composition: A Cross-domain Qualitative Study

October 13

Nathan Fulton

Statically Typed String Sanitation Inside a Python

Michael Maass

Fortifying the Java Sandbox

October 20

Daniel Smullen

Genetic algorithm with self-adaptive mutation controlled by chromosome similarity

Chu Pan Wong

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis

October 27

YoungSeok Yoon

An Evaluation Study of Azurite: A Backtracking Tool for Programmers

T.J. Glazier

TBA

November 3

Gabriel Ferreira

On the Use of Feature-oriented Programming for Evolving Software Product Lines

Jaspreet Bhatia

Requirements extraction from privacy policies

November 10

Gabriel Moreno

Formal Methods in Self-Adaptation

Shurui Zhou

Elastic Resource Management for Heterogeneous Applications on PaaS

November 17

Roykrong Sukkerd

Supporting formal reasoning of high-level tasks in smart environment

Waqar Ahmad

Module Systems for Flexible, Reliable, and Secure Platforms

November 24

Mauricio Soto

Automatic Patch Generation Learned from Human-Written Patches

Ashwini Rao

What do they know about me? Contents and Concerns of Online Behavioral
Profiles

December 1

Ashutosh Pandey

Automated Planning as Probabilistic Model Checking

Darya Kurilova

Designing a Secure Module System

Fall 2014
Mondays 3:30 - 5:00 PM
Newell Simon 1305
3 units

First Meeting
(Spring Semester)
January 12th

schedule

Please contact Connie Herold (at cherold@cs or x8-4545) to claim slots in the schedule or to update the web page.

SSSG Guidelines

updates