[LLVMdev] Expressing inter thread dependencies

[Fabian Scheler]

> If you're interested, here are a couple of papers on these issues:
>
> (1) "Memory Safety Without Garbage Collection for Embedded Applications"
> Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner
> ACM Transactions in Embedded Computing Systems (TECS), February 2005.
> http://llvm.org/pubs/2005-02-TECS-SAFECode.html
>
> (2) "Enforcing Alias Analysis for Weakly Typed Languages"
> Dinakar Dhurjati, Sumant Kowshik, and Vikram Adve
> Technical Report #UIUCDCS-R-2005-2657, Computer Science Dept., Univ.
> of Illinois, Nov. 2005.
> http://llvm.org/pubs/2005-11-SAFECodeTR.html
>
> SAFECode is a research prototype and so not yet robust, but we aim to
> make it robust and distribute it publicly.  You can get the current
> version with that caveat.

that really looks interesting at first glance, I will definitely have
a closer look at it. Thank you :-)

Ciao, Fabian