Profile cover photo
Profile photo
Jens Nicolay
Vrije Universiteit Brussel
Vrije Universiteit Brussel



Post has shared content
Add a comment...

Post has shared content
Originally shared by ****

"The scientific community could decide tomorrow to eliminate restrictions on access to the research literature. But, because of a complex stew of narrow self-interest, vanity, laziness and tradition, the majority of scientists continue to feed the beast – unwilling to act on their own to change a system they know is wrong."
Add a comment...

Post has shared content
This is why I always say very nice things about our peaceful robot friends.

/via Reddit
Add a comment...

Post has attachment
Working on my trampolined CPS abstract interpreter for JavaScript (JIPDA). The higher-order, side-effecting functional part is starting to look good.

- interprocedural dependence analysis via stack reachability
- abstract counting (optimization for precision)
- abstract garbage collection (optimization for precision)
- per-context widening at call sites (optimization for speed)
- semantic overlap between user level and host level
- values+cont stack modeled separately
- full precision for return-flow
- does not rely on any normalization (like alpha-renaming, ANF, CPS, ...)

Next: add support for imperative constructs and objects.
Add a comment...

Post has shared content
Wait while more posts are being loaded