195 research outputs found
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
No full textFunction duplication is widely used by JIT compilers to efficiently implement dynamic languages. When the source language supports higher order functions, the called function's identity is not generally known when compiling a call site, thus limiting the use of function duplication. This paper presents a JIT compilation technique enabling function duplication in the presence of higher order functions. Unlike existing techniques, our approach uses dynamic dispatch at call sites instead of relying on a conservative analysis to discover function identity. We have implemented the technique in a JIT compiler for Scheme.
Experiments show that it is efficient at removing type checks, allowing the removal of almost all the run time type checks for several benchmarks.
This allows the compiler to generate code up to 50% faster. We show that the technique can be used to duplicate functions using other run time information opening up new applications such as register allocation based duplication and aggressive inlining
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis
No full textPrevious work proposed lazy basic block versioning, a technique for just-in-time compilation of dynamic languages which we believe represents an interesting point in the design space. Basic block versioning is simple to implement, simple enough that a single developer can build a complete just-in-time compiler for JavaScript in a year, yet it performs surprisingly well as it propagates
context-sensitive type information to generate type-specialized code on the fly.
In this paper, we demonstrate that lazy basic block versioning
can be extended is simple ways to propagate type information across function call boundaries. This gives some of the benefits of whole-program analysis, or a tracing compiler, without having to implement the machinery for either. We have implemented this proposal in the Higgs JavaScript virtual machine and report on the empirical evaluation of this system on a set of industry standard benchmarks. The approach eliminates 94.3 of dynamic type tests on average,
which we show is more than what is achievable with any static whole-program type analysis
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
No full textDynamically typed programming languages such as JavaScript and Python defer type checking to run time. In order to maximize performance, dynamic language VM implementations must attempt to eliminate redundant dynamic type checks. However, type inference analyses are often costly and involve tradeoffs between compilation time and resulting precision. This has lead to the creation of increasingly complex multi-tiered VM architectures.
This paper introduces lazy basic block versioning, a simple JIT compilation technique which effectively removes redundant type checks from critical code paths. This novel approach lazily generates type-specialized versions of basic blocks on-the-fly while propagating context-dependent type information. This does not require the use of costly program analyses, is not restricted by the precision limitations of traditional type analyses and avoids the implementation complexity of speculative optimization techniques.
We have implemented intraprocedural lazy basic block versioning in a JavaScript JIT compiler. This approach is compared with a classical flow-based type analysis. Lazy basic block versioning performs as well or better on all benchmarks. On average, 71% of type tests are eliminated, yielding speedups of up to 50%. We also show that our implementation generates more efficient machine code than TraceMonkey, a tracing JIT compiler for JavaScript, on several benchmarks. The combination of implementation simplicity, low algorithmic complexity and good run time performance makes basic block versioning attractive for baseline JIT compilers
Giving birth and 'going it alone': choosing to freebirth in the UK
No full textBMC Pregnancy and Childbirth recently published a research article investigating the reasons behind why women choose to ‘go it alone’ when giving birth in the UK. Co-author Claire Feeley explains more about their findings in this guest blog
Reclaiming the Beautiful Island: Taiwan\u27s Emerging Environmental Regulation
No full textIn this Article, Mr. Feeley, provides an introduction to the Taiwanese environmental regulatory scheme emerging from Taiwan\u27s unique circumstances (economic influence and ecological crises) and the potential economic impact that may result. The author reviews the development of the centuries-old colony into an independent and powerful state. He then provides an overview of the specific environmental laws, regulations and policies already in place and previews those being developed. Lastly, he discusses potential economic effects of the new environmental scheme. In conclusion, the author envisions the shrewd commercial acumen and diligence which fueled Taiwan\u27s rise in the world market as a catalyst for much needed environmental reforms
Towards the Cathedral: Ancient Sanctuary Represented in the American Context
No full textIn this Article, Mr. Feeley, discusses the historical roots of the power of the Church to provide sanctuary to those in fear of life and limb. Tracing its historical roots, the author identifies three elements of sanctuary - person, place, governmental check. He then demonstrates that the American Sanctuary Movement contains these defining elements of historical sanctuary. An analysis of the Sanctuary Movement concludes that, despite its different features and cultural locus, the Movement embodies the ancient elements of person, place and governmental check transformed, rather than transubstantiated by the American context
Draft : incentives to support the transition to zero emissions for medium and heavy-duty sectors in Oregon
No full textprinciple authors: Mary Brazell, Jillian DiMedio, Eric Feeley, Gerik Kransky, Rachel Sakata, Morgan Schafer, Cory-Ann Wind.Title from PDF cover (viewed on November 23, 2022).Covers OCLC #1351608796 and OCLC #1346557614.This archived document is maintained by the State Library of Oregon as part of the Oregon Documents Depository Program. It is for informational purposes and may not be suitable for legal purposes.Includes bibliographical references.Mode of access: Internet from the Oregon Government Publications Collection.Text in English
Compilation statique de Java
No full textMémoire numérisé par la Direction des bibliothèques de l'Université de Montréal
Les mouvements pacifistes américains et français, hier et aujourd'hui : actes du colloque des 5, 6 et 7 avril 2006 à l'Université de Savoie
No full textInternational audienceSOMMAIRE -*- Introduction / Francis Feeley et Ronald Creagh --A-- HISTOIRE DES MOUVEMENTS PACIFISTES AMERICAINS ET FRANCAIS -1- Le pacifisme en Amérique du Nord au XVIIe siècle / Jeanne-Henriette Louis -2- Christian Pacifism in the United States : a History and Development since the 17th Century / Michael True -3- Le tournant de 1898 et les pourfendeurs du pacifisme / Jean-Marie Ruiz -4- La tradition pacifiste des instituteurs et institutrices anarcho-syndicalistes français et leur congrès de 1912 à Chambéry / Francis Feeley -5- Les refus des réfractaires à la guerre d'Algérie, révélateurs malgré eux des déshonneurs de la gauche française / Marc Ollivier -6- Louis Lecoin : "A bas la guerre ! Vive l'anarchie !" / J.-Didier Giraud -7- The American Tradition of Nonviolence / Michael True -8- A la recherche de l'émir afghan : anti-impérialistes et islamistes dans la "Lutte contre la guerre" / Yves Santamaria -9- The Anatomy of Mutiny / Robert A. Seeley -10- Souverainisme et pacifisme dans la société québécoise contemporaine / Philippe Descamps -11- Pour une analyse socio-politique du mouvement antiguerre aux Etats-Unis aujourd'hui / Jim Cohen --B-- LES CULTURES PACIFISTES -12- L'esthétique du guerrier : paradoxe de l'art chicano / Patrick Moreno -13- Du Vietnam à la Corée : réflexion sur le "pacifisme" dans le film de guerre américain / André Muraire -14- L'état de la non-violence en France / Guillaume Gamblin -15- La correspondance entre Freud et Einstein "Pourquoi la guerre ?" - quel enjeu pour l'éditeur, l'Institut International de Coopération Intellectuel ? / Ute Lemke -16- Pacifisme et antimilitarisme dans le mouvement espérantiste avant la Première Guerre mondiale / Marielle Giraud -17- Les trois âges du pacifisme / Jean-Paul Vienne -18- Ceux qui refusent / André Gazut -19- Le pacifisme chrétien : leçons d'hier et d'aujourd'hui à travers les exemples d'Abraham-Johannes Muste et Reinhold Niebuhr / Barbara Buffet -20- Confronting Human Nature : Dilemmas and Delusions of Pacifism / Al Burke -21- La résistance des Afro-Américains. Le SNCC (Student Nonviolent Coordinating Committee) et le combat des Noirs dans le Sud des Etats-Unis dans les années soixante / Johann Bauer -22- The Use of Paramilitary forces by US/European Multinationals Against Pacifist Resistance in Nigeria/W.Africa" / Peterson Njajiofor -23- Peace Activists and the U.S. Military : Misunderstandings, Challenges, and Potential for Cooperation in the Era of the Professional Soldier / Michael J. Sharp and David Stutzman -24- La résistance pendant la guerre en Algérie / Claude Vinci -25- Souvenir d'un jeune "pied-noir" opposant à la guerre d'Algérie / Pierre Saccoman -25- I Am not a Hero / Ehren Watada -26- Pas de paix sans justice et sans développement solidaire / Jo Briant -26- Le mouvement alter-mondialiste en tant que résistance non-violente / Vicki Briault Manus -27- A duty to disobey : the Forgotten Lessons of Mai Lai / Robert S. Rivkin -28- Bosnie : mobilisation de la société civile face à la guerre / Xavier Guigue -28- Pacifists Abroad : Resistance to U.S. Imperialism Outside the United States and its Cooptation by the Democratic Party, 2001-2006 / Lawrence McGuire and Larry Portis -29- L'intervention civile de PaixTémoignage d'une volontaire de la Solidarité internationale au Kosovo / Benedict Rivet -30- GIs under Siege : The Turbulent 1980s The German Peace Movement Confronts the U.S. Military / Lou Marin -31- Poems and Songs / Jean Derioz and Lawrence McGuire -**- Conclusion / Francis Feeley
Compilation optimisante à l'aide de métaheuristiques
No full textThèse numérisée par la Direction des bibliothèques de l'Université de Montréal
- …
