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

TBA


January 26

Ashutosh Pandey

TBA

Daniel Smullen

TBA

February 2

Mauricio Soto

TBA

Vishal Dwivedi

TBA

February 9

YoungSeok Yoon

TBA

Michael Maass

TBA

February 16

Gabriel Ferreira

TBA

Roykrong Sukkerd

TBA

February 23

Jaspreet Bhatia

TBA

Nathan Fulton

TBA

March 2

Shurui Zhou

TBA

Jason Tsay

TBA

March 9

Michael Maass

TBA

Daniel Smullen

TBA

March 16

Nathan Fulton

TBA

Christian Kästner

TBA

March 23

Ashwini Rao

TBA

Roykrong Sukkerd

TBA

March 30

Chu-pan Wong

TBA

Ivan Ruchkin

TBA

April 6

Darya Kurilova

TBA

Vishal Dwivedi

TBA

April 13

YoungSeok Yoon

TBA

Mauricio Soto 

TBA

April 20

Waqar Ahmad

TBA

Gabriel Ferreira

TBA

April 27

Gabriel Moreno

TBA

Shurui Zhou

TBA

May 4

Ashutosh Pandey

TBA

Jaspreet Bhatia

TBA

May 11

Thomas Glazier

TBA


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