Displaying 2 results from an estimated 2 matches for "safecodetr".
Did you mean:
safecode
2007 Mar 12
0
[LLVMdev] Expressing inter thread dependencies
...ry 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.
--Vikram
http://www.cs.uiuc.edu/~vadve
http://llvm.cs.uiuc.edu/
2007 Mar 12
3
[LLVMdev] Expressing inter thread dependencies
Hello everybody,
I'm developing a source code transformation system for real-time
systems currently, i.e. I want to map the application (a set of event
handlers) to a run-time or operating system semi-automatically (if
anybody is interested in the background - see below, of course,
comments are welcome there, too ;-)). Therefore, I have to be able to
express dependencies between different