Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States

From the point of view of a software engineer, having safe and optimal controllers for real life systems like cyber physical systems is a crucial requirement before deployment. Given the mathematical model of these systems along with their specifications, model checkers can be used to synthesize controllers for them. The given work proposes novel approaches for making controller analysis easier by using machine learning to represent the controllers synthesized by model checkers in a succinct manner, while also incorporating the domain knowledge of the system. It also proposes the implementation of a visualization tool which will be integrated into existing model checkers. A lucid controller representation along with a tool to visualize it will help the software engineer debug and monitor the system much more efficiently.

Tue 12 Nov
Times are displayed in time zone: Tijuana, Baja California change

15:20 - 16:00
Poster Session: Student Research CompetitionStudent Research Competition at Kensington Ballroom
15:20
40m
Boosting Neural Commit Message Generation with Code Semantic Analysis
Student Research Competition
Shuyao JiangFudan University
15:20
40m
Toward Practical Automatic Program Repair
Student Research Competition
Ali GhanbariThe University of Texas at Dallas
15:20
40m
An Image-inspired and CNN-based Android Malware Detection Approach
Student Research Competition
Shao YangCase Western Reserve University
15:20
40m
An Approach for Investigating Emotion Dynamics in Software Development
Student Research Competition
Krishna NeupaneRochester Institute of Technology
15:20
40m
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
Student Research Competition
Kevin ZhangWayne State University
15:20
40m
Retrieve and Refine: Exemplar-based Neural Comment Generation
Student Research Competition
Bolin WeiPeking University
15:20
40m
Verifying Determinism in Sequential Programs
Student Research Competition
Rashmi MudduluruUniversity of Washington, Seattle
15:20
40m
User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications
Student Research Competition
Krishna Murthy Kattiyan RamamoorthySan Diego State University
15:20
40m
Empirical Study of Python Call Graph
Student Research Competition
Li YuNanjing University
15:20
40m
Towards Comprehensible Representation of Controllers using Machine Learning
Student Research Competition
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
15:20
40m
API Design Implications of Boilerplate Client Code
Student Research Competition
Daye NamCarnegie Mellon University
15:20
40m
Compile-time detection of machine image sniping
Student Research Competition
Martin KelloggUniversity of Washington, Seattle
15:20
40m
Crowdsourced Report Generation via Bug Screenshot Understanding
Student Research Competition
Shengcheng YuNanjing University, China
File Attached

Wed 13 Nov
Times are displayed in time zone: Tijuana, Baja California change

13:40 - 15:20
Student Research Competition - Selected Presentations (Undergraduate)Student Research Competition at South Park
Chair(s): Jie M. ZhangUniversity College London, UK, Jin L.C. GuoMcGill University
13:40
15m
Crowdsourced Report Generation via Bug Screenshot Understanding
Student Research Competition
Shengcheng YuNanjing University, China
File Attached
13:55
15m
Towards Comprehensible Representation of Controllers using Machine Learning
Student Research Competition
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
14:10
15m
Empirical Study of Python Call Graph
Student Research Competition
Li YuNanjing University
14:25
15m
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
Student Research Competition
Kevin ZhangWayne State University
14:40
15m
Boosting Neural Commit Message Generation with Code Semantic Analysis
Student Research Competition
Shuyao JiangFudan University