Precise alias analysis for static detection of web application vulnerabilities
The number and the importance of web applications have increased rapidly over the last
years. At the same time, the quantity and impact of security vulnerabilities in such …
years. At the same time, the quantity and impact of security vulnerabilities in such …
Static analysis for detecting taint-style vulnerabilities in web applications
The number and the importance of web applications have increased rapidly over the last
years. At the same time, the quantity and impact of security vulnerabilities in such …
years. At the same time, the quantity and impact of security vulnerabilities in such …
DITTO: Automatic incrementalization of data structure invariant checks (in Java)
We present DITTO, an automatic incrementalizer for dynamic, side-effect-free data structure
invariant checks. Incrementalization speeds up the execution of a check by reusing its …
invariant checks. Incrementalization speeds up the execution of a check by reusing its …
From clarity to efficiency for distributed algorithms
YA Liu, SD Stoller, B Lin, M Gorbovitski - Proceedings of the ACM …, 2012 - dl.acm.org
This paper describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …
algorithms and optimizations necessary for generating efficient implementations. The …
Higher-order reactive programming with incremental lists
I Maier, M Odersky - ECOOP 2013–Object-Oriented Programming: 27th …, 2013 - Springer
Reactive programming with first class time-varying values as in Functional Reactive
Programming (FRP) is a powerful paradigm for designing and implementing event-based …
Programming (FRP) is a powerful paradigm for designing and implementing event-based …
From clarity to efficiency for distributed algorithms
YA Liu, SD Stoller, B Lin - ACM Transactions on Programming …, 2017 - dl.acm.org
This article describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …
algorithms and optimizations necessary for generating efficient implementations. The …
Alias analysis for optimization of dynamic languages
Dynamic languages such as Python allow programs to be written more easily using high-
level constructs such as comprehensions for queries and using generic code. Efficient …
level constructs such as comprehensions for queries and using generic code. Efficient …
Efficient object querying for java
Modern programming languages have little or no support for querying objects and
collections. Programmers are forced to hand code such queries using nested loops, which is …
collections. Programmers are forced to hand code such queries using nested loops, which is …
i3QL: Language-integrated live data views
An incremental computation updates its result based on a change to its input, which is often
an order of magnitude faster than a recomputation from scratch. In particular …
an order of magnitude faster than a recomputation from scratch. In particular …
Caching and incrementalisation in the java query language
Many contemporary object-oriented programming languages support first-class queries or
comprehensions. These language extensions make it easier for programmers to write …
comprehensions. These language extensions make it easier for programmers to write …