Sciweavers

55
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Static analysis of event-driven Node.js JavaScript applications
Many JavaScript programs are written in an event-driven style. In particular, in server-side Node.js applications, operations involving sockets, streams, and files are typically ...
Magnus Madsen, Frank Tip, Ondrej Lhoták
72
Voted
OOPSLA
2015
Springer
9 years 11 months ago
A formal foundation for trace-based JIT compilers
Trace-based JIT compilers identify frequently executed program paths at run-time and subsequently record, compile and optimize their execution. In order to improve the performance...
Maarten Vandercammen, Jens Nicolay, Stefan Marr, J...
73
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Automating grammar comparison
We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for fi...
Ravichandhran Madhavan, Mikaël Mayer, Sumit G...
50
Voted
OOPSLA
2015
Springer
9 years 11 months ago
GTInspector: a moldable domain-aware object inspector
Understanding the run-time behaviour of object-oriented applications entails the comprehension of run-time objects. Traditional object inspectors favor generic views that focus on...
Andrei Chis, Oscar Nierstrasz, Aliaksei Syrel, Tud...
54
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Cross-layer memory management for managed language applications
Performance and energy efficiency in memory have become critically important for a wide range of computing domains. However, it is difficult to control and optimize memory power...
Michael R. Jantz, Forrest J. Robinson, Prasad A. K...
58
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Gaps and future directions in mobile security research
The ease with which security flaws in today’s mobile devices can be exploited underscores the need for mobile security research. The advent of the Internet of Things (IoT)—wh...
Violetta Vylegzhanina, Douglas C. Schmidt, Jules W...
144
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Finding deep compiler bugs via guided stochastic program mutation
Compiler testing is important and challenging. Equivalence Modulo Inputs (EMI) is a recent promising approach for compiler validation. It is based on mutating the unexecuted state...
Vu Le, Chengnian Sun, Zhendong Su
55
Voted
OOPSLA
2015
Springer
9 years 11 months ago
RAIVE: runtime assessment of floating-point instability by vectorization
Floating point representation has limited precision and inputs to floating point programs may also have errors. Consequently, during execution, errors are introduced, propagated,...
Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhan...
71
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Race-driven UI-level test generation for JavaScript-based web applications
Due to its asynchronous, event-driven nature, JavaScript, similar to concurrent programs, suffers from the problem of data races. Past research provides methods for automatically ...
Martin Billes
59
Voted
OOPSLA
2015
Springer
9 years 11 months ago
A bootstrapping infrastructure to build and extend Pharo-like languages
Bootstrapping is well known in the context of compilers, where a bootstrapped compiler can compile its own source code. Bootstrapping is a beneficial engineering practice beraise...
Guillermo Polito, Stéphane Ducasse, Noury B...