Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Tue 16 May 2023 17:22 - 17:30 at Meeting Room 101 - Posters and clossing

Recent advances in Machine Learning (ML) show that Neural Machine Translation (NMT) models can mock the program behavior when trained on input-output pairs. Such models can mock the functionality of existing programs and serve as quick-to-deploy reverse engineering tools. Still, the problem of automatically learning such predictive and reversible models from programs needs to be solved. This work introduces a generic approach for automated and reversible program behavior modeling. It achieves 94% of overall accuracy in the conversion of Markdown-to-HTML and HTML-to-Markdown markups.

Tue 16 May

Displayed time zone: Hobart change

15:45 - 18:00
15:45
7m
Poster
Towards Automated Embedded Systems Programming
DS - Doctoral Symposium
Imam Nur Bani Yusuf Singapore Management University, Singapore
15:52
7m
Poster
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation
DS - Doctoral Symposium
16:00
7m
Poster
Automating Code Generation for MDE using Machine Learning
DS - Doctoral Symposium

16:07
7m
Poster
Assessing Cognitive Load in Software Development with Wearable Sensors
DS - Doctoral Symposium

16:15
7m
Poster
A Framework to Communicate Software Engineering Data Effectively with Dashboards
DS - Doctoral Symposium
16:22
7m
Poster
Complementing secure code review with automated program analysis
DS - Doctoral Symposium

16:30
7m
Poster
Domain Specific Languages for Optimisation Modelling
DS - Doctoral Symposium

16:37
7m
Poster
Evaluation of Stakeholder Mapping and Sustainability Personas Towards Sustainable Software Development
DS - Doctoral Symposium
Bimpe Ayoola Dalhousie University
16:45
7m
Poster
Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design
DS - Doctoral Symposium
Chengjie Lu Simula Research Laboratory and University of Oslo
16:52
7m
Poster
From Input to Failure: Explaining Program Behavior via Cause-Effect Chains
DS - Doctoral Symposium
Marius Smytzek CISPA Helmholtz Center for Information Security
Pre-print
17:00
7m
Poster
Grammar-Based String Refinement Types
DS - Doctoral Symposium
Fengmin Zhu CISPA Helmholtz Center for Information Security
17:07
7m
Poster
Graph Solver as a Service
DS - Doctoral Symposium
Fozail Ahmad McGill University
17:15
7m
Poster
Incident Prevention Through Reliable Changes Deployment
DS - Doctoral Symposium
Eileen Kapel Delft University of Technology
17:22
7m
Poster
Learning Program Models from Generated Inputs
DS - Doctoral Symposium
Tural Mammadov CISPA Helmholtz Center for Information Security
17:30
7m
Poster
Learning Test Input Constraints from Branch Conditions
DS - Doctoral Symposium
Leon Bettscheider CISPA Helmholtz Center for Information Security
17:37
7m
Poster
Static Analysis for Android GDPR Compliance Assurance
DS - Doctoral Symposium
Mugdha Khedkar Heinz Nixdorf Institute at Paderborn University
Pre-print
17:45
7m
Poster
Towards an AI-centric Requirement Engineering Framework for Trustworthy AI
DS - Doctoral Symposium

17:52
7m
Day closing
Closing
DS - Doctoral Symposium
Didar Zowghi CSIRO's Data61, Denys Poshyvanyk College of William and Mary