Displaying 3 results from an estimated 3 matches for "zdancewic".
2015 Mar 16
2
[LLVMdev] Question: Motivation of the semantics of the undefined value?
...question is simply why LLVM does not use the notion of trap
representation of C11 standard to represent the undefined value, rather
than using the set-based semantics.
We'd like to understand the motivation of the set-based semantics over the
trap representation.
Thanks.
Chung-Kil Hur, Steve Zdancewic & Viktor Vafeiadis.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150317/fa236059/attachment.html>
2011 Oct 20
1
[LLVMdev] Formal spec for LLVM IR (Was: LLVM Language Reference Strictness)
Reed,
Are you working on a grammar of the LLVM syntax or also on a full semantics?
Steve Zdancewic's group at U. Penn. is working on a formal operational semantics for LLVM. It is partially complete and Greg Morrisett at Harvard is planning to build further on it.
Regards,
--Vikram
Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve
On Oct 20,...
2013 Jun 25
1
[LLVMdev] Publication
LLVM developers,
Can you add the following paper to the publication list?
"Formal Verification of SSA Optimizations for LLVM"
Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin and Steve Zdancewic
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI) 2013
link to ACM DL:
http://dl.acm.org/citation.cfm?id=2462164&CFID=338189688&CFTOKEN=97651820
Local pdf link: http://www.cs.rutgers.edu/~santosh.nagarakatte/pldi2013.pdf
Thanks,
Sant...