Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Carlo Alberto Furia

Javanni: A Verifier for JavaScript

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Related publications

JavaScript

Journal of Information Processing and Management

English

Symbolic Execution for JavaScript

English

Automated Object Persistence for JavaScript

English

A Tested Semantics for Getters, Setters, and Eval in JavaScript

English

BugsJS: A Benchmark of JavaScript Bugs

English

Practical Initialization Race Detection for JavaScript Web Applications

Proceedings of the ACM on Programming Languages

English

SJS: A Type System for JavaScript With Fixed Object Layout

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

JSOPT: A Framework for Optimization of JavaScript on Web Browsers

Mehran University Research Journal of Engineering and Technology

English

Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs

Software - Practice and Experience

English