Kartik Bajaj, Karthik Pattabiraman and Ali Mesbah, To appear in the Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), 2014. [ PDF | Talk ] (Acceptance Rate: 20%)
Abstract: JavaScript is a scripting language that plays a prominent role in modern web applications. It is dynamic in nature and interacts heavily with the Document Object Model (DOM) at runtime. These characteristics make providing code completion support to JavaScript programmers particularly challenging. We propose an automated technique that reasons about existing DOM structures, dynamically analyzes the JavaScript code, and provides code completion suggestions for JavaScript code that interacts with the DOM through its APIs. Our automated code completion scheme is implemented in an open source tool called DOMPLETION. The results of our empirical evaluation indicate that (1) DOM structures exhibit patterns, which can be extracted and reasoned about in the context of code completion suggestions; (2) DOMPLETION can provide code completion suggestions with a recall of 89% and precision of 90% with an average time of 2.8 seconds.
-
Recent Papers
- Requalizer: A Co-designed Information Flow Control and Quality of Service Management Framework
- ReSect: A Tool for Automated Analysis of Reentrancy Exploit Transactions on Blockchains
- Thinking Inside the Box: Injecting Realistic Radiation Faults in ML Accelerators
- ARMOR: Attack-Resilient Reinforcement Learning Control for UAVs
- Systems-Theoretic and Data-Driven Security Analysis in ML-enabled Medical Devices
- Feed-Forward Controller-Based Recovery for Robotic Vehicles from Physical Attacks
- Turnstile: Hybrid Information Flow Control Framework for Managing Privacy in Internet-of-Things Applications
- DLAFI: Software-Based Fault Injection for Permanent Faults in Deep Learning Accelerators
- Anonymity Unveiled: A Practical Framework for Auditing Data Use in Deep Learning Models
- OneOS: Distributed Operating System for the Edge-to-Cloud Continuum
Pages
- About us
- Awards and Achievements
- Papers
- People
- Photos
- Projects
- Autonomous Systems and IoT Security
- Building Robust ML Systems against Training Data Faults
- Decentralized Finance (DeFi) and Blockchain Oracle Security
- Error Resilient ML Applications
- Membership Inference Attacks in Machine Learning Models
- Middleware for Edge Computing Applications
- Resilience Assessment of ML Models under Hardware Faults
- Smart Contract’s Security
- Software