Sciweavers

63
Voted
OOPSLA
2015
Springer
9 years 11 months ago
Constraints as a design pattern
Imperative programming has great merits. As the ubiquitous style, it is familiar and its linear, step by step nature is favored by the human mind. Expert programmers, however, are...
Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, ...
58
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
75
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...
76
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...
52
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...