similar to: www-pubs

Dear All, To update the publications page, do I still modify pubs.js within the Subversion repository? I've added three new papers using LLVM to the publications page in Subversion, but the web page hasn't automatically updated yet. Any help would be appreciated as I'd like to get more LLVM-related publications listed on the page. Thanks in advance, John Criswell -- John

> On Oct 28, 2017, at 4:45 PM, John Regehr via llvm-dev <llvm-dev at lists.llvm.org> wrote: > >>> Incidentally, despite what that page says, 2009 was not the peak of llvm-related-and-using publications. It would be great for someone to do a survey of papers out there and get more papers listed on the page. It would be a great starter project for someone who was interested in

Hello, We have published two papers which build upon the LLVM Compiler Infrastructure. Would it be possible to include them in the LLVM related publications at http://llvm.org/pubs/ ? I attach below the bibliographic references: "CERE: LLVM Based Codelet Extractor and REplayer for Piecewise Benchmarking and Optimization" P. de Oliveira Castro, C. Akel, E. Petit, M. Popov, and W.

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

Dear All, I checked out https://llvm.org/svn/llvm-project/www/trunk, but can't find the pubs page in it anymore. Has it moved to another repository? -- John T.

Hi, I am a graduate student in computer science.I have taken a programming languages course this semester and I am having great fun building interpreters.I am planning to build toy compilers in the winter.I would love to participate in GSOC 2016 contributing to LLVM.Could anyone let me know desirable skills should be developed to contribute to LLVM ? Also I would like to know the open projects

Hello, I would like to submit two papers that use LLVM to the Related Publications section. Both papers focus on code isolation applied to perform piecewise compiler optimizations. The code isolation process is performed by CERE, an open source tool based on LLVM. The second paper is an extended version of the first one. 1) Piecewise Holistic Autotuning of Compiler and Runtime Parameters

On 10/26/17 11:42 PM, Chris Lattner wrote: > >> On Oct 26, 2017, at 8:34 AM, John Criswell via llvm-dev >> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >> >> Dear All, >> >> To update the publications page, do I still modify pubs.js within the >> Subversion repository? I've added three new papers using LLVM

Dear Mihail, I've added these two publications to the publications page. Please review it and let me know if I need to make any changes. In particular, if you have URLs to use for the papers, having those would be greatly appreciated. Regards, John Criswell On 11/28/17 12:05 PM, Mihail Popov via llvm-dev wrote: > > Hello, > > I would like to submit two papers that use LLVM

Dear LLVM developers, Here is a quick message announcing yet another academic publication leveraging on LLVM: @INPROCEEDINGS{ieeespro2015-JunodRWM, author={Pascal Junod and Julien Rinaldini and Johan Wehrli and Julie Michielin}, booktitle={Proceedings of the {IEEE/ACM} 1st International Workshop on Software Protection, {SPRO'15}, Firenze, Italy, May 19th, 2015}, editor = {Brecht

Hi guys, I am trying to perform edge profiling using on hello.bc file by using following command opt -insert-edge-profiling hello.bc -o hello-edge.bc but I get the error that option "-insert-edge-profiling" is unknown. Can you please help me to solve the issue. Please note that I am following the paper available at this link http://llvm.org/pubs/2010-12-Preuss-PathProfiling.pdf

Dear all, I am trying to reproduce the "Percent May Alias" result described in PLDI 07's paper "Making Context-Sensitive Points-to Analysis with Heap Cloning Practical For The Real World" (http://llvm.org/pubs/2007-06-10-PLDI-DSA.html ). However, my "Percent May Alias" for all the benchmarks is much greater, especially "bzip2". The DSA code I use is

Hi, I am planning to begin a project to explore the space of tuning LLVM internals in an effort to increase performance. I am wondering if anyone can point to me any parameterizations, heuristics, or priorities functions within LLVM that can be tuned/adjusted. So far, I'm considering BranchProbabilityInfo and InlineCost. Does anyone have any other suggestions? Thanks, Robert

Hi All, Here is my current draft of the LLVM 2.1 release announcement. Unlike previous announcements, I'm not planning to largely duplicate the release notes in the announcement. In addition to this, I've checked in the first draft of the release notes into llvm/docs/ReleaseNotes.html (http://llvm.org/docs/ ReleaseNotes.html). I'd really appreciate it if anyone who

Hi All, Is this possible to generate LLVM IR from any static/dynamic link library? I have some static and dynamic link library and I want to generate LLVM IR as I want to obfuscate these libraries. Is there any way to do the same. Please give me some pointers on this. Thanks, Deep -------------- next part -------------- An HTML attachment was scrubbed... URL:

Dear John, I intend to implement the improvements on DSA. After running DSA on SPEC, I found DSA gives low precision for mcf and bzip2. I have checked the most imprecise c files in mcf an found that the code seems to be a mixture of "PHI" and "GEP" instructions. Could you please give me some hints about what the big picture of the improvement should be and how to start? Thank

Hi, We recently published another paper that leverages LLVM (through our SMACK software verifier and novel tool called Whoop), and this time we focus on detecting concurrency bugs in device drivers: http://soarlab.org/2015/08/ase2015-ddr/ You can find all the required info (PDF, title, abstract, etc.) at the above webpage. I would appreciate if you could add this paper to your list of

OK, Let me describe. There is nothing wrong with if-conversion in LLVM. The algorithm implemented in LLVM can handle the if(???){do something} and if(???){do something}else{do something else} case very well. But it can handle complicated case like when there are a lot of gotos in the program. The more systematic way to do if-conversion is based on Hyperblock [Scott A. Mahlke et al 1992]

Hello Daniel, Thank you for your comments and sorry for my mistakes, I'll revise them. And I'll for sure read the paper you mentioned and survey the recent researches before deciding the implementation technique. To George: May I know the exact plan of your attempt for making cfl-aa interprocedural? I do think that this is the most valuable part of my proposal, but that makes no sense to

------------------------------------------------------------------------------------------------ CALL FOR PAPERS 15th International Conference on Managed Languages & Runtimes (ManLang'18) September 10-14, 2018, Linz, Austria http://ssw.jku.at/manlang18/ ------------------------------------------------------------------------------------------------ ManLang (formerly PPPJ) is a