Displaying 7 results from an estimated 7 matches for "grigor".
Did you mean:
gregor
2013 Apr 03
0
[LLVMdev] Type-based analysis for LLVM IR
...d at http://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
co...
2024 Apr 03
0
[Bug 2294] Detect renamed files and handle by renaming instead of delete/re-send
https://bugzilla.samba.org/show_bug.cgi?id=2294
--- Comment #41 from Mihnea-Costin Grigore <mihnea at zulu.ro> ---
The discussion about file systems like ZFS/BTRFS/etc. and their various
snapshot mechanisms is off-topic relative to this feature request, since they
are very different technologies used for different purposes.
rsync is used commonly to synchronise at the *file level...
2002 Jul 01
0
Memory allocation gone awry with OpenSSH 3.(3,4)p1
...glibc 2.2.0, gcc 2.95.2/egcs 1.1.2, zlib 1.1.4
In all the configurations the same compile-options where used, with
and without optimizations, without any effect on the results.
Hope we can solve this somehow... I can provide additional data/tests
if required.
Regards,
--
Mihnea-Costin Grigore [ "Tenebus Ipsilo Ibinem Catehens" ]
E-mail: mgc8 at totalnet.ro Home Page: http://mgc8.virtualave.net
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:
2011 Sep 28
3
I would like to contribute to the Wiki
Hello!
My username is: MadalinGrigoreEnescu
The proposed subject of my Wiki contribution is: I want to contribute on translating CentOS Wiki pages in Romanian language (ro)
I also request a personal homepage.
Some words about myself: I am an old Red Hat/Cent OS user (using RedHat distros from 1999-2000). Romanian is my native langu...
2002 Jul 01
3
3.4p1: 'buffer_append_space: alloc 10506240 not supported'
I have been trying to install 3.4p1 on a number of machines.
Servers on ia64 Linux, i386 Linux and SPARC Solaris are all working
like charms. On the other hand, I am having trouble at least with
HPUX 11, DEC OSF 5.1 and Unixware: on all those systems, sshd bails
out after authentication with an error in buffer_append_space.
Here is the output of sshd -d on the UnixWare machine
(uname -a: