Christopher S. Timperley
YOU?
Author Swipe
View article: ROSpec: A Domain-Specific Language for ROS-Based Robot Software
ROSpec: A Domain-Specific Language for ROS-Based Robot Software Open
Component-based robot software frameworks, such as the Robot Operating System (ROS), allow developers to quickly compose and execute systems by focusing on configuring and integrating reusable, off-the-shelf components. However, these comp…
View article: From Hazard Identification to Controller Design: Proactive and LLM-Supported Safety Engineering for ML-Powered Systems
From Hazard Identification to Controller Design: Proactive and LLM-Supported Safety Engineering for ML-Powered Systems Open
Machine learning (ML) components are increasingly integrated into software products, yet their complexity and inherent uncertainty often lead to unintended and hazardous consequences, both for individuals and society at large. Despite thes…
View article: Vulnerability Repair via Concolic Execution and Code Mutations
Vulnerability Repair via Concolic Execution and Code Mutations Open
Security vulnerabilities detected via techniques like greybox fuzzing are often fixed with a significant time lag. This increases the exposure of the software to vulnerabilities. Automated fixing of vulnerabilities where a tool can generat…
View article: Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches Open
The Robot Operating System (ROS) is a popular framework and ecosystem that allows developers to build robot software systems from reusable, off-the-shelf components. Systems are often built by customizing and connecting components via conf…
View article: ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems Open
Robotics systems are complex, safety-critical systems that can consist of hundreds of software components that interact with each other dynamically during run time. Software components of robotics systems often exhibit reactive, periodic, …
View article: Industry experiences with large-scale refactoring
Industry experiences with large-scale refactoring Open
Software refactoring plays an important role in software engineering. Developers often turn to refactoring when they want to restructure software to improve its quality without changing its external behavior. Small-scale (floss) refactorin…
View article: A retrospective study of one decade of artifact evaluations
A retrospective study of one decade of artifact evaluations Open
Most software engineering research involves the development of a prototype, a proof of concept, or a measurement apparatus. Together with the data collected in the research process, they are collectively referred to as research artifacts a…
View article: Reproduction Package (Docker container) for the ESEC/FSE 2022 Article `A Retrospective Study of one Decade of Artifact Evaluations`
Reproduction Package (Docker container) for the ESEC/FSE 2022 Article `A Retrospective Study of one Decade of Artifact Evaluations` Open
This is the artifact accompanying our study of artifact evaluations at SE/PL conferences and their effects, accepted for presentation at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software En…
View article: Reproduction Package (Docker container) for the ESEC/FSE 2022 Article `A Retrospective Study of one Decade of Artifact Evaluations`
Reproduction Package (Docker container) for the ESEC/FSE 2022 Article `A Retrospective Study of one Decade of Artifact Evaluations` Open
This is the artifact accompanying our study of artifact evaluations at SE/PL conferences and their effects, accepted for presentation at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software En…
View article: Reproduction Package (Docker container) for the FSE 2022 Article `A Retrospective Study of one Decade of Artifact Evaluations`
Reproduction Package (Docker container) for the FSE 2022 Article `A Retrospective Study of one Decade of Artifact Evaluations` Open
This is the artifact accompanying our study of artifact evaluations at SE/PL conferences and their effects, accepted for presentation at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software En…
View article: Industry's cry for tools that support large-scale refactoring
Industry's cry for tools that support large-scale refactoring Open
Software refactoring plays an important role in software engineering. Developers often turn to refactoring when they want to restructure software to improve its quality without changing its external behavior. Compared to small-scale (floss…
View article: An experience report on challenges in learning the robot operating system
An experience report on challenges in learning the robot operating system Open
The Robot Operating System (ROS) was initially introduced to lower the barriers to robots software development by reducing the need for extensive domain knowledge. ROS allows developers to build valuable robots by configuring and reusing o…
View article: Industry's Cry for Tools that Support Large-Scale Refactoring
Industry's Cry for Tools that Support Large-Scale Refactoring Open
Software refactoring plays an important role in software engineering. Developers often turn to refactoring when they want to restructure software to improve its quality without changing its external behavior. Compared to small-scale (floss…
View article: Industry Experiences with Large-Scale Refactoring
Industry Experiences with Large-Scale Refactoring Open
Software refactoring plays an important role in software engineering. Developers often turn to refactoring when they want to restructure software to improve its quality without changing its external behavior. Studies show that small-scale …
View article: Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software
Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software Open
Autonomous and Robotics Systems (ARSs) are widespread, complex, and increasingly coming into contact with the public. Many of these systems are safety-critical, and it is vital to detect software errors to protect against harm. We propose …
View article: Replication Package for ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems
Replication Package for ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems Open
Replication Package for ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems This is the replication package for the paper, ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations …
View article: Replication Package for ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems
Replication Package for ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems Open
Replication Package for ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems This is the replication package for the paper, ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations …
View article: User-driven Design and Evaluation of Liquid Types in Java
User-driven Design and Evaluation of Liquid Types in Java Open
Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address, and may have dire consequences. Type systems are particula…
View article: Replication Package for Understanding and Improving Artifact Sharing in Software Engineering Research
Replication Package for Understanding and Improving Artifact Sharing in Software Engineering Research Open
Replication Package for Understanding and Improving Artifact Sharing in Software Engineering Research This archive provides the associated publication analysis dataset and survey instrument for the research paper, Understanding and Improvi…
View article: Replication Package for Understanding and Improving Artifact Sharing in Software Engineering Research
Replication Package for Understanding and Improving Artifact Sharing in Software Engineering Research Open
Replication Package for Understanding and Improving Artifact Sharing in Software Engineering Research This archive provides the associated publication analysis dataset and survey instrument for the research paper, Understanding and Improvi…
View article: GzScenic: Automatic Scene Generation for Gazebo Simulator
GzScenic: Automatic Scene Generation for Gazebo Simulator Open
Testing robotic and cyberphysical systems in simulation require specifications of the simulated environments (i.e., scenes). The Scenic domain-specific language provides a high-level probabilistic programming language that allows users to …
View article: Replication package
Replication package Open
Mithra's Replication PackageIn this replication package, we provided Mithra and AR-SI's implementations, the dataset of 24 bugs on ArduPilot v3.6.9 that we used for evaluation, and 2500 traces of unlabeled training data and 466 evaluation …
View article: It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem - Replication Package
It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem - Replication Package Open
Over the past eleven years, the Robot Operating System (ROS), has grown from a small research project into the most popular framework for robotics development. Composed of packages released on the Rosdistro package manager, ROS aims to sim…
View article: It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem - Replication Package
It Takes a Village to Build a Robot: An Empirical Study of The ROS Ecosystem - Replication Package Open
Over the past eleven years, the Robot Operating System (ROS), has grown from a small research project into the most popular framework for robotics development. Composed of packages released on the Rosdistro package manager, ROS aims to sim…
View article: A Study on the Challenges of Using Robotics Simulators for Testing
A Study on the Challenges of Using Robotics Simulators for Testing Open
Robotics simulation plays an important role in the design, development, and verification and validation of robotic systems. Recent studies have shown that simulation may be used as a cheaper, safer, and more reliable alternative to manual,…
View article: A Study on Challenges of Testing Robotic Systems - Interview Script
A Study on Challenges of Testing Robotic Systems - Interview Script Open
Robotic systems are increasingly a part of everyday life. Characteristics of robotic systems such as interaction with the physical world, and integration of hardware and software components, differentiate robotic systems from conventional …