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:

  1. Attend both SSSG presentations each week.
  2. 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.
  3. In the first few weeks of the Fall semester, all continuing SE Ph.D. students will give short talks as a way of introducing their research to first-year students.  After that, all students (continuing + first-year students) will give regular length SSSG talks,, with the requirement of giving at least one regular talk per academic year.

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. Ph.D. 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 2023 & Spring 2024

Aug 28th

Nikitha Rao, SE Ph.D. Student

"CAT-LM🐱 Training Language Models on Aligned Code And Tests"

 

Bogdan Vasilescu, Assistant Professor, S3D

"How to fit a 10+ page paper into a 15 minute conference talk"

Christian Kästner, Associate Professor, S3D

"slide design."

Sept 11th

Catarina Gamboa, SE Ph.D. Student

"Exploring the Barriers in Liquid Types"

Ian Dardik, SE Ph.D. Student

"Model Checking TLA+ via Recursive Decomposition"

Madeline Endres, Ph.D. Candidate, University of Michigan

"Cognitive training and psychoactive substances"

Sept 18th

Aidan Yang, SE Ph.D. Student

"VERT: Verified Equivalent Rust Transpilation"

Sam Estep, SE Ph.D. Student

"Rose: Hijacking JavaScript and TypeScript to Compute All the Gradients"

Saujas Vaduguru, Ph.D. Student, CMU LTI

"Program synthesis from informative examples"

Sept 25th

Ao Li, SE Ph.D. Student

"Beyond Blind Testing: Feedback-guided scenario-based testing for distributed systems in P"

Mary Shaw, Alan J. Perlis University Professor of Computer Science, S3D

"Finding Research Ideas in Dissonance"

Oct 2nd

Paulo Canelas, SE Ph.D. Student

"Understanding Misconfigurations in ROS: A Taxonomy and Literature Review"

Jane Hsieh, SE Ph.D. Student

""Nip it in the Bud": Moderation Strategies in OSS Projects & the Role of Bots"

Michael Hilton, Associate Teaching Professor, S3D

"Teaching Opportunities for PhDs"

Oct 9th

Jenny T. Liang, SE Ph.D. Student

"Can GPT-4 Replicate Empirical Software Engineering Research?"

Luke Dramko, SE Ph.D. Student

"Computing the similarity between algorithms"

 

Oct 23rd

 Kyle Liang, SE Ph.D. Student

"Abstracting and Debugging Distributed, Time-Sensitive Applications"

Trenton Tabor, SE Ph.D. Student

"Examining if Image Translation Can Help Us Test Autonomous Vehicles"

Christian Kästner, Associate Professor, S3D

"Thesis Proposals"

Oct 30th

Yining She, SE Ph.D. Student

"FairSense: Long-term Fairness Analysis of ML-enabled Systems"

Changjian Zhang, SE Ph.D. Student

"Internship at Amazon, Experiences & Thoughts"

Wojciech Nawrocki, Ph.D. Student, CMU Philosophy

"Referential development environments: why can't we just point at things?"

Nov 6th

Simon Chu, SE Ph.D. Student

"Building Resilient Cyber-Physical Systems using Runtime Requirement Adaptation"

Vasu Vikram, SE Ph.D. Student

"Can LLMs Write Good Property-Based Tests?"

Nov 13th

Chenyang Yang, SE Ph.D. Student

"Beyond Testers' Biases: Guiding Model Testing with Knowledge Bases using LLMs"

Ian McCormack, SE Ph.D. Student

"Against the Void: An Interview and Survey of How Rust Developers Use unsafe Code"

Xiangpeng Hao, Ph.D. Student, University of Wisconsin Madison

"Engineering Reliable Data Systems"

Nov 20th

Matthew C. Davis, SE Ph.D. Student

"NaNofuzz: Usable Automatic Test Generation"

Courtney Miller, SE Ph.D. Student

"We Feel Like We're Winging It: A Study on Navigating Open-Source Dependency Abandonment"

Hao He, SE Ph.D. Student

"How Early Participation Determines Long Term Sustained Activity in GitHub Projects"

 

Nov 27th

Kush Jain, SE Ph.D. Student

"Contextual Predictive Mutation Testing"

Parv Kapoor, SE Ph.D. Student

"Safe Planning through Incremental Decomposition of Signal Temporal Logic"

 

Dec 4th

Selva Samuel, SE Ph.D. Student

"Composition of Connector Semantics for Compatibility Checking In Connector Evolution"

Zeeshan Lakhani, SE Ph.D. Student

"Rehabilitating hiring: Reflections on running engineering hiring at a fast-growing company"

 

Jan 22nd

Daye Nam, SE Ph.D. Student

"User-centered Intelligent Information Support for Programmers"

 

Jan 29th

Elizabeth Gilbert, SE Ph.D. Student

"Language-Agnostic Resilience Engineering with Wasm"

Harrison Green, SE Ph.D. Student

"Fuzzing by Example"

Luke Dramko, Sam Estep, Nadia Nahar, Nikitha Rao, and Aidan Yang, SE Ph.D. Students

"Internship experiences panel"

Feb 5th

Claudia Mamede, SE Ph.D. Student

"Explainable AI for Vulnerability Detection and Localization"

 

Feb 12th

Hemant Sai Gouni, SE Ph.D. Student

"printf debugging for the 21st century"

Harrison Green, SE Ph.D. Student

"Simple Type Recognition In Decompiled Executables"

 

Feb 19th

Kush Jain, SE Ph.D. Student

"Example Generation for OpenAPI Specifications"

Yuchen Shen, SE Ph.D. Student

"Industry Internships"

Hongbo Fang, SC Ph.D. Student

"Novelty Begets Popularity, But Curbs Participation"

Feb 26th

Byeongjee Kang, SE Ph.D. Student

"Software Engineering Experience at a Small Startup"

Yiliang Liang, SE Ph.D. Student

"Towards Domain-Specific Visualizations of Formal Models"

 

Mar 11th

Nadia Nahar, SE Ph.D. Student

"Thesis Proposal: Facilitating Collaboration in Building Machine Learning Products"

Paulo Canelas, SE Ph.D. Student

"Is it a Bug? Understanding Physical Unit Mismatches in Robotic Systems"

Mar 18th

Jenny Liang, SE Ph.D. Student

"A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges"

Kaia Newman, SE Ph.D. Student

"Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment"

Fall 2022 & Spring 2023

Aug 29th

Andrew Begel, Associate Professor, S3D 

"Research Talk"

Fraser Brown, Assistant Professor, S3D 

"Research Talk" 

Sept 12th

Bogdan Vasilescu, Associate Professor, S3D

"How to fit a 10+ page paper into a 15-minute conference Talk" 

Christian Kästner, Associate Professor, S3D

"Slide Design for Non-Designers

Courtney Miller, SE Ph.D. Student

"Did you Miss My Comment or What? Understanding Toxicity in Open Source Discussions" 

Sept 19th

Joshua Sunshine, Assistant Professor, S3D

"The Science of Feedback" 

Claire Le Goues, Associate Professor, S3D

"Claire's general approach to giving talk feedback that is useful, constructive, and kind"

Ian McCormack, SE Ph.D. Student

"Safety First: Foreign Function Use in The Rust Ecosystem" 

Sept 26th

Jeremy Lacomis, SE Ph.D. Student 

"Augmenting Decompiler Output with Learned Variable Names and Types"

Vasu Vikram, SE Ph.D. Student

"Guiding Greybox Fuzzing with Mutation Testing"

Jenna Wise, SE Ph.D. Student

"Gradual C0: Symbolic Execution for Efficient Gradual Verification" 

Selva Samuel, SE Ph.D. Student

"Evolution of Architectural Connectors" 

Oct 3rd 

Jenny Liang, SE Ph.D. Student

"Understanding Skills for OSS Communities on GitHub" 

Chenyang Yang, SE Ph.D. Student

"Data Leakage in Notebooks: Static Detection and Better Processes" 

Oct 10th

Kush Jain, SE Ph.D. Student

"Registered Report: First, Fuzz the Mutants (Mu3)"

Manisha Mukherjee, SE Ph.D. Student

"Answers Aren't Forever: Learning to Find Outdated Data on StackOverflow" 

Ben Titzer, SE Ph.D. Student

"WebAssembly as the Basis for Layered Runtime Systems" 

Ryan Wagner, SE Ph.D. Student

"Graceful Degradation for Security" 

Oct 24th

Nadia Nahar, SE Ph.D. Student

"Collaboration Challenges in Building ML-Enabled Systems: Communication, Documentation, Engineering and Process" 

Parv Kapoor, SE Ph.D. Student

"STLINC: Decomposing Signal Temporal Logic for Incremental Behavior Building" 

Leo Chen, SE Ph.D. Student

"Automated Systems for identifying where robotics students need help"

Wode "Nimo" Ni, SE Ph.D. Student

"How to get behind the eight ball, a lot"

David Widder, SE Ph.D. Student.     

"Power relationships in SCS, and the many ways a Ph.D. can go wrong" 

 

Oct 31

Nikitha Rao, SE Ph.D. Student

"AI for Low-Code for AI"

Sam Estep, SE Ph.D. Student

"(Spiderman pointing meme): Interfacing Between Public and Private Copies of an OSS Project as a Corporate Maintainer"

Maria da Loura Casimiro, SE Ph.D. Student

"Two Worlds of Research: Academia vs Industry A Research Experience at Feedzai"

Nov 7

Changjian Zhang, SE Ph.D. Student

"Robustness of Control Agents for Cyber-Physical Systems"

Aidan Yang, SE Ph.D. Student 

"A Reinforcement learning approach for optimal collective communication algorithms"

Jonathan Aldrich, SE Faculty

"Inspiring Future Computer Scientists"

Nov 14

Tobias Dürschmid, SE Ph.D. Student

"Internship Experience at JPL (Practicum Talk)

Trenton Tabor, SE Ph.D. Student

"Should Robotics Engineering Education Include Software Engineering Education?"

Sophia Kolak, SE Ph.D. Student

"Software Engineering and Quantum Uncertainty:

Nov 21

Daye Nam, SE Ph.D. Student

"Understanding Documentation Use Through Log Analysis of Four Web-Based APIs"

Luke Dramko, SE Ph.D. Student

"A Summer at GitHub: A Story of Requirements"

Yuchen Shen, SE Ph.D. Student

"Domain Model Extraction from User-authored Scenarios and Word Embeddings"

Nov 28

Ian Dardik, SE Ph.D. Student

"Inductive Invariant Inference for Distributed Protocols"

Ao "Leo" Li, SE Ph.D. Student

"Watching the Sky Falling (Practicum Talk)

Simon Chu, SE Ph.D. Student

"Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening" 

Dec 5

Daniel Rosa Ramos, SE Ph.D. Student

"Augmenting language models for transpilation with semantic reasoning. 

Harrison Green, SE Ph.D. Student

"GraphFuzz Library API Fuzzing with Lifetime-aware Dataflow Graphs"

Matthew Davis, SE Ph.D. Student

"NaNoFuzz: Human-theoretic Automatic Test Suite Generation"

Jan 23 

Maria da Loura Casimiro, SE Ph.D. Student

"Self-adaption for Machine Learning based systems"

Vasu Vikram, SE Ph.D. Student

"An Experience in Testing Self Driving Cars"

Kyle Liang, SE Ph.D. Student

"Ping Pong- A Personal Pedagogical Study"

Jan 30th

Wode "Nimo" Ni & Sam Estep, SE Ph.D. Students

"Penrose 2.0"

Jeremy Lacomis, SE Ph.D. Student

"Towards Parenting a New Child"

Feb 6th

Chenyang Yang, SE Ph.D. Student

"Capabilities for Better ML Engineering"

Sophia Kolak, SE Ph.D. Student

" "

 Changjian Zhang, SE Ph.D. Student

"Robustification of Behavioral designs against Environmental Deviations + A reflection on paper rejections."

Feb 13th

Courtney Miller, SE Ph.D. Student

""We Feel Like We're Winging It": A Study on Navigating Open-Source Dependency Abandonment"

Trenton Tabor, SE Ph.D. Student

"Prospective Course Design: Robotics For Software Engineers"

Jenny Liang, SE Ph.D. Student

"Understanding the Usability of Code Generation Tools"

Feb 20th

Tobias Dürschmid, SE Ph.D. Student

"Lessons learned from designing a new course on design patterns from scratch"

Leo Chen, SE Ph.D. Student

"Brief Lit Review for Scratch Fault Localization"

David Widder, SE Ph.D. Student

"It’s about power: What ethical concerns do software engineers have, and what do they (feel they can) do about them?"

Feb 27th

Aidan Yang, SE Ph.D. Student

"Are Best Papers Really the Best?"

Nadia Nahar, SE Ph.D. Student

"What’s in There? Learning from Machine Learning Products in Open-Source"

Rohan Padhye, Assistant Professor, S3D

"Fuzzing the tax code: Is it worth it?"

March 13th

Yuchen Shen, SE Ph.D. Student

"Real-time Requirements Elicitation with Masked Language Models (MLM)"

Selva Samuel, SE Ph.D. Student

"Software engineering in Genetic Engineering: Some Research Connections"

SSSG Feedback Session

March 20th

Paulo Santos, SE Ph.D. Student

"ROSpec: A Domain-Specific Architectural Description Language for Robotic Systems"

Manisha Mukherjee, SE Ph.D. Student

"Stack Over-Flowing with Results: The power of pre-trained models on in domain data"

Jane Hsieh, SE Ph.D. Student

"Empowering and Enhancing Gig Workers"

March 27th

Elizabeth Gilbert, SE Ph.D. Student

"Building Fault Injection Testing Instrumentation"

Ryan Wagner, SE Ph.D. Student

"Zero Trust Architectures for Securing Complex Systems"

Parv Kapoor, SE Ph.D. Student

"STLINC: Decomposing Signal Temporal Logic for Incremental Behavior Building"

April 3rd

Tobias Dürschmid, SE Ph.D. Student

"ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems"

Kush Jain, SE Ph.D. Student

"Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts"

Ian McCormack, SE Ph.D. Student

"Unsafety First - Exploring Beyond the Limits of Rust’s Borrow Checker"

April 10th

Catarina Gamboa, SE Ph.D. Student

"Usability-Oriented Design of Liquid Types for Java"

Daye Nam, SE Ph.D. Student

"Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods"

 Jenna Wise, SE Ph.D. Student

"Demystifying the Academic Job Market: Tenure-track Positions"

April 17th

Daniel Ramos, SE Ph.D. Student

"Facilitating Code Refactoring using Transformation Rules"

Nikitha Rao, SE Ph.D. Student

"Testing, Testing, 1-2-3: Pretraining Language Models to Generate Tests from Code"

Luke Dramko, SE Ph.D. Student

"A Multidimensional Approach to Evaluating Generated Code"

Ian Dardik, SE Ph.D. Student

"Safe Environmental Envelopes of Discrete Systems"

April 24th

 Simon Chu, SE Ph.D. Student

"Adaptive Fault Recovery for Cyber-Physical Systems"

Ao Li, SE Ph.D. Student

"Exception Dependency Analysis for Root Cause Diagnosis"

Yining She, SE Ph.D. Student

"Long-term Fairness Issues in ML-Enabled Systems"

 

Fall 2021 & Spring 2022

August 30 

"Short Talks"                                                            

Josh Sunshine  -"PL and HCI: Better Together

Claire Le Goues "COB0Ld: Gobblin Up COBOL Bugs for fun and profit" 

Rohan Padhye - "On the Origin of Programs".                                                                                                                               Mary Shaw - SIGBOVIK Paper 

Benjamin Gafford- "Towards improved testing for open-source autonomous vehicle software" 

Luke Dramko - "Decompilationa with Domain-Aware Variable Name Predictions"   

 

September 13th

"Short Talks"

Jenna Wise -"Gradual Verification".               
Tobias Dürschmid - "Finding Architecture Configuration Bugs in ROS".                           
Miguel Velez - "White-box Analysis for Modeling and Debugging the Performance of Configurable Software Systems"         

Michael Hilton - "Flake-Flagger: Predicting Flakiness Without Rerunning Tests"        

Bogdan Vasilescu- "Natural experiments in observational data"                        

September 20th

"Short Talks"

Ryan Wagner "Architecture-Based Graceful Degradation for Cybersecurity"


Daye Nam- "Compositional Prediction of API Functions from Inputs and Outputs" 


Christopher Meiklejohn "Service-level Fault Injection Testing"          

 

C.J. Zhang - "AlloyMax: bringing maximum satisfaction to relational specifications" 

   
Nadia Nahar- "Collaboration Challenges in Building ML-Enabled Systems" 

Ao Li - "Identifying Stateful Performance Vulnerabilities in Software Defined Network Controllers"

September 27th

"Short Talks"

Selva Samuel - "Evolution of Architectural Connectors"

Kyle Liang - "A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications" 

Jane Hsieh - "Effects of Standardization versus Personalization on Job Acquisition, Work Completion, and Revenue for Online Freelancers"            

Wode Ni- "reCode: A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example" 

Trenton Tabor - "Addressing gaps in the space of robotic testing techniques" 

 

October 4th

Mary Shaw              

RE:  Myths and Mythconceptions: What does it mean to be a programming language, anyhow?". 

 

Mary Shaw              

October 11

"Short Talks"

Leo Chen - "Automated Program Repair: Challenges and Opportunities"

Jeremy Lacomis- "Learning Semantics of Variable Names" 

 

Yuchen Shen-"Stakeholder Preference Extraction from Scenarios"       

Simon Chu- "Reconciliation-Based Resolution of Feature Interactions in Cyber-Physical Systems"

Morgan Evans -"Bloomwood Stories: Perspective- and experience-taking in game design"                                

October 18

Jenna Wise                

" Gradual Viper: Symbolic Execution for Efficient Gradual Verification"

Ryan Wagner              

TBD

October 25

Christian Kästner         

"On the Power of Domain-Specific Languages: the Aidan Notation"

Courtney Miller               

"Did You Miss My Comment or What?" Understanding Toxicity in Open Source Discussions"

November 1

Christopher Meiklejohn              

"Service-level Fault Injection Testing"

TBD             

TBD

November 8

  Chenyang Yang     

"Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code"

Aidan Yang               

"Augmenting the Readability and Traceability of Software Documentation: From bulge bracket investment banking to software engineering research"
November 15

CJ. Zhang               

"System-level AI Safety: Why So Challenging? - From a Formal Perspective"

Matthew Davis             

"Is it too soon to give a retrospective talk?"

November 22

Jane Hsieh         

"Empowering Gig Workers: Communication Strategies and Beyond"

Samuel Estep               

"Gradual Program Analysis for Null Pointers"

November 29

Trenton Tabor              

Constraining image translation for testing:

CUT-UP and other goofy Contrastive Unpaired Translation hacks

Parv Kapoor             

Model-based reinforcement learning from signal temporal logic specifications

January 24, 2022

Kyle Liang         

The Treble with Music: Capturing Music in a Domain Specific Language

Luis Fernandes-Gomes               

Be Wise, Visualize

January 31

Jeremy Lacomis             

Oh No, My Brain!

Daniel Ramos              

Automatic repair of code transpiled by machine translation models

February 7

Luke Dramko       

Idiomizing Decompiled Code

Sophia Kolak              

It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem 

February 14

Yuchen Shen

Toward Scenario Quality Assessment and Improvement

 Nikitha Rao

Data Mining for AI: Not All That Glitters Is Gold

February 21

Nimo Ni 

Developing conceptual understanding through interactive mathematical diagramming

Ian McCormack 

Definition-Aware Heuristics for SAT

February 28

Tobias Dürschmid

ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems (ICSA practice talk)

 Vasu Vikram

Growing a Test Corpus with Bonsai Fuzzing

March 14

Ao Li

Automatic Horizontal Fusion For GPU Kernels

David Widder

Deepfakes, Space Missions, and Mites: Locating Accountability in the Mythos of Modularity

March 21

Morgan Evans 

Bloomwood Stories Study: Embedding theory in game design

  Manisha Mukherjee

Answers Aren’t Forever: Learning to Find Outdated Data on StackOverflow

March 28

Selva Samual 

Connector Compatibility Analysis to Support Connector Evolution

Kush Jain

Mutation Analysis for Coq
April 4

Nadia Nahar 

Collaboration Challenges in Building ML-Enabled Systems: Communication, Documentation, Engineering, and Process

Pedro Mendes

HyperJump: Accelerating HyperBand via Risk Modelling

April 11

Benjamin Gafford 

Challenges in testing open-source autonomous vehicle software

Daye Nam

Programming Knowledge Discovery with Machine Learning: A Case Study of API Alternatives

April 18

Christopher Meiklejohn 

From Research to Practice: Filibuster and DoorDash (Practicum Talk)

Leo Chen 

Designing a student-led seminar

April 25

Simon Chu

Reconciliation-based Resolution of Feature Interactions in Cyber-Physical Systems

Ryan Wagner 

Exemplar Systems for Evaluating Secure Graceful Degradation

Spring 2021

February 1st                                                                                       

Zeeshan Lakhani               

Polarized Functional Programming v0.1

Christian Kästner           

Feature Interactions on Steroids: Composition of ML Models

February 8th

Ryan Wagner             

SolarWinds: Backdraft

Christopher Meiklejohn              

What We Talk About When We Talk About Chaos Engineering

February 15th

Yuchen Shen               

Named Entity Recognition and Classification

Jane Hsieh              

Freelancer Practices: How gig workers land projects online

February  22nd

  Rohan Padhye         

Efficient Fail-Fast Dynamic Subtype Checking

Selva Samuel               

Facilitating Connector Evolution With Architecture-Centric Development
March 1st

Simon Chu              

Dynamic Resolution of Feature Interactions using Requirement Negotiation

Nimo Ni           

Developing conceptual understanding through interactive mathematical diagramming

March 8th

Jenna Wise              

Symbolic Execution for Efficient Gradual Verification

C.J. Zhang                

Enhancing Alloy with Optimization Analysis

March 15th

Kyle Liang               

TickTalk - Timing and Dataflow Graphs

Tobias Dürshmid           

Collaborating Quality Attribute Analyses

March 22nd

Daniel Smullen              

Smarter, Not Harder: Engineering Better Privacy and Security Settings for Notice and Choice (Thesis Proposal Practice Talk)

Morgan Evans             

Designing a Self-Efficacy Game for Health Literacy in Marginalized Communities

 

March 29th

David Widder             

CHI Practice Talk

Leo Chen              

Automated Program Repair: Pathways to Adoption

April 5th

Afsoon Afzal              

Ph.D. and beyond

Cody Kinneer              

Ph.D. and beyond

April 12th

Miguel Velez             

On the Development and Support Processes of Software Systems for Different Users

Benjamin Gafford             

Exploring the efficacy of scenario-based testing in autonomous vehicle systems

April 26th

Jeremy Lacomis               

Augmenting Decompiler Output with Learned Variable Names and Types

Leo Li               

Automatically Generating Second-order DoS Attacks for SDN Controllers

May 3rd

Daye Nam               

Learning from Developers Who Are Using Stack Overflow to Learn: A Case Study of Machine Learning

Manisha Mukherjee   -Canceled             

TBD

May 10th 

Shurui Zhou, Assistant Professor, University of Toronto  & Graduated Software Engineering Ph.D. Student

How and why I decided to stay in academia -- from a 1-yr post-PhD's perspective

 

Hold              

 

              

 

              

 

           

Fall 2020

August 31

Vincent Hellendoorn

Deep Learning in Software Engineering: Where Are We?

Rohan Padhye

Bending Fuzzers To One's Own Will
September 14

Miguel Velez

Balancing Accuracy, Cost, and Interpretability in Performance Modeling of Configurable Systems

Ryan Wagner

Secure Graceful Degradation in Uncertainty

September 21

Chu Pan Wong

Complete Exploration of Program Repair Search Space with Variational Execution

David Widder

A conceptual replication of continuous integration pain points in the context of Travis CI
September 28

Leo Chen

Leading an Identities Course

Daniel Smullen

Managing Intrusive Practices In The Browser: A User-Centered Perspective

October 5

Kyle Liang

TickTalk - Total Functional Language Design for IoT Devices

Selva Samuel

Facilitating Connector Evolution with Architecture-Centric Development

October 12

C.J. Zhang

A Behavioral Notion of Robustness for Software Systems

Jenna Wise

Gradual Verification of Recursive Heap Data Structures

October 19

Afsoon Afzal

SOSRepair: Expressive Semantic Search for Real-World Program Repair

Daye Nam

How Do People Use Documentation: Discovering Usage Patterns Through Log Analysis

October 26

Rohan Padhye

How to effectively provide feedback in SSSG - A discussion

Wode Ni

reCode: Example-driven Interaction for Expressive Find-and-Replace

November 2

Tobias Dürschmid

Component-based Timing & Memory Analysis

Cody Kinneer

Explainable Games

November 9

Jeremy Lacomis

Type Recovery for Decompilers

Gabriel Ferreira

Detecting Suspicious Package Updates in the Node.js/npm Ecosystem

November 16

Nadia Nahar

Collaboration Challenges in Building Production Machine Learning Systems

Christopher Meiklejohn

Dynamic Symbolic Execution for Chaos-Style Experimentation

November 23

Simon Chu

Exploring the Feature Interaction Problem in Cyber-Physical Systems

Ao Li

VPC Security Simplifier

November 30

Jane Hsieh

Asking questions is easy,  asking great questions is hard: Constructing Effective Stack Overflow Questions

Yuchen Shen

Exploring how to improve user story qualities to assist software developers

December 7

Benjamin Gafford

Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems

Trenton Tabor

Putting image manipulations in context: robustness testing for safe perception

December 14

Luke Dramko

What’s in the Data? Towards Better Performance for the Decompiled Identifier Renaming Engine.

Jason Tsay

"PhD: Endgame"                                                                       

Spring 2020

January 13th

Jonathan Aldrich

Programming Language Design by Concept                           

Jenna Wise

Gradual Verification of Recursive Heap Data Structures

January 27th

Shurui Zhou

TBD

 Shurui Zhou

TBD

February 3rd

Daniel Smullen 

Understanding Browser Privacy Settings

Kyle Liang

TickTalk - Time Oriented Language Design for IoT Devices

February 10th

Christopher Meiklejohn

Determinizing Cloud Services for Virtual Resiliency and Postmortem Debugging 

 

 TBD

February 17th

 Bogdan Vasilescu

Some new science of stress 

 

February 24th

Maria da Loura Casimiro

Leveraging dataset shift detection methods to decide when to adapt

Ryan Wagner

Therac-25 at 35 

March 2nd

Changjian Zhang 

Enable Optimization in Alloy by using MAX-SAT

Morgan Evans

Privacy Policies and PhDs: Exploring the role of clarity in policy text and the research process
March 16th 

Leo Chen-Canceled per University Class shutdown 

TBD

Thomas Glazier-Canceled per University Class shutdown 

TBD 

March 23rd

 Tobias Dürschmid 

Quality Attribute Dependencies

 Sherry Li, Guest Speaker  

Explanation for human-involved self-adaptive systems

March 30th

Miguel Velez

How to Profile Numerous Regions in Programs

Daye Nam

Personalizing API  Documentation

April 6th

Gabriel Ferreira

Containing Malicious Package Updates With A Lightweight Permission System

 Cody Kinneer,

Search-based Plan Reuse in Self-* Systems

April 13th

Afsoon Afzal 

A Study on the Challenges of Using Robotics Simulators for Testing                                                                                                                              

Wode Ni

How Domain Experts Create Conceptual Diagrams and Implications for Tool Design 

April 20th

 Leo Chen

A Study of Multi-Location Bug Patches

 Thomas Glazier 

Case Study of An Automated Approach to Managing Collections of Autonomic Systems
April 27th

Jeremy Lacomis

Automatically Debloating Binaries

Chu-Pan Wong

What Is Variational Execution and How to Use It 

May 4th 

Roykrong Sukkerd

Improving Transparency and Intelligibility of AI Planning [Practice job talk]

Selva Samuel

Challenges in Migration from Monolith to Microservices                                                                             

 

Fall 2019

August 26

 Christopher Meiklejohn

Partisan: Scaling the Distributed Actor Runtime

 

 

 September 9

 David Widder

"I worked at JPL/NASA this summer, which was fun."

Ryan Wagner

Graceful Degradation in the Presence of Adversaries: A Data-Driven Approach

 September 16

 Daye Nam

MARBLE: Mining for Boilerplate Code to Identify API Usability Problems

Tobias Dürschmid

Inferring Quality Attribute Assumptions

September 23

 Shurui Zhou

Enhance Collaboration in AI-Enabled projects 

Rijnard van Tonder

Applications and Challenges for Lightweight Program Transformation

 September 30

 T.J. Glazier

Case Study of an Automated Approach to Managing a Collection of Autonomic Systems

 

Jeremy Lacomis

DIRE: A Neural Approach to Decompiled Identifier Renaming

 October 7

 Chu-Pan Wong

Improving and Applying Variational Execution

Daniel Smullen

The Best of Both Worlds: Mitigating Trade-offs Between Accuracy and User Burden in Capturing Mobile App Privacy Preferences

 October 14

 Wode Ni

Beyond Diagramming: Language Tutorials and Visual Narratives with Penrose

Jenna Wise

Gradual Verification of Recursive Heap Data Structures

October 21

 Miguel Velez 

Minimizing Configurations to Explore Independent Control-Flow Decision

Selva Samuel

The Proof of the Sensitivity Conjecture

 October 28

 Morgan Evans

Privacy policy generation: learning examples to reduce ambiguity

 Christian Kästner

Granularity in Software Product Lines -- 12 Years Later

 November 4

 Afsoon Afzal

A Study on Challenges of Testing Robotic Systems 

Cody Kinneer

Building Reusable Repertoires for Stochastic Self-* Planners

November 11

 Kyle Liang

Javascript JIT Woes: Profiling a Facebook Internship

Gabriel Ferreira

Towards Practical and Trustworthy Package Management in Node.js/npm

 November 18

 Serena Chen

Efficiently Finding Higher-Order Mutants

Zeeshan Lakhani

Treating Packets on the Whole

 November 25

 Changjian Zhang

How to characterize software robustness - A formal approach

 Roykrong Sukkerd

Explainable Agency: Calibrating Human-Agent Trust in Multi-Objective Planning

 December 2

 Maria Casimiro

Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs

 Ashutosh Pandey

Reflections from My Thesis Research  

December 9

 Claire LeGoues

It Does What You Say, Not What You Mean: Lessons From A Decade Of Program Repair

 Claire LeGoues

                                           

Spring 2019

January 14

Christopher Meiklejohn

Rethinking the Distributed Actor Runtime For Greater Scalability                     

William Scherlis

AI Engineering Science in SCS and SEI - Emerging Concepts

January 28

Ryan Wagner- Canceled

TBA

Shurui Zhou

Improving Collaboration Efficiency in Fork-based Development

February 4

Ashutosh Pandey

Fast and Slow System Thinking: an Experimental Study of Learning-based Hybrid Planning

Jenna Wise

Gradual Verification

February 11

Mauricio Soto

Patch Diversity and Consolidation as a Means to Increase Plausible Patch Quality:

Jeremy Lacomis

A Turing Test for Genetic Improvement

 

 February 18

 Rijnard van Tonder

Lightweight Syntax Transformation with Parser Holes

 Daye Nam

Mining for Boilerplate Code to Search for API Usability Problems

February 25

 Zeeshan Lakhani

Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs

Daniel Smullen

Incorporating Purpose Into Android App Permissions

March 4

Miguel Velez

Accurate Performance Analysis of Configurable Systems with Dynamic Taint Anlysis

Travis Breaux

Publish or Perish: The Changing Landscape of Publication Models

March 11

 Tobias Dürschmid

Codifying Quality Attribute Assumptions

Roykrong Sukkerd

Practicum Talk: Relevance of SE Research in AI-Driven Industry

March 18

Morgan Evans

Towards automated extraction of data type descriptions from legal text

 Kevin Clancy

Proving Functions Monotone with Coeffects 

March 25

Wode Ni

How do domain experts create explanatory diagrams?

T.J. Glazier

Information Representation in Collections of Autonomic Systems

April 1

 Afsoon Afzal

Blackbox Model Inference for Robotics

Cody Kinneer

Modeling Observability to Defend Against Advanced Persistent Threats

April 8

Gabriel Ferreira

Permission Enforcement Mechanisms: Experience and Reflection

 Chu Pan Wong

Demystifying Higher-Order Mutation Testing with Variational Execution

April 15

Jaspreet Bhatia

Reflections on my Ph.D. journey

Darya Melicher

Use cases for Wyvern’s effect system

April 22

Selva Samuel- Cancel 

TBA

David Widder

TBA

April 29

Ryan Wagner

Graceful Degradation Under Attack - Incorporating More Realism

Michael Hilton

Exploring Teaching Opportunities                                                        

Spring 2018

January 22

Cancel

                                                                                    

 Cancel

 

January 29

Cancel

 

Cancel

 

February 5

Ryan Wagner

A System for Evaluating the Security Properties of System Architectures

 Michael Hilton

The one secret about social media big academia doesn’t want you to know!

February 12

Jonathan Aldrich

Inderdisciplinary Programming Language Design

Bogdan Vasilescu

You say it best when you say nothing at all: Communicating through repository badges on GitHub

 February 19

Rijnard van Tonder

Static Automated Program Repair for Heap Properties

 Jenna Wise

Visual Language Semantics: A Literature Review

 February 26

Darya Melicher

Wyvern's Effect System

 Sudarshan Wadkar

Canceled

 March 5

Jeremy Lacomis

Statistical Machine Translation for Automatic Identifier Renaming in Decompiled Source Code

Afsoon Afzal

Crashing simulated planes is cheap: Can simulation detect robotics bugs early?

March 19

Morgan Evans

Semantic Agreement Among Stakeholder Interpretations of Logical Hyponymy 

 

 Daniel Smullen

Will it scale? Developing and testing scalable web-based applications for use as research instruments.

March 26

Miguel Velez

ConfigCrusher: White-Box Performance Analysis for Configurable Systems

Cody Kinneer

Managing Uncertainty in Self-* Systems with Plan Reuse and Stochastic Search

 

April 2

Roykrong Sukkerd

Towards Explainability Principles of Sequential Decision Making

Ivan Ruchkin

A Case Study in Model Integration: BRASS MARS (Phase 1)

April 9

Jaspreet Bhatia

Semantic Incompleteness in Privacy Policy Goals

 David Widder

I’m Leaving You, Travis! A Continuous Integration Breakup Story

April 16

 T.J. Glazier

Meta-Management of an Electrical Grid
 

Michael Hilton

A Study of the Organizational Dynamics of Software Teams

April 23

Gabriel Ferreira

Practical and Trustworthy Dependency Management (for Node.js)

 Selva Samuel

Towards a Language for Multi-View Architecture Description and Control

April 30

Ashutosh Pandey

Conditions for Intuitive Expertise : A Failure to Disagree

Daniel Kahneman and Gary Klein

Chu-Pan Wong

Faster Variational Execution and its Applications

May 7

Owen Cheng, Uber Advanced Technology Group

Life After a SE Ph.D.

Shurui Zhou

Identifying Features in Forks

Fall 2017

August 28

Michael Hilton

"Trade-Offs in Continuous Integration: Assurance, Security and Flexibility"

Bogdan Vasilescu

"Recovering Clear, Natural Identifiers from Obfuscated JavaScript Names"

September 11

Roykrong Sukkerd

"Explainable Planning Language for Multi-Objective Probabilistic Planning"

Ashutosh Pandey

This a practice talk for a workshop presentation."Instance-based Learning for Hybrid Planning"

September 18

Ivan Ruchkin

Tutorial: Satisfiability Modulo Theories

 Jens Meinicke

Understanding Interactions in Highly-Configurable Software

September 25

Darya Melicher

Using Object Capabilities and Effects to Build an Authority-Safe Module System

Mauricio Soto

Test suites, overfitting and its role in automatic program repair

October 2

Cody Kinneer

Internship Report: Architecture and Modeling at NASA's Jet Propulsion Laboratory

Ryan Wagner

Analyzing System Architecture to Ensure Graceful Degradation Under Attack

October 9

T.J. Glazier

Approach to Meta-Management of Autonomous Systems

Morgan Evans

An Evaluation of Constituency-based Hyponymy Extraction from Privacy Policies

October 16

Jonathan Aldrich

Design-Driven Assurance in Wyvern

David Widder

Framework Debugging, Stories Of Benefits and Challenges

October 23

Afsoon Afzal

Evaluating Robot Blockly: A Comparative Study of Robotics Programming Environments for Adult Novices

Christian Kästner

On The Power of Domain-Specific Languages: The Aidan Notation

October 30

Sudarshan Wadkar (Cancelled moved to Dec. 11th)

TBA

 Jenna Wise (Cancelled moved to Dec. 11th)

TBA

November 6

Jeremy Lacomis

Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs

Daniel Smullen

Why do researchers write terrible code? (A shameless plug for our new  Friday  lunch 'n' learn sessions)

November 13

Shurui Zhou

Avoid Wasteful Practices in Fork-based Development

 

November 20

Rijnard van Tonder

Fuzz and Patch and Fuzz

Chu-Pan Wong

Variational Bytecode

November 27

Miguel Velez

Reducing Instrumentation Overhead for Java Performance Measurement.

Gabriel Ferreira

Enabling Improved Security in Software Ecosystems: The Node.js/ npm case

December 4

Selva Samuel

 Reasoning about Communication Integrity in Wyvern

Jim Herbsleb

 How to Give a Really Bad Talk: Tips, Tricks, and Theoretical Foundations

December 11

Sudarshan Wadkar

Web Use Cases - Annotating the Web for flow of events

Jenna Wise

Towards Mining Eye-Tracking Datasets for Developer Expertise Prediction

Spring 2017

January 23

Bogdan Vasilescu

Presenting Research: Structure, Story, and Support

Jason Tsay

Predicting Community Support for Open Source Software Projects in GitHub

January 30

Graham Neubig, Asst. Professor, LTI

Neural Network Models for Generating Source Code from Natural Language

Sudhi Wadkar

Recognizing Textual Entailment and Natural Language Processing Models

February 6

Thomas Glazier (Cancelled)

TBA

 
February 13

Vishal Dwivedi

"Engineering End-User Composition Environments — a Framework Approach"

Mary Shaw

"What Can Control Theory Teach Us about Designing Cyber-Physical Systems?"

February 20

Ryan Wagner

Exemplar of an Advanced Persistent Threat for Research Use

Daniel Smullen

A basic tutorial on Description Logic, for newbies.

February 27

Miguel Velez

Exploiting Structure and Behavior of Highly Configurable Systems to Measure Performance

Cody Kinneer

Software Architecture, NASA Style

March 6

Mary Shaw

Curriculum Design, Demystified

Discussion moderated by Mary Shaw

Darko Bozhinoski

Safety-Driven Adaptation in Mobile Multi-Robot systems (MMRSs)

March 20

Rijnard van Tonder

Lifter Synthesis: Synthesizing a Program Analysis Component

Selva Samuel

Motion Control of a Mobile Robot

March 27

Afsoon Afzal

Code-level adaptation in the robotics domain

 
April 3

No Talk

Graduate Student Appreciation NSH 4:30-6:00

No Talk

Graduate Student Apprecation in NSH 4:30-6:00

April 10

Roykrong Sukkerd

Towards Self-Explaining Model-Based Adaptive Systems

Ivan Ruchkin

Inconsistencies in Models of Adaptive Service Robots

April 17

Jaspreet Bhatia

Privacy Goal Mining through Hybridized Task Re-composition

Gabriel Ferreira

Design Dimensions   for   Software Certification

April 24

Darya Melicher

A Capability-Based Module System for Authority Control

Ashutosh Pandey

Towards a Formal Framework for Hybrid Planning in Self-Adaptation

May 1

 Anna Filippova

From Diversity by Numbers to Diversity as Process: Supporting Inclusiveness in Software Development Teams with Brainstorming

Graham Neubig and Pengcheng Yin

Neural Network Models for Generating Source Code from Natural Language

     

Fall 2016

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

Gabriel Ferreira

"Time Management (for humans)"

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 Melicher

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

Self-Explanation for Human-in-the-Loop Autonomous Systems

Jason Tsay

Signaling, Transparency, and Software Engineering

October 10

Mauricio Soto

Using a probabilistic model to predict bug fixes

T.J. Glazier

The Case for Meta-Management of Autonomous Systems

October 17

Daniel Smullen

"Alexander the Anonymous: a tactician who promotes privacy in software architectures"

Afsoon Afzal

"Small Scale vs. Large Scale Evaluation"

October 24

Vishal Dwivedi

Towards tools for End User Architecting — the research and engineering challenges

George Fairbanks, Former SE Ph.D. Student

Model-Minded Development

October 31

Waqar Ahmad

Reusability Challenges in using a Custom-Built Software System as a Software Product

Ivan Ruchkin

IPL: A Language for Model Integration Properties in Cyber-Physical Systems

November 7

Miguel Velez-Cevallos

A TurtleBot Configurations Measurement Harness to Build a Sensitivity Model

Jonathan Aldrich

On Science, Mathematics, and Engineering in Language Design: The Case of an Immutability Type System

November 14

Cody Kinneer

Genetic Planning for Self Adaptive Systems

Gabriel Moreno

Scaling up Self-Adaptation with the Cross-Entropy Method

November 21

Jaspreet Bhatia

Semantic Frame Representation for Data Practices

Shuri Zhou

Applying Information Retrieval in Software Engineering

November 28

Ashutosh Pandey

Title: A Case Study: From Theory to Practice

Chu-Pan Wong

Playing with Java Bytecode

December 5

Selva Samuel

Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems

Rijnard van Tonder

Driving Program Repair with Verification

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 Melicher

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 Melicher

"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"