MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Programmatic Interfaces for Design and Simulation

Aman Mathur
MMCI, CISPA Helmholtz Center for Information Security
SWS Student Defense Talks - Thesis Defense
SWS  
Public Audience
English

Date, Time and Location

Thursday, 9 February 2023
13:30
60 Minutes
G26
111
Kaiserslautern

Abstract

Although Computer Aided Design (CAD) and simulation tools have been around for quite some time, modern design and prototyping pipelines are challenging the limits of these tools. Advances in 3D printing have brought manufacturing capability to the general public. Moreover, advancements in machine learning and sensor technology are enabling enthusiasts and small companies to develop their own autonomous vehicles and machines. This means that many more users are designing (or customizing) 3D objects in CAD, and many are testing autonomous machines in simulation. Though Graphical User Interfaces (GUIs) are the de-facto standard for these tools, we find that these interfaces are not robust and flexible. For example, designs made using GUIs often break when customized, and setting up large simulations is quite tedious in GUI. Though programmatic interfaces do not suffer from these limitations, they are generally quite difficult to use, and often do not provide appropriate abstractions and language constructs.

In this thesis, we present our work on combining the ease of use of GUI, with the robustness and flexibility of programming. For CAD, we propose an interactive framework that automatically synthesizes robust programs from GUI-based design operations. Additionally, we apply program analysis to ensure customizations do not lead to invalid objects. Finally, for simulation, we propose a novel programmatic framework that simplifies the building of complex test environments, and a test generation mechanism that guarantees good coverage over test parameters.

Contact

--email hidden

Virtual Meeting Details

Zoom
966 9385 6381
passcode not visible
logged in users only

Maria-Louise Albrecht, 01/23/2023 09:41 -- Created document.