Displaying 5 results from an estimated 5 matches for "amarasingh".
Did you mean:
amarasinghe
2008 Apr 09
4
[LLVMdev] Bitwidth analysis?
Hi, LLVMers,
has someone implemented bitwidth analysis for LLVM? I was looking for
something similar to the bitwise compiler described in
"Bidwidth analysis with application to silicon compilation, by Mark
Stephenson, Jonathan Babb and Saman Amarasinghe"
e.g.: http://portal.acm.org/citation.cfm?id=349299.349317
all the best,
Fernando
2011 Mar 23
3
[LLVMdev] Range Analysis GSoC 2011 Proposal
...lass of Polynomially Solvable Range Constraints for Interval Analysis
without Widenings and Narrowings, Zhendong Su and David Wagner, In
Theoretical Computer Science, Volume 345 , Issue 1, 2005.
2. Bitwidth Analysis with Application to Silicon Compilation, Mark
Stephenson, Jonathan Babb, and Saman Amarasinghe, In Proceedings of the
SIGPLAN conference on Programming Language Design and Implementation, 2000.
3. Polynomial Precise Interval Analysis Revisited. Thomas Gawlitza, Jérôme
Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm:
Efficient Algorithms 2009: 422-437
4. Linear Time Ran...
2009 Oct 18
5
[LLVMdev] JIT and security
Hello,
I'm writing JIT compiler that will run a third party code. My goal is
to build it with security layer that will allow me to prevent some
basic operation that possibly can harm JIT application host computer.
Maybe some of you can guide me on how to do following operations:
1) prevent system calls
2) memory allocation management (set some limits that can't be used
by JIT)
2011 Mar 23
0
[LLVMdev] Range Analysis GSoC 2011 Proposal
...le Range Constraints for Interval
> Analysis without Widenings and Narrowings, Zhendong Su and David
> Wagner, In Theoretical Computer Science, Volume 345 , Issue 1, 2005.
>
> 2. Bitwidth Analysis with Application to Silicon Compilation, Mark
> Stephenson, Jonathan Babb, and Saman Amarasinghe, In Proceedings of
> the SIGPLAN conference on Programming Language Design and
> Implementation, 2000.
>
> 3. Polynomial Precise Interval Analysis Revisited.Thomas Gawlitza,
> Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard
> Wilhelm: Efficient Algorithms 2...
2011 Mar 24
1
[LLVMdev] Range Analysis GSoC 2011 Proposal
On Wed, Mar 23, 2011 at 6:24 PM, John Criswell <criswell at illinois.edu> wrote:
>
> > On 3/23/11 8:06 AM, Douglas do Couto Teixeira wrote:
> >
> > the execution of a program. Thus, for each integer variable, a range
> > analysis determines its lower and upper limits. A very simple range analysis
> > > would, for instance, map each variable to the limits