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

Software Research Seminar (SSSG)

Software Research Seminar Syllabus

The Software Research Seminar (SSSG) at CMU relies on active participation and a supportive community to
help students broaden their understanding of software research and hone their presentation skills. This
document briefly outlines our expectations for Software Engineering Ph.D. students with respect to SSSG.

General Expectations:
A.  Attend both SSSG presentations each week.

B.  Participate by asking questions, contributing to the discussion, and giving constructive verbal and written
feedback to presenters. Using an electronic device for purposes other than note-taking or feedback on the
presentation is considered to be non-participation.

C.  Give 3 well-prepared SSSG talks per year (2 if giving an approved talk in an outside venue)
The faculty recognizes that students may occasionally have conflicts with particular SSSG dates; in these
cases the Reasonable Person Principle applies. There may occasionally be a systematic conflict, such as an
overlapping course, in which case advance approval should be arranged with advisor and PhD Program
Director (but not more than once for any student). In the rare case when a student's participation or
presentations falls significantly below expectations, the faculty will require remedial action appropriate to the
student.

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.

Fall 2015

August 31

Len Bass

"Programming in the 1960s: A Personal History"

Roykrong Sukkerd

"Task Planning for Cyber-Human Systems"

September 14

Ivan Ruchkin

TBA

Jaspreet Bhatia

TBA

September 21

Thomas Glazier

TBA

Mauricio Soto

TBA

September 28

Shurui Zhou

TBA

Claire LeGoues

TBA

October 5

Vishal Dwivedi

TBA

Jason Tsay

TBA

October 12

Daniel Smullen

TBA

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

Ivan Ruchkin

TBA

Ashwini Rao

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