Filters








1,761 Hits in 9.1 sec

On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages

Jose Castanos, David Edelsohn, Kazuaki Ishizaki, Priya Nagpurkar, Toshio Nakatani, Takeshi Ogasawara, Peng Wu
2012 SIGPLAN notices  
Whenever the need to compile a new dynamically typed language arises, an appealing option is to repurpose an existing statically typed language Just-In-Time (JIT) compiler (repurposed JIT compiler).  ...  Even more customized solutions that extend the internals of a JIT compiler for the target language compete poorly with those designed specifically for dynamically typed languages.  ...  The Repurposed JIT Compiler Phenomenon There are two types of dynamically typed language JIT compilers: one type is based on an existing JIT compiler designed for statically typed languages that has been  ... 
doi:10.1145/2398857.2384631 fatcat:o4wiu7azpnf7fg7s4pyt6v2q6i

Just-in-time Compiler for KonohaScript Using LLVM

Masahiro Ide, Kimio Kuramitsu
2013 IPSJ Online Transactions  
The difficulty of JIT compilation for scripting language is its dynamically typed code and in its own language runtime.  ...  In this study, we use a statically typed scripting language KonohaScript to analyze language runtime performance impact of the code generated by the JIT compiler.  ...  First, the scripting language JIT compiler needs to take into account the dynamic typed code.  ... 
doi:10.2197/ipsjtrans.6.9 fatcat:dpdbrmieufhrlcmss2uqbfjlrm

Just-in-time Length Specialization of Dynamic Vector Code

Justin Talbot, Zachary DeVito, Pat Hanrahan
2014 Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY'14  
In these languages, vectors have both dynamic type and dynamic length, making static generation of efficient machine code difficult.  ...  Dynamically typed vector languages are popular in data analytics and statistical computing.  ...  In addition to the standard difficulties in dealing with dynamic types, compilers for vector languages have to deal with dynamic lengths.  ... 
doi:10.1145/2627373.2627377 dblp:conf/pldi/TalbotDH14 fatcat:4dptcjw7djhadlilnxc3mo3hnm

Librando

Andrei Homescu, Stefan Brunthaler, Per Larsen, Michael Franz
2013 Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13  
There are a great many JITs in use today, but not even all of the most commonly used ones randomize their outputs.  ...  Yet in spite of the heavy lifting that librando performs behind the scenes, the performance impact is surprisingly low.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the Defense Advanced Research Projects Agency  ... 
doi:10.1145/2508859.2516675 dblp:conf/ccs/HomescuBLF13 fatcat:fjp2tksn5jabxlp3d7blnitmjy

The Open Runtime Platform: a flexible high-performance managed runtime environment

Michal Cierniak, Marsha Eng, Neal Glew, Brian Lewis, James Stichnoth
2005 Concurrency and Computation  
compilers (JITs).  ...  Finally, the dynamic nature of MRTEs makes some traditional compiler optimizations, such as devirtualization of method calls, more difficult to implement or more limited in applicability.  ...  ACKNOWLEDGEMENTS This work would not be possible without contributions from the entire ORP development team.  ... 
doi:10.1002/cpe.852 fatcat:ctffpp7cszgrdhlpgvec6indiu

Later Binding: Just-in-Time Compilation of a Younger Dynamic Programming Language

Max Rottenkolber
2020 European Lisp Symposium  
We examine LuaJIT, an implementation of the dynamic programming language Lua.  ...  It does this by using only a conservative set of optimization passes, and without resorting to explicit type declarations, or abandoning type safety.  ...  information primarily, (optional) type declarations are a separate can of worms.  ... 
doi:10.5281/zenodo.3743225 dblp:conf/els/Rottenkolber20 fatcat:opk6yid3ijhstaimhyiiiyulbm

Fine-grained modularity and reuse of virtual machine components

Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz
2012 Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12  
Our research will be based on the existing state of the art. We will reuse an existing metacircular Java TM VM and an existing dynamic language VM implemented in Java.  ...  Our goal is to significantly reduce to the cost of extending VMs to efficiently host and execute multiple, dynamic languages.  ...  endorsements, either expressed or implied, of the National Science Foundation (NSF), nor that of Samsung Telecommunications America.  ... 
doi:10.1145/2162049.2162073 dblp:conf/aosd/WimmerBLF12 fatcat:ddkikcw3crhf7nr5ik2znw3zsa

Mining inline cache data to order inferred types in dynamic languages

Nevena Milojković, Clément Béra, Mohammad Ghafari, Oscar Nierstrasz
2018 Science of Computer Programming  
The lack of static type information in dynamically-typed languages often poses obstacles for developers.  ...  to promote the correct type to the top of the list.  ...  Acknowledgements We gratefully acknowledge the financial support of the Swiss National Science We thank Eliot Miranda for helping us to implement the primitives we added in the Pharo VM and reviewing  ... 
doi:10.1016/j.scico.2017.11.003 fatcat:lbet5c3exvgtnhjhdzsvfgukcy

Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation

Juan Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach
2017 Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments - VEE '17  
Using just-intime compilation, we automatically generate OpenCL code at runtime which is specialized to the actual observed data types using profiling information.  ...  On the application side, interpreted dynamic languages are increasingly becoming popular in many domains due to their simplicity, expressiveness and flexibility.  ...  Acknowledgments The authors would also like to thank the anonymous reviewers as well as Roland Schatz, Stefan Marr and Gilles Duboscq for fruitful discussions.  ... 
doi:10.1145/3050748.3050761 dblp:conf/vee/FumeroSSD17 fatcat:xh7trtbg6rhubaby3j2xoyqtqy

Just-In-Time GPU Compilation for Interpreted Languages with Partial Evaluation

Juan Fumero, Michel Steuwer, Lukas Stadler, Christophe Dubach
2017 SIGPLAN notices  
Using just-intime compilation, we automatically generate OpenCL code at runtime which is specialized to the actual observed data types using profiling information.  ...  On the application side, interpreted dynamic languages are increasingly becoming popular in many domains due to their simplicity, expressiveness and flexibility.  ...  Acknowledgments The authors would also like to thank the anonymous reviewers as well as Roland Schatz, Stefan Marr and Gilles Duboscq for fruitful discussions.  ... 
doi:10.1145/3140607.3050761 fatcat:svzfaag4evg3hlfnosicgcabvy

A portable approach to dynamic optimization in run-time specialization

Hidehiko Masuhara, Akinori Yonezawa
2002 New generation computing  
The binding-time analysis algorithm is based on a type system, and covers a non-object-oriented subset of JVML.  ...  Despite the large overhead of JIT compilation of specialized code, we observed that the overall performance of the application can be improved.  ...  Finally, we are very grateful to the detailed and constructive comments from anonymous reviewers on the early draft of the paper.  ... 
doi:10.1007/bf03037261 fatcat:kdtpdbovqzdsxnmrx5dot6caku

Vector Parallelism in JavaScript: Language and Compiler Support for SIMD

Ivan Jibaja, Peter Jensen, Ningxin Hu, Mohammad R. Haghighat, John McCutchan, Dan Gohman, Stephen M. Blackburn, Kathryn S. McKinley
2015 2015 International Conference on Parallel Architecture and Compilation (PACT)  
This paper presents the design and implementation of SIMD language extensions and compiler support that together add fine-grain vector parallelism to JavaScript.  ...  The specification for this language extension is in final stages of adoption by the JavaScript standardization committee and our compiler support is available in two open-source production browsers.  ...  In contrast, modern JIT compilers for dynamic languages typically perform some mix of type inference, which uses static analysis to prove type values and eliminate any dynamic checks, and type feedback  ... 
doi:10.1109/pact.2015.33 dblp:conf/IEEEpact/JibajaJHHMGBM15 fatcat:yzgca7enjngwdlwzfo47v5k5zq

Optimizing Java-Specific Overheads: Java at the Speed of C? [chapter]

Ronald S. Veldema, Thilo Kielmann, Henri E. Bal
2001 Lecture Notes in Computer Science  
We assess the execution time of three application kernels, comparing Manta with the IBM JIT 1.3.0, and with C-versions of the codes, compiled with GCC.  ...  In this paper, we discuss four Java-specific code optimizations and their impact on application performance.  ...  Acknowledgments The development of Manta is supported in part by a USF grant from the Vrije Universiteit.  ... 
doi:10.1007/3-540-48228-8_78 fatcat:a5zqdq4qprbarjuxjwiio3wfqq

Harissa: A hybrid approach to Java execution

G. Muller, U. Pagh Schultz
1999 IEEE Software  
To resolve this problem, the authors developed Harissa, an execution environment that offers efficiency without sacrificing portability or dynamic class loading.  ...  Java provides portability and safety but falls short on efficiency.  ...  The first prototype of Harissa was designed in part by Fabrice Bellard.  ... 
doi:10.1109/52.754052 fatcat:3wdvn2qtwbfhrlmabwx7vty7iy

Compiling scheme to JVM bytecode:

Bernard Paul Serpette, Manuel Serrano
2002 SIGPLAN notices  
We have used this new compiler to evaluate how suitable the JVM bytecode is as a target for compiling strict functional languages such as Scheme. In this paper, we focus on the performance issue.  ...  We found that for each benchmark, at least one of our hardware platforms ran the BiglooJVM version in less than twice the time taken by the Bigloo version.  ...  ACKNOWLEDGMENTS Many thanks to Christian Queinnec, Xavier Leroy, John Clements, and to Céline for their helpful feedbacks on this work.  ... 
doi:10.1145/583852.581503 fatcat:kumxhv5o4bftnbvo5eqixwmafm
« Previous Showing results 1 — 15 out of 1,761 results