search for: asplos

...s a tool to help monitor how data flows from its inputs (sources) to its outputs (sinks). This has applications from a privacy/security perspective in that one can audit how a sensitive data item is used within a program and ensure it isn't exiting the program anywhere it shouldn't be. An ASPLOS paper from a few years ago discusses this problem and a solution based on dynamic binary instrumentation using QEMU: http://www.cs.ucsb.edu/~sherwood/pubs/ASPLOS-08-systemtomography.pdf Among other things, I hope to address a number of deficiencies of the tool described by that paper, in terms of...

...data flows from its > inputs (sources) to its outputs (sinks). This has applications from > a privacy/security perspective in that one can audit how a sensitive > data item is used within a program and ensure it isn't exiting the > program anywhere it shouldn't be. > > An ASPLOS paper from a few years ago discusses this problem and a > solution based on dynamic binary instrumentation using QEMU: > > http://www.cs.ucsb.edu/~sherwood/pubs/ASPLOS-08-systemtomography.pdf > > Among other things, I hope to address a number of deficiencies of > the tool describe...

...nces with respect to loops before and after fusion/fission. The costs will be a profitability measure for fusion/fission. I think use case description was very brief in a previous mail. So I have elaborated this time. More details can also be found in http://www.cs.utexas.edu/users/mckinley/papers/asplos-1994.pdf. Thanks Good time... Vikram TV CompilerTree Technologies Mysore, Karnataka, INDIA -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160624/ce6ec1a2/attachment.html>

Could you maybe give some example use cases? Also, "sanitizer" may not be the best name for this, since it doesn't really sanitize anything. -- Sean Silva -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130613/89f3df75/attachment.html>

...ic and yes, more of other > metrics need to be added. > >> >> -Hal >> >> >> Please share your valuable thoughts. >> >> Thank you. >> >> References: >> [1] [Carr-McKinley-Tseng] >> http://www.cs.utexas.edu/users/mckinley/papers/asplos-1994.pdf >> >> -- >> >> Good time... >> Vikram TV >> CompilerTree Technologies >> Mysore, Karnataka, INDIA >> >> _______________________________________________ >> LLVM Developers mailing list >> llvm-dev at lists.llvm.org >> h...

...> Cache based cost computation is one of the metric and yes, more of other metrics need to be added. > > -Hal > > > Please share your valuable thoughts. > > Thank you. > > References: > [1] [Carr-McKinley-Tseng] > http://www.cs.utexas.edu/users/mckinley/papers/asplos-1994.pdf > > -- > > Good time... > Vikram TV > CompilerTree Technologies > Mysore, Karnataka, INDIA > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > http://lists.llvm.org/cgi-bin/mailman/listinfo/ll...

...oop cost patch to a consistent, commit-able state. b. Add cache data information to tblgen/TTI. c. Rewrite Loop Interchange profitability to start using Loop Cost. Please share your valuable thoughts. Thank you. References: [1] [Carr-McKinley-Tseng] http://www.cs.utexas.edu/users/mckinley/papers/asplos-1994.pdf -- Good time... Vikram TV CompilerTree Technologies Mysore, Karnataka, INDIA -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160608/d904ebb4/attachment.html>

Hi, I have been away from the list for a while, so do apologize in advance if the topic is slightly off topic here. I have started a hobby project to create a virtual OS library (jos). The idea was to create a set of C API's for operating system specific tasks i.e. File IO, threading and etc. For example: typedef jos_handle jos_thread; jos_thread jos_thread_create(...); void

Hello, We have a publication in ASPLOS 2012 that uses the LLVM infrastructure. Is it possible to add this to the publications web page: http://llvm.org/pubs/ ? Publication: Data Races vs. Data Race Bugs: Telling the Difference with Portend Link: http://dl.acm.org/citation.cfm?id=2150997 Abstract: Even though most data races are har...

...ituation (check briefly via mail), monitoring, instrumentation.... - Advanced Usage: relevant employment of VM-related technology to a specific scenario, e.g., to extend/optimize/instrument/further develop existing application, protocol, repeated research described in a paper (e.g., VEE, JVM, PPPJ, ASPLOS, CGO, or systems/language/architectures conferences), etc. (check briefly via mail). -Extension: extend the actual VM technology with a useful optimization of existing functionality (e.g., one of the mechanisms mentioned in the previous section), or by incorporating one previously unavailable (poss...

...concrete plan for this project, but the dynamic slicing is heavily needed. Regards. On Thu, May 2, 2013 at 8:00 AM, Sahoo, Swarup Kumar <ssahoo2 at illinois.edu>wrote: > Hi Mingliang, > > We already implemented an usable version of Dynamic Backward Slicing > as part of our ASPLOS paper. So, I think this will be a good idea to extend > this project. I will also be interested in mentoring you for this project. > Please let me know, if you need any help. > > Thanks, > Swarup. > > ------------------------------ > *From:* llvmdev-bounces at cs.uiuc.edu [...

Hi all, This is a GSoC 2013 proposal for LLVM project. Please see the formatted version at here: http://pacman.cs.tsinghua.edu.cn/~liuml07/files/gsoc2013-proposal-program-slicing.pdf Program slicing has been used in many applications, the criteria of which is a pair of statement and variables. I would like to write an inter-procedural program slicing pass in LLVM, which is able to calculate C

...e dynamic slicing can > help a lot since the input is the key factor to locate errors. We have > not a concrete plan for this project, but the dynamic slicing is > heavily needed. Your final proposal should cite other applications that use (or could benefit from) dynamic slicing. Our ASPLOS 2013 paper would be an example, but you should look for and cite several papers about several different applications from several different groups. Industry groups would be a plus. Saying that one or two people use dynamic slicing isn't all that convincing; saying that x different groups u...

On 1/8/2015 1:55 AM, Philip Reames wrote: >>>> I think the problems aren’t so much that accessing 0 doesn’t work >>>> (although I imagine there are problems with that), but expectations >>>> of comparison with null. The main problem I’m aware of is >>>> comparisons with null pointers. The first global object in >>>> addrspace(3) will

...on superoptimizers. Thus, I have experience both on superoptimizer theory and LLVM code. References [1] Sorav Bansal and Alex Aiken. Automatic generation of peephole superopti- mizers. SIGPLAN Not., 41:394–403, October 2006. [2] Henry Massalin. Superoptimizer: a look at the smallest program. In ASPLOS-II: Proceedings of the second international conference on Architec- tual support for programming languages and operating systems, pages 122– 126, Los Alamitos, CA, USA, 1987. IEEE Computer Society Press. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://list...

Hi, I am starting a thread to discuss the design of DataFlowSanitizer, a compiler instrumentation based analysis tool which I am hoping to bring into LLVM. As a starting point, I have included the current version of the design document below. Comments are appreciated. Thanks, Peter DataFlowSanitizer Design Document ********************************* This document sets out the design for

...eps 1 and 2 are true, then reverse the loop. Inputs on 1st and 2nd steps are the critical for implementation. I am pasting some of the links of the papers, where I found mention of loop traversal as one of the prominent loop optimization techniques. http://www.cs.utexas.edu/users/mckinley/papers/asplos-1994.pdf http://perso.citi.insa-lyon.fr/trisset/papers/sympa08.pdf https://www.complang.tuwien.ac.at/andi/papers/ijcsee_13.pdf ftp://gcc.gnu.org/pub/gcc/summit/2004/High%20Level%20Loop%20Optimizations.pdf Can anyone review my idea and suggest improvements? I will be glad if someone mentors me o...