Displaying 5 results from an estimated 5 matches for "rosu".
Did you mean:
ross
2013 Apr 03
0
[LLVMdev] Type-based analysis for LLVM IR
...p://sva.cs.illinois.edu/pubs.html.
As far as formalisms for the LLVM IR, there is one from University of
Pennsylvania (Santosh Nagarakatte, now at Rutgers, was involved with
that work), the one used by Greg Morrisett's group for the verified type
checker, and there might be one from Grigore Rosu's group here at the
University of Illinois. There is also an LLVM translation validator
from Greg Morrisett's group (http://llvm-md.org).
I think another person wrote asking about translation validation a few
months ago. You might want to search the llvmdev archives for that
conversa...
2013 Apr 03
3
[LLVMdev] Type-based analysis for LLVM IR
I am interested in type-based verification of LLVM IR in the areas of
certified compilation and software verification. It seems to me that the
LLVM IR type system is rather informal in the sense that there is no paper
with a proper formalization of the type rules, and for example, a proof of
soundness for well-formedness of the code.
I would like to know if you are aware of any work in this
2013 Jan 30
2
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
Dear all,
I would like to share a paper I co-authored with Prof. Alper Sen. This
paper describes an algorithm to generate testbenches from SystemC
models represented with LLVM IR. It was accepted and presented at
International Conference on Hardware/Software Codesign and System
Synthesis (CODES/ISSS), 2012. A link to the paper is accessible from
acm or Alper's website:
2004 Aug 04
5
Asterisk QOS working perfect using sveasoft 3.11g
As seen on my post at:
http://www.sveasoft.com/modules/phpBB2/viewtopic.php?p=28112#28112
This works very well... It does NOT work with stable 4.0! sveasoft
will be issuing a bug fix for this (4.1) in the near future.
Final Rev of working script w/ asterisk support
I'm not going to run alchemy on production machines until it is stablish.
Remember to set your uplink properly and to set
2013 Jul 02
0
Large file transfer fails when multiple network drives from different servers are mapped
Hi all,
I have the following problem which haunted me for a very long time, and
I did not found an solution for as long as I searched:
Laptop:
- Windows 8 Pro 64bit (happened also on Windows 7 Home Edition 64 bit)
- 5 network drives are set up in this computer: 4 drives are guest
accesible and one is accessible using specific user and password
(retained by Windows)
Server 1: Ubuntu Server