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.

Fall 2015

August 31

Len Bass

"Programming in the 1960s: A Personal History"

Roykrong Sukkerd

TBA

September 14

Jaspreet Bhatia

TBA

Mauricio Soto

TBA

September 21

Thomas Glazier

TBA

September 28

Shurui Zhou

TBA

October 5

Vishal Dwivedi

TBA

October 12

Michael Maass

TBA

October 19

Waqar Ahmad

TBA

Thomas Glazier

TBA

October 26

Ashutosh Pandey

TBA

Sudarshan Wadkar

TBA

November 2

Nathan Fulton

TBA

Darya  Kurilova

TBA

November 9

Ashwini Rao

TBA

Ivan Ruchkin

TBA

November 16

Gabriel Ferreira

TBA

Gabriel Moreno

TBA

November 23

Chu-Pan Wong

TBA

Selva Samuel

TBA

November 30

Shurui Zhou

TBA

Afsoon Afzal

TBA

December 7

Ashwini Rao

TBA

Ryan Wagner

TBA


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 2015
Mondays 3:30 - 5:00 PM
Newell Simon 1305
3 units

First Meeting
August 31st

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

Videos of past presentations are available online. Visitors will need to log in under Blackboard with their Andrew ID and password.

videos