Software Research Seminar Syllabus
The Software Research Seminar (SSSG) at CMU relies on active participation and a supportive community tohelp students broaden their understanding of software research and hone their presentation skills. Thisdocument briefly outlines our expectations for Software Engineering Ph.D. students with respect to SSSG.
The faculty recognizes that students may occasionally have conflicts with particular SSSG dates; in these
The Seminar is offered for graduate credit, is repeatable, and is intended to be an ongoing activity.
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"
ChristianKästner, Associate Professor, S3D
"slide design."
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"
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"
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"
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"
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"
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"
ChristianKästner, Associate Professor, S3D
"Thesis Proposals"
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?"
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?"
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"
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"
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"
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"
Daye Nam, SE Ph.D. Student
"User-centered Intelligent Information Support for Programmers"
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"
Claudia Mamede, SE Ph.D. Student
"Explainable AI for Vulnerability Detection and Localization"
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"
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"
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"
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"
Jenny T. 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"
Luís Gomes, SE Ph.D. Student
"Where Software Meets ML"
Shrey Tiwari, SE Ph.D. Student
"Resource Leaks from Theory to Production"
Tobias Dürschmid, SE Ph.D. Student
"ROSInfer: Statically Inferring Behavioral Component Models for ROS-Based Robotics System"
Long Nguyen, SE Ph.D. Student
"High-Assurance Software Engineering with JavaCard"
Manisha Mukherjee, SE Ph.D. Student
"'Medium' LMs in the Era of LLMs"
Edward J. Schwartz, Senior Researcher, Software Engineering Institute, Carnegie Mellon University
"Ghosts of Reverse Engineering: Past, Present, and Future"
Lirong Yuan, SE Ph.D. Student
"Sandboxing libraries"
Zeeshan Lakhani, SE Ph.D. Student
"Motivating Polarized Subtyping"
Andy Hammer, SE Ph.D. Student
"Verification of Secure Multiparty Computation Deployments with Domain Context"
Hwei-Shin Harriman, SE Ph.D. Student
"Dope Geometry Proofs"
Krystal Maughan, PhD Student, University of Vermont
"Recursive Proofs for Isogeny-based cryptography: (A case for formal methods)"
Haoze He, SE Ph.D. Student
"Adjacent Leader Decentralized Stochastic Gradient Descent"
Selva Samuel, SE Ph.D. Student
"Connector Evolution: A SQL to NoSQL Migration Case Study"
Sarah Santos, SE Ph.D. Student
"How Do Economists Write Code for Lawyers?"
Andrew Begel, Associate Professor, S3D
"Research Talk"
Fraser Brown, Assistant Professor, S3D
"Research Talk"
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"
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"
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"
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"
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"
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"
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"
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"
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:
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"
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"
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"
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"
Wode "Nimo" Ni & Sam Estep, SE Ph.D. Students
"Penrose 2.0"
Jeremy Lacomis, SE Ph.D. Student
"Towards Parenting a New Child"
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."
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"
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?"
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?"
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
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"
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"
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"
IanMcCormack, SE Ph.D. Student "Unsafety First - Exploring Beyond the Limits of Rust’s Borrow Checker"
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"
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"
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"
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"
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"
Jenna Wise
" Gradual Viper: Symbolic Execution for Efficient Gradual Verification"
Ryan Wagner
TBD
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"
Christopher Meiklejohn
"Service-level Fault Injection Testing"
TBD
TBD
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"
CJ. Zhang
"System-level AI Safety: Why So Challenging? - From a Formal Perspective"
Matthew Davis
"Is it too soon to give a retrospective talk?"
Jane Hsieh
"Empowering Gig Workers: Communication Strategies and Beyond"
Samuel Estep
"Gradual Program Analysis for Null Pointers"
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
Kyle Liang
The Treble with Music: Capturing Music in a Domain Specific Language
Luis Fernandes-Gomes
Be Wise, Visualize
Jeremy Lacomis
Oh No, My Brain!
Daniel Ramos
Automatic repair of code transpiled by machine translation models
Luke Dramko
Idiomizing Decompiled Code
Sophia Kolak
It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem
Yuchen Shen
Toward Scenario Quality Assessment and Improvement
Nikitha Rao
Data Mining for AI: Not All That Glitters Is Gold
Nimo Ni
Developing conceptual understanding through interactive mathematical diagramming
Ian McCormack
Definition-Aware Heuristics for SAT
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
Ao Li
Automatic Horizontal Fusion For GPU Kernels
David Widder
Deepfakes, Space Missions, and Mites: Locating Accountability in the Mythos of Modularity
Morgan Evans
Bloomwood Stories Study: Embedding theory in game design
Manisha Mukherjee
Answers Aren’t Forever: Learning to Find Outdated Data on StackOverflow
Selva Samual
Connector Compatibility Analysis to Support Connector Evolution
Kush Jain
Mutation Analysis for Coq
Nadia Nahar
Collaboration Challenges in Building ML-Enabled Systems:Communication, Documentation, Engineering, and Process
Pedro Mendes
HyperJump: Accelerating HyperBand via Risk Modelling
Benjamin Gafford
Challenges in testing open-source autonomous vehicle software
Daye Nam
Programming Knowledge Discovery with Machine Learning:A Case Study of API Alternatives
Christopher Meiklejohn
From Research to Practice: Filibuster and DoorDash (Practicum Talk)
Leo Chen
Designing a student-led seminar
Simon Chu
Reconciliation-based Resolution of Feature Interactions in Cyber-Physical Systems
Ryan Wagner
Exemplar Systems for Evaluating Secure Graceful Degradation
Zeeshan Lakhani
Polarized Functional Programming v0.1
Christian Kästner
Feature Interactions on Steroids: Composition of ML Models
Ryan Wagner
SolarWinds: Backdraft
Christopher Meiklejohn
What We Talk About When We Talk About Chaos Engineering
Yuchen Shen
Named Entity Recognition and Classification
Jane Hsieh
Freelancer Practices: How gig workers land projects online
Rohan Padhye
Efficient Fail-Fast Dynamic Subtype Checking
Selva Samuel
Facilitating Connector Evolution With Architecture-Centric Development
Simon Chu
Dynamic Resolution of Feature Interactions using Requirement Negotiation
Nimo Ni
Developing conceptual understanding through interactive mathematical diagramming
Jenna Wise
Symbolic Execution for Efficient Gradual Verification
C.J. Zhang
Enhancing Alloy with Optimization Analysis
Kyle Liang
TickTalk - Timing and Dataflow Graphs
Tobias Dürshmid
Collaborating Quality Attribute Analyses
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
David Widder
CHI Practice Talk
Leo Chen
Automated Program Repair: Pathways to Adoption
Afsoon Afzal
Ph.D. and beyond
Cody Kinneer
Ph.D. and beyond
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
Jeremy Lacomis
Augmenting Decompiler Output with Learned Variable Names and Types
Leo Li
Automatically Generating Second-order DoS Attacks for SDN Controllers
Daye Nam
Learning from Developers Who Are Using Stack Overflow to Learn: A Case Study ofMachine Learning
Manisha Mukherjee -Canceled
TBD
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
Vincent Hellendoorn
Deep Learning in Software Engineering: Where Are We?
Rohan Padhye
Bending Fuzzers To One's Own Will
Miguel Velez
Balancing Accuracy, Cost, and Interpretability in Performance Modeling of Configurable Systems
Ryan Wagner
Secure Graceful Degradation in Uncertainty
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
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
C.J. Zhang
A Behavioral Notion of Robustness for Software Systems
Jenna Wise
Gradual Verification of Recursive Heap Data Structures
Afsoon Afzal
SOSRepair: Expressive Semantic Search for Real-World Program Repair
Daye Nam
How Do People Use Documentation: Discovering Usage Patterns Through Log Analysis
Rohan Padhye
How to effectively provide feedback in SSSG - A discussion
Wode Ni
reCode: Example-driven Interaction for Expressive Find-and-Replace
Tobias Dürschmid
Component-based Timing & Memory Analysis
Cody Kinneer
Explainable Games
Jeremy Lacomis
Type Recovery for Decompilers
Gabriel Ferreira
Detecting Suspicious Package Updates in the Node.js/npm Ecosystem
Nadia Nahar
Collaboration Challenges in Building Production Machine Learning Systems
Christopher Meiklejohn
Dynamic Symbolic Execution for Chaos-Style Experimentation
Simon Chu
Exploring the Feature Interaction Problem in Cyber-Physical Systems
Ao Li
VPC Security Simplifier
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
Benjamin Gafford
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
Trenton Tabor
Putting image manipulations in context: robustness testing for safe perception
Luke Dramko
What’s in the Data? Towards Better Performance for the Decompiled Identifier Renaming Engine.
Jason Tsay
"PhD: Endgame"
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
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 Codeto 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
Travis Breaux
Publish or Perish: The Changing Landscape of Publication Models
Tobias Dürschmid
Codifying Quality Attribute Assumptions
Practicum Talk: Relevance of SE Research in AI-Driven Industry
March 18
Morgan Evans
Towards automated extraction of data type descriptions from
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
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
Ryan Wagner
Graceful Degradation Under Attack - Incorporating More Realism
Michael Hilton
Exploring Teaching Opportunities
Michael Hilton
"Trade-Offs in Continuous Integration: Assurance, Security and Flexibility"
Bogdan Vasilescu
"Recovering Clear, Natural Identifiers from Obfuscated JavaScript Names"
"Explainable Planning Language for Multi-Objective Probabilistic Planning"
Ashutosh Pandey
This a practice talk for a workshop presentation."Instance-based Learning for Hybrid Planning"
Ivan Ruchkin
Tutorial: Satisfiability Modulo Theories
Jens Meinicke
Understanding Interactions in Highly-Configurable Software
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
Cody Kinneer
Internship Report: Architecture and Modeling at NASA's Jet Propulsion Laboratory
Ryan Wagner
Analyzing System Architecture to Ensure Graceful Degradation Under Attack
T.J. Glazier
Approach to Meta-Management of Autonomous Systems
Morgan Evans
An Evaluation of Constituency-based Hyponymy Extraction from Privacy Policies
Jonathan Aldrich
Design-Driven Assurance in Wyvern
David Widder
Framework Debugging, Stories Of Benefits and Challenges
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
Sudarshan Wadkar (Cancelled moved to Dec. 11th)
TBA
Jenna Wise (Cancelled moved to Dec. 11th)
TBA
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)
Shurui Zhou
Avoid Wasteful Practices in Fork-based Development
Rijnard van Tonder
Fuzz and Patch and Fuzz
Chu-Pan Wong
Variational Bytecode
Miguel Velez
Reducing Instrumentation Overhead for Java Performance Measurement.
Gabriel Ferreira
Enabling Improved Security in Software Ecosystems: The Node.js/
Selva Samuel
Reasoning about Communication Integrity in Wyvern
Jim Herbsleb
Howto Give a ReallyBad Talk:Tips, Tricks,and TheoreticalFoundations
Sudarshan Wadkar
Web Use Cases - Annotating the Web for
Jenna Wise
Towards Mining Eye-Tracking Datasets for Developer Expertise Prediction
Bogdan Vasilescu
Presenting Research: Structure, Story, and Support
Jason Tsay
Predicting Community Support for Open Source Software Projects in GitHub
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
Thomas Glazier (Cancelled)
TBA
Vishal Dwivedi
"Engineering End-User Composition Environments — a Framework Approach"
Mary Shaw
"What Can Control Theory Teach Us about Designing Cyber-Physical Systems?"
Ryan Wagner
Daniel Smullen
A basic tutorial on Description Logic, for newbies.
Miguel Velez
Exploiting Structure and Behavior of Highly Configurable Systems to Measure Performance
Cody Kinneer
Software Architecture, NASA Style
Mary Shaw
Curriculum Design, Demystified
Discussion moderated by Mary Shaw
Darko Bozhinoski
Safety-Driven Adaptation in Mobile Multi-Robot systems (MMRSs)
Rijnard van Tonder
Lifter Synthesis: Synthesizing a Program Analysis Component
Selva Samuel
Motion Control of a Mobile Robot
Afsoon Afzal
Code-level adaptation in the robotics domain
No Talk
Graduate Student Appreciation NSH 4:30-6:00
No Talk
Graduate Student
Towards Self-Explaining Model-Based Adaptive Systems
Ivan Ruchkin
Inconsistencies in Models of Adaptive Service Robots
Jaspreet Bhatia
Privacy Goal Mining through Hybridized Task Re-composition
Gabriel Ferreira
Design Dimensions for Software Certification
Darya Melicher
A Capability-Based Module System for Authority Control
Ashutosh Pandey
Towards a Formal Framework for Hybrid Planning in Self-Adaptation
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
Gabriel Ferreira
"Time Management (for humans)"
Christian Kästner
How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems
David Garlan
"Rethinking the Role of the Software Architect"
DaryaMelicher
Data Model and Concurrency in the Do Programming Language
Sudarshan Wadkar
Modeling Laws and Regulations
Ryan Wagner
Why is Government Software So Bad?
Self-Explanation for Human-in-the-Loop Autonomous Systems
Jason Tsay
Signaling, Transparency, and Software Engineering
Mauricio Soto
Using a probabilistic model to predict bug fixes
T.J. Glazier
The Case for Meta-Management of Autonomous Systems
Daniel Smullen
"Alexander the Anonymous: a tactician who promotes privacy in software architectures"
Afsoon Afzal
"Small Scale vs. Large Scale Evaluation"
Vishal Dwivedi
Towards tools for End User Architecting — the research and engineering challenges
George Fairbanks, Former SE Ph.D. Student
Model-Minded Development
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
Miguel Velez-Cevallos
A TurtleBot Configurations Measurement Harness to Build a Sensitivity Model
Jonathan Aldrich
On Science, Mathematics, and Engineeringin Language Design:The Case of an Immutability Type System
Cody Kinneer
Genetic Planning for Self Adaptive Systems
Gabriel Moreno
Scaling up Self-Adaptation with the Cross-Entropy Method
Jaspreet Bhatia
Semantic Frame Representation for Data Practices
Shuri Zhou
Applying Information Retrieval in Software Engineering
Ashutosh Pandey
Title: A Case Study: From Theory to Practice
Chu-Pan Wong
Playing with Java Bytecode
Selva Samuel
Challenges in Physical Modeling for Adaptation of Cyber-Physical Systems
Rijnard van Tonder
Driving Program Repair with Verification
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
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
TBA
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
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
DaryaMelicher
A Capability-Safe Module System for Authority Control
April 25
Session Chair: Darya
Ashutosh Pandey
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
August 31
Len Bass
"Programming in the 1960s: A Personal History"
"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"
September21
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
"
Claire LeGoues
"Perspectives onStructuring 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"
DaryaMelicher
"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
Christian Kåstner
"Starting an Academic Career: Reflections on Habits that Worked for Me"
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"
