search for: sigplan

First-Time SIGPLAN Award to Apple's Chris Lattner for Developing Popular LLVM Infrastructure with Applications in Commercial, Research, Teaching, and Open Source Projects From the press release: June 7, 2010 – The ACM Special Interest Group on Programming Languages (SIGPLAN) today presents its first-ever Pro...

My congratulations to Chris as well! For those who don't follow the ACM world much, SIGPLAN is the primary research organization for PL and Compilers, and I expect this award to become one of the most prestigious awards in the field. It's quite a coup for Chris and for LLVM to have won it, and moreover to win it in the first year of the award. And it's remarkable that it has hap...

Sorry for double-posting to the list, The citation is the following (this time with a url to the paper): K. Sagonas, C. Stavrakakis, and Y. Tsiouris. "ErLLVM: An LLVM backend for Erlang"[1]. In Eleventh ACM SIGPLAN Erlang Workshop, September 2012. ACM Press. Thanks! Yiannis [1]: http://erllvm.softlab.ntua.gr/files/erlang03-sagonas.pdf On 09/07/2012 08:13 PM, Yiannis Tsiouris wrote: > Hi, > > I attach a publication that we have at the ACM Sigplan Erlang Workshop 2012, Copenhagen, Denmark. > &gt...

ping. :-) On 09/07/2012 08:24 PM, Yiannis Tsiouris wrote: > [...] > The citation is the following (this time with a url to the paper): K. > Sagonas, C. Stavrakakis, and Y. Tsiouris. "ErLLVM: An LLVM backend > for Erlang"[1]. In Eleventh ACM SIGPLAN Erlang Workshop, September > 2012. ACM Press. > > [1]: http://erllvm.softlab.ntua.gr/files/erlang03-sagonas.pdf > > On 09/07/2012 08:13 PM, Yiannis Tsiouris wrote: >> Hi, >> >> I attach a publication that we have at the ACM Sigplan Erlang >> Workshop 2012, Cop...

...st? -- John T. > > On 09/07/2012 08:24 PM, Yiannis Tsiouris wrote: > > [...] > > The citation is the following (this time with a url to the paper): K. > > Sagonas, C. Stavrakakis, and Y. Tsiouris. "ErLLVM: An LLVM backend > > for Erlang"[1]. In Eleventh ACM SIGPLAN Erlang Workshop, September > > 2012. ACM Press. > > > > [1]: http://erllvm.softlab.ntua.gr/files/erlang03-sagonas.pdf > > > > On 09/07/2012 08:13 PM, Yiannis Tsiouris wrote: > >> Hi, > >> > >> I attach a publication that we have at the ACM Si...

...ot;no", I'd separate out a base of IDFCalculator, to a new class called IDFCalculatorBase that wouldn't contain either of said functions. Cheers! Kristóf [1] Sreedhar, Vugranam C., and Guang R. Gao. "A linear time algorithm for placing ϕ-nodes." Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, 1995. [2] [IDF] Teach Iterated Dominance Frontier to use a snapshot CFG based on a GraphDiff. https://reviews.llvm.org/D50675 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/piper...

Hello, I am working on developing register allocator for irregular architectures (with register pair, and banks) and plan to base my work on graph coloring register allocator. I wonder if LLVM already has basic graph coloring register allocator, or somebody is working on it? Also, I'm not sure what is the best way to even describe the register constraints in tablegen: - How can I

...ried building a concurrent GC - > running in a different _process_, instead of a thread? > The idea: To perform a collection you do a fork(). The child process > collects all unreferenced memory regions and reports them back to the > parent process. I remember reading a paper in ACM Sigplan Notices (I think) many years back, describing exactly such a system. -- Pertti

Hi, I attach a publication that we have at the ACM Sigplan Erlang Workshop 2012, Copenhagen, Denmark. The abstract is: This paper describes ErLLVM, a new backend for the HiPE compiler, the native code compiler of Erlang/OTP, that targets the LLVM compiler infrastructure. Besides presenting the overall architecture of ErLLVM and its integration in Erlang/...

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, Santosh -- Santosh Nagarakatte, Assist...

Hi RamShankar, On top of Rafael mentioned ,Please check with lib/CodeGen/StrongPHIElimination.cpp and the papers like Budimlic, et al. Fast copy coalescing and live-range identification. // In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language // Design and Implementation (Berlin, Germany, June 17 - 19, 2002). // PLDI '02. ACM, New York, NY, 25-32. Boissinot, et al. Revisiting Out-of-SSA Translation for Correctness, Code // Quality and Efficiency, // In Proceedings of the 7th annua...

From: Jack Davidson <jwd at VIRGINIA.EDU> Date: August 15, 2006 11:27:06 AM ADT To: SIGPLAN-ANNOUNCE at LISTSERV.ACM.ORG Subject: OOPLSA 2006 Call for Participation Reply-To: Jack Davidson <jwd at VIRGINIA.EDU> ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006) OOPSLA 2006 will be held October 22-26 in historic Portland, Or...

...? At Argonne one of the application specific analyses we need to perform, activity analysis, has a forward and backward dataflow analysis component. Thanks, Michelle @inproceedings{Choi91, Author = {Jong-Deok Choi and Ron Cytron and Jeanne Ferrante}, Booktitle = {Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, Location = {Orlando, Florida, United States}, Pages = {55--66}, Publisher = {ACM Press}, Title = {Automatic construction of sparse data flow evaluation graphs}, Year = {1991}} @inproceedings{JohnsonPingali93, Author = {Richard Johnso...

...lass called IDFCalculatorBase that wouldn't >> contain either of said functions. >> >> Cheers! >> Kristóf >> >> >> [1] Sreedhar, Vugranam C., and Guang R. Gao. "A linear time algorithm for >> placing ϕ-nodes." Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on >> Principles of programming languages. ACM, 1995. >> [2] [IDF] Teach Iterated Dominance Frontier to use a snapshot CFG based >> on a GraphDiff. https://reviews.llvm.org/D50675 >> > -------------- next part -------------- An HTML attachment was scrubbe...

...will be useful for the LLVM community. It would be a wonderful experience to work alongside LLVM developers and to learn some practical aspects of coding for a robust compiler such as LLVM. References [1] V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A transparent Dynamic Optimization System. SIGPLAN PLDI, pages 1{12, June 2000. [2] Vasanth Bala, Evelyn Duesterwald, and Sanjeev Banerjia. Dynamo: a trans- parent dynamic optimization system. SIGPLAN Not., 35(5):1{12, 2000. [3] Kemal Ebcio glu and Erik R. Altman. Daisy: dynamic compilation for 100 In ISCA '97: Proceedings of the 24th annual in...

...============== Other Information ================= The 5th Virtual Machine Meetup (VMM) is a collocated event with ManLang '18. It is a venue for discussing the latest research and developments in the area of managed language execution. ManLang'18 is organized in cooperation with ACM, ACM SIGPLAN and ACM ICPS, and is sponsored by the JKU Department of Computer Science, Oracle Labs, and Linz AG. http://ssw.jku.at/manlang18/ https://www.facebook.com/ManLangConf/ https://twitter.com/manlangconf

...contain either of said functions. >>>> >>>> Cheers! >>>> Kristóf >>>> >>>> >>>> [1] Sreedhar, Vugranam C., and Guang R. Gao. "A linear time algorithm >>>> for placing ϕ-nodes." Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium >>>> on Principles of programming languages. ACM, 1995. >>>> [2] [IDF] Teach Iterated Dominance Frontier to use a snapshot CFG based >>>> on a GraphDiff. https://reviews.llvm.org/D50675 >>>> >>> > > -- > Jakub Kuders...

...Constraints for Interval Analysis without Widenings and Narrowings, Zhendong Su and David Wagner, In Theoretical Computer Science, Volume 345 , Issue 1, 2005. 2. Bitwidth Analysis with Application to Silicon Compilation, Mark Stephenson, Jonathan Babb, and Saman Amarasinghe, In Proceedings of the SIGPLAN conference on Programming Language Design and Implementation, 2000. 3. Polynomial Precise Interval Analysis Revisited. Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm: Efficient Algorithms 2009: 422-437 4. Linear Time Range Analysis with Affine Constrai...

...> ================= > > The 5th Virtual Machine Meetup (VMM) is a collocated event with ManLang > '18. It is a venue for discussing the latest research and developments > in the area of managed language execution. > > ManLang'18 is organized in cooperation with ACM, ACM SIGPLAN and ACM > ICPS, and is sponsored by the JKU Department of Computer Science, Oracle > Labs, and Linz AG. > > http://ssw.jku.at/manlang18/ > https://www.facebook.com/ManLangConf/ > https://twitter.com/manlangconf > > > _______________________________________________ > LL...

...for irregular architectures. In Proceedings of the Joint Conference on Languages, Compilers and Tools for Embedded Systems (LCTES'02), ACM Press, New York, NY, USA, 139-148. [3] Quintão Pereira, F. M. and Palsberg, J. 2008. Register allocation by puzzle solving. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 216-226.