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:
- Attend both SSSG presentations each week.
- 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.
- 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
The Seminar is offered for graduate credit, is repeatable, and is intended to be an ongoing activity.
Fall 2024 & Spring 2025
| Aug 26th |
Sarah Santos, SE Ph.D. Student "Requirements Satisfiability with In-Context Learning" Ian McCormack, SE Ph.D. Student "A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries" |
|
| Sept 9th |
Elizabeth Gilbert, SE Ph.D. Student "whamm! A WebAssembly Bytecode Instrumentation DSL" Sam Estep, SE Ph.D. Student "Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions" |
Ben Titzer, Principal Researcher, S3D "Flexible Non-intrusive Dynamic Instrumentation for WebAssembly" |
| Sept 16th |
Ian Dardik, SE Ph.D. Student "Recomposition: A New Technique for Efficient Compositional Verification" Kyle Liang, SE Ph.D. Student "Collaboration in Hydrological Wireless Sensor Networks" |
Claire Le Goues, Associate Professor, S3D "Building a Research Vision" |
| Sept 23rd |
Hao He, SE Ph.D. Student "Building Solutions for Software Supply Chain Security: Lessons Learned from Socket" Matt Davis, SE Ph.D. Student "Finding more bugs faster" |
|
| Sept 30th |
Courtney Miller, SE Ph.D. Student "Supporting the Sustainable use of Open Source Software" Chenyang Yang, SE Ph.D. Student "Machine Learning in Production: A Case Study on Amazon's Product Rankers" |
Jonathan Aldrich, Professor, S3D "The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps" |
| Oct 7th |
Shrey Tiwari, SE Ph.D. Student "It's About Time: Strengthening Correctness of Date and Time Logic in Software Systems" Jenny Liang, SE Ph.D. Student "Interactive Spreadsheet Building: Understanding User Needs and Experiences with AI Creation Tools" Hemant Gouni, SE Ph.D. Student "Substructural Information Flow" |
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 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" |
|
| Mar 25th |
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" |
|
| Apr 1st |
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" |
| Apr 8th |
Lirong Yuan, SE Ph.D. Student "Sandboxing libraries" Zeeshan Lakhani, SE Ph.D. Student "Motivating Polarized Subtyping" |
|
| Apr 15th |
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)" |
| Apr 22nd |
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?" |
|
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 |
| 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". |
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"
|
C.J. Zhang - "AlloyMax: bringing maximum satisfaction to relational specifications" 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 |
| 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 |
Travis Breaux Publish or Perish: The Changing Landscape of Publication Models |
| March 11 |
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 |
| 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 |
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 |
| 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 |
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
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 |
"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/ |
| 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 |
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 |
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 |
| April 10 |
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 |
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 |
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 |
Darya Melicher 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 |
Fall 2015
|
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" |
|
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 " |
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 |
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" |