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 2 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 2016

August 29 Sven Stork - Software Engineering Ph.D. Alumni Stefan Stanciulescu, Visiting Student
September 12

Gabriel Ferreira

"Time Management (for humans)"

Selva Samuel- Cancelled

Christian Kästner

How to Break an  API: Cost Negotiation and Community Values in Three Software Ecosystems

September 19

David Garlan

"Rethinking the Role of the Software Architect"

Darya Kurilova

Data Model and Concurrency in the Do Programming Language

September 26

Sudarshan Wadkar

Modeling Laws and Regulations

Ryan Wagner

Why is Government Software So Bad?

October 3

Roykrong Sukkerd

TBD

Jason Tsay

TBD

October 10

Mauricio Soto

TBD

Daniel Smullen

TBD

October 17

Thomas Glazier

TBD

Afsoon Afzal

TBD

October 24 Vishal Dwivedi-TBD

George Fairbanks, Former SE Ph.D. Student

Model-Minded Development

October 31

Waqar Ahmad

TBD

Ivan Ruchkin

TBD

November 7

Miguel Velez-Cevallos

TBD

Darya Kurilova

TBD

November 14

Cody Kinneer

TBD

Gabriel Moreno

TBD

November 21

Jaspreet Bhatia

TBD

Shuri Zhou

TBD

November 28

Ashutosh Pandey

TBD

Chu-Pan Wong

TBD

December 5 Selva Samuel - TBD Rijnard van Tonder-TBD

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

Multiscale Time Abstractions for Long-Range Planning under Uncertainty

 Ashutosh Pandey

Hybrid Planning for Decision Making in Self-Adaptive Systems

February 22

Session Chair: Ashutosh

Daniel Smullen

Engineering and Computer Science in Canada: it’s a whole different world, eh?

 Jason Tsay

Improving Signaling in Software Development

February 29

Session Chair: Michael

Ryan Wagner

Survivability and Security Analysis Using Linear Temporal Logic

Afsoon Afzal

A startup in a country far far away

March 7

Session Chair: Gabriel

 Cancelled Spring Break (T.J)

TBA

 Cancelled Spring Break (Sudarshan Wadkar)

TBA

March 14

Session Chair: Afsoon

 

Mauricio Soto

A deeper look into bug fixes: Patterns, replacements, deletions, and additions

March 21

Session Chair: Vishal

Daniel Smullen

Explaining the gist of our research to NIST

Gabriel Moreno

Efficient Decision- Making under Under Uncertainty for Proactive Self-Adaption

March 28

Session Chair: Nathan

T.J. Glazier-Cancelled

Waqar Ahmad

Inter-app Communication in Android:Developer Challenges

April 4

Session Chair: Jason

Sudarshan Wadkar- Cancelled

An Information Ontology for Privacy Policy

Selva Samuel

Software Engineering at the Advent of Quantum Computing

April 11

Session Chair: Waqar

 Ryan Wagner

Balancing Civil Liberties and Security in Technology

Gabriel Ferreira

How the Brazilian Federal Government Influences IT in an Academic Institution: Experiences and Reflection

April 18

Session Chair: Shurui

Mary Shaw

TBA

Darya Kurilova

A Capability-Safe Module System for Authority Control

April 25

Session Chair: Darya

Ashutosh Pandey

Whats new in C++11

Chu-Pan Wong

Variability-Aware Bytecode

May 2

Session Chair: Chu-Pan

Shurui Zhou

Identifying features from forks  II

 Afsoon Afzal

Inferring invariant in ROS systems

May 9

Session Chair: Gabriel F.

Sudarshan Wadkar-Cancelled

An Information Ontology for Privacy Policy

Vishal Dwivedi

Why many VPLs became defunct and how they could have lived longer


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"

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

First Meeting
August 29th

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