Profile cover photo
Profile photo
Jens Nicolay
60 followers -
Vrije Universiteit Brussel
Vrije Universiteit Brussel

60 followers
About
Posts

0x4c0fbf109f857194d12F56A01536D9134136529f

Post has shared content
Add a comment...

Post has shared content
Originally shared by ****
Eisen:

"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