Displaying 3 results from an estimated 3 matches for "012977".
Did you mean:
12977
2011 Mar 23
3
[LLVMdev] Range Analysis GSoC 2011 Proposal
...assistant, and I am experienced
with C++, the language in which LLVM is implemented. Furthermore, I am a
student at a very good university (UFMG). To ground this statement I would
like to point that the Department of Computer Science of UFMG got the best
mark <http://www.ufmg.br/online/arquivos/012977.shtml> in the Brazilian
National Undergrad Exam (ENADE). Finally, I work on a lab in which three
other students work with LLVM. We had three Summer of Codes on LLVM in the
past, and a number of papers have been published out of these experiences.
References
1. A Class of Polynomially Solvable...
2011 Mar 23
0
[LLVMdev] Range Analysis GSoC 2011 Proposal
...ning LLP.
> with C++, the language in which LLVM is implemented. Furthermore, I am
> a student at a very good university (UFMG). To ground this statement I
> would like to point that the Department of Computer Science of UFMG
> got thebest mark <http://www.ufmg.br/online/arquivos/012977.shtml>in the
"To justify" instead of "to ground" and "point out" instead of just "point"
> Brazilian National Undergrad Exam (ENADE). Finally, I work on a lab in
> which three other students work with LLVM. We had
work in a lab
> three Summ...
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