search for: nagarakatte

Hi, Can you add the following two publications from our group to the LLVM publications page. - *Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM [pdf] <http://www.cs.rutgers.edu/~santosh.nagarakatte/papers/alive-fp-sas16.pdf> *David Menendez, Santosh Nagarakatte, and Aarti Gupta *To Appear in the Proceedings of the 23rd Static Analysis Symposium (SAS 2016 <http://staticanalysis.org/sas2016/>)*, Edinburgh, September, 2016 The paper is available at http://www.cs.rutgers.e...

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.na...

...quent uses of the value of the speculatively introduced load is caught/detected by the optimization? Is it possible to separate the "undef" in a sequential setting and "undef" with speculative loads in a concurrent setting with separate undefs? Thanks, Santosh -- Santosh G Nagarakatte, PhD Student, Computer and Information Science Department University of Pennsylvania, Philadelphia-19104 http://www.cis.upenn.edu/~santoshn

On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte <santosh.nagarakatte at gmail.com> wrote: > Hi all, > > I have been trying to understand the use of undef in both sequential > and concurrent programs. > > >From the LLVM Language Reference Manual, I see the following > definition of undef. > "Undef can be used...

On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: > On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte > <santosh.nagarakatte at gmail.com> wrote: >> Hi all, >> >> I have been trying to understand the use of undef in both sequential >> and concurrent programs. >> >> >From the LLVM Language Reference Manual, I see the following >> definition of un...

...ection of uninitialized memory reads and data races with LLVM instrumentation. Kostya Serebryany, Google Modules - Doug Gregor, Apple Moderator #3 (11:15-12:45, Regency 1) Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations- Santosh Nagarakatte, University of Pennsylvania/Rutgers University Integrated Security, using LLVM for Dynamic and Static Security Tasks- Jared Carlson, GoToTheBoard Moderator #4 (2:00-3:30, Regency 2) How good are Clang's diagnostics, anyway? - Matt Beaumont-Gay, Google Shevlin Park: A C++ AMP implementation in...

On Mon, Aug 22, 2011 at 8:46 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >> <santosh.nagarakatte at gmail.com> wrote: >>> Hi all, >>> >>> I have been trying to understand the use of undef in both sequential >>> and concurrent programs. >>> >>> >From the LLVM Language Reference Manual, I see the followi...

I'm still in need for moderators for the following sessions: > Moderator #3 (11:15-12:45, Regency 1) > Verified LLVM: Formalizing the semantics of the LLVM Intermediate Representation for Verified Program Transformations- Santosh Nagarakatte, University of Pennsylvania/Rutgers University > Integrated Security, using LLVM for Dynamic and Static Security Tasks- Jared Carlson, GoToTheBoard > Moderator #5 (2-3:30, Regency 1) > TBAA in LLVM - Dan Gohman, Google > Generating Hardware Description with the Target-Independent Code...

On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >> <santosh.nagarakatte at gmail.com> wrote: >>> Hi all, >>> >>> I have been trying to understand the use of undef in both sequential >>> and concurrent programs. >>> >>> >From the LLVM Language Reference Manual, I see the followi...

..., Eli Friedman <eli.friedman at gmail.com> wrote: > On Mon, Aug 22, 2011 at 8:46 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>> <santosh.nagarakatte at gmail.com> wrote: >>>> Hi all, >>>> >>>> I have been trying to understand the use of undef in both sequential >>>> and concurrent programs. >>>> >>>> >From the LLVM Language Referen...

..., Eli Friedman <eli.friedman at gmail.com> wrote: > On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>> <santosh.nagarakatte at gmail.com> wrote: >>>> Hi all, >>>> >>>> I have been trying to understand the use of undef in both sequential >>>> and concurrent programs. >>>> >>>> >From the LLVM Language Referen...

..., Eli Friedman <eli.friedman at gmail.com> wrote: > On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>> <santosh.nagarakatte at gmail.com> wrote: >>>> Hi all, >>>> >>>> I have been trying to understand the use of undef in both sequential >>>> and concurrent programs. >>>> >>>> >From the LLVM Language Referen...

...an <eli.friedman at gmail.com> wrote: >> On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >>> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>>> <santosh.nagarakatte at gmail.com> wrote: >>>>> Hi all, >>>>> >>>>> I have been trying to understand the use of undef in both sequential >>>>> and concurrent programs. >>>>> >>>>> >Fr...

...riedman at gmail.com> wrote: >>> On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >>>> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>>>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>>>> <santosh.nagarakatte at gmail.com> wrote: >>>>>> Hi all, >>>>>> >>>>>> I have been trying to understand the use of undef in both sequential >>>>>> and concurrent programs. >>>>>> &gt...

...ndefined reference to 'foo1' clang: error: linker command failed with exit code 1 (use -v to see invocation) I have the GOLD linker installed in the system. /usr/bin/ld --version displays GNU gold (GNU Binutils for Ubuntu 2.21.0.20110327) 1.11 Any suggestions? Santosh -- Santosh G Nagarakatte, PhD Student, Computer and Information Science Department University of Pennsylvania, Philadelphia-19104 http://www.cis.upenn.edu/~santoshn

Hi, everyone: The 7th LLVM developer meeting was held at November 6-7, 2013. I can't find more infos other than abstract. Any help? Thanks. Regards, maxs

...an <eli.friedman at gmail.com> wrote: >> On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >>> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>>> <santosh.nagarakatte at gmail.com> wrote: >>>>> Hi all, >>>>> >>>>> I have been trying to understand the use of undef in both sequential >>>>> and concurrent programs. >>>>> >>>>> >Fr...

...riedman at gmail.com> wrote: >>> On Mon, Aug 22, 2011 at 3:40 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >>>> On Mon, Aug 22, 2011 at 6:08 PM, Eli Friedman <eli.friedman at gmail.com> wrote: >>>>> On Mon, Aug 22, 2011 at 2:49 PM, Santosh Nagarakatte >>>>> <santosh.nagarakatte at gmail.com> wrote: >>>>>> Hi all, >>>>>> >>>>>> I have been trying to understand the use of undef in both sequential >>>>>> and concurrent programs. >>>>>> &gt...

...in the callee. This attribute is only valid on LLVM pointer arguments." Is there a way I can avoid the byval attribute by a custom transformation? I was thinking of a custom transformation that introduces an alloca and maintains the hidden copy of the pointee? Thanks, Santosh -- Santosh G Nagarakatte, Computer and Information Science Department University of Pennsylvania, Philadelphia-19104 http://www.cis.upenn.edu/~santoshn

...ckend already declares MPX registers and instructions). I wonder if anyone is currently working on the LLVM pass for MPX instrumentation, similar to Pointer Checker in gcc. If yes, could anyone elaborate on the status and accessability to other researchers? And if any help is needed? Prof. Santosh Nagarakatte, the author of SoftBound/HardBound/WatchDog Lite, answered that he is not currently involved in MPX. But he pointed to the SoftBoundCETS prototype at https://github.com/santoshn/softboundcets-34 . Therefore, I was thinking about adapting SoftBound to MPX, as a drop-in replacement for gcc's Poin...