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.


Spring 2016

January 11


Nathan Fulton

"A Logic of Proofs for Differential Dynamic Logic: Toward Independently Checkable Proof Certificates for Dynamic Logics"

T.J. Glazer

"Taming the Necessary Evil: How to manage successful remote meetings"
 

January 25

Session Chair: T.J.

Samuel Selva

The Correspondence Between Lambda Calculus and Programming Languages

 

February 1

Session Chair: Selva

Michael Maass

What's New in Java?

 

February 8

Session Chair: Michael

Vishal Dwivedi

Why Software Compositions are like Indian marriages?

Mauricio Soto

Using keystroke dynamics as a second authentication mechanism

February 15

Chair: Ivan

Roykrong Sukkerd

TBA

 Ashutosh Pandey

TBA

February 22

Session Chair: Roykrong

Daniel Smullen

TBA

 Jason Tsay

TBA

February 29

Session Chair: Jason

Ryan Wagner

TBA

Afsoon Afzal

TBA

March 7

Session Chair: Afsoon

 T.J. Glazier

TBA

 Sudarshan Wadkar

TBA

March 14

Vishal Dwivedi

TBA

Mauricio Soto

TBA

March 21

Session Chair: Vishal

Gabriel Ferreira

TBA

Gabriel Moreno

TBA

March 28

Daniel Smullen

TBA

Sudarshan Wadkar

TBA

April 4

Waqar Ahmad

TBA

Selva Samuel

TBA

April 11

 Ryan Wagner

TBA

Shurui Zhou

TBA

April 18

Ashwini Rao

TBA

Darya Kurilova

TBA

April 25

Ashutosh Pandey

TBA

Chu-Pan Wong

TBA

May 2

Gabriel Ferreira

TBA

 Afsoon Afzal

TBD


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

"Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach"
 

Jaspreet Bhatia

"Vagueness in Privacy Policies"

September 21

Session Chair: Jaspreet

Thomas Glazier- Cancelled

Mauricio Soto

"An overview of code clones and a study of the redundancy of source code"

September 28

Session Chair: Darya

Shurui Zhou

"Survey : Building Software Product Line from Existing Products"

Claire LeGoues

""Perspectives on Structuring a Research Presentation."

October 5

Session Chair: Mauricio

Vishal Dwivedi

"How End-users Perform Software Composition tasks – a Qualitative Study"

Jason Tsay

"Inlook: Exploring communication through a self-mining email tool"

October 12

Session Chair: Vishal

Daniel Smullen

"Adventures in Radar Interferometry and Statistical Denoising"

Michael Maass

"How I Manage My Time"

October 19

Session Chair: Shurui

Waqar Ahmad

"Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem"

Nathan Fulton

"Typed Tactics and Proof Terms for KeYmaera X"

October 26

Session Chair: Gabriel F.

Nathan Fulton

"The Semantics and Type System of Bellerophon"

 Darya Kurilova

"Ubiquitous Object Orientation to Foster the Advancement of Programming Languages"

November 2

Session Chair: Waqar

Ashutosh Pandey

"Sysense: A System Level Sensing Technology"

Ciera Jaspan

"Life after CMU"

November 9

Session Chair: Ashutosh

Ivan Ruchkin

"Two Hammers of Software Engineering Research"

Ashwini Rao

"Expecting the Unexpected: Understanding Mismatched Privacy Expectations
Online
"

November 16

Session Chair: Ashwini

 Sudarshan Wadkar

Cancelled--

Christian Kåstner

"Starting an Academic Career: Reflections on Habits that Worked for Me"

November 23

Chu-Pan Wong

"An Empirical Study on Multi-line Patches"

Selva Samuel

"Efficiently Sampling Probabilistic Programs via Program Analysis"

November 30

Session Chair: Chu-Pan

Shurui Zhou

"Identifying features in Forks"

 Gabriel Ferreira

"Characterizing Configuration Complexity in the Linux Kernel"

December 7

Session Chair: Christian

Afsoon Afzal

"Repairing Programs with Semantic Code Search"

Ryan Wagner

"A Retrospective on Security Risk"

Spring
Mondays 3:30 - 5:00 PM
Wean Hall 5324
3 units

First Meeting
January 11th

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