Filters








62,671 Hits in 5.9 sec

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  
Manta is a highly optimizing compiler that translates Java source code to binary executables.  ...  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

Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks [chapter]

Robert L. Bocchino, Vikram S. Adve
2011 Lecture Notes in Computer Science  
can check the constraints to provide a noninterference guarantee for the entire user program.  ...  Object-oriented frameworks can make parallel programming easier by providing generic parallel algorithms such as map, reduce, or scan, and letting the user fill in the details with sequential code.  ...  Once we add class types like C<E>, where E is an effect argument, we need a rule for when C<E1> is a subtype of C<E2>.  ... 
doi:10.1007/978-3-642-22655-7_15 fatcat:f6gvsbiq5zgfhaibj6aafq3hgy

Zhi# – OWL Aware Compilation [chapter]

Alexander Paar, Denny Vrandečić
2011 Lecture Notes in Computer Science  
In this work, a novel programming language is presented that integrates OWL and XSD data types with C#.  ...  The Zhi# programming language is the first solution of its kind to make XSD data types and OWL class descriptions first-class citizens of a widely-used programming language.  ...  As a result, the OWL plug-in for the Zhi# compiler framework and the Zhi# runtime library facilitate dynamic checking of ontological knowledge bases.  ... 
doi:10.1007/978-3-642-21064-8_22 fatcat:n3jbmxwlwfhx5lplkna6bzwiuy

Supporting Array Programming in X10

David Grove, Josh Milthorpe, Olivier Tardieu
2014 Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY'14  
After significant research and exploration, X10 has adopted an approach based on providing arrays via user definable and extensible class libraries.  ...  Effective support for array-based programming has long been one of the central design concerns of the X10 programming language.  ...  A number of members of the X10 team and user community have contributed both ideas and code to the material presented in this paper.  ... 
doi:10.1145/2627373.2627380 dblp:conf/pldi/GroveMT14 fatcat:x3xxps6zxjajlj7rgdqrcgexse

A method specialisation and virtualised execution environment for Java

A. M. Cheadle, A. J. Field, J. Nystrom-Persson
2008 Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments - VEE '08  
We present a virtualisation and method specialisation framework for Java that facilitates efficient, dynamic modification of the behaviour of object accesses at run time.  ...  The technique works by virtualising all method calls and field accesses associated with selected classes so that all corresponding object accesses are via the invocation of a virtual method.  ...  Acknowledgments We would like to thank John Zigman for making available the BCEL patch for Jikes RVM, Steve Blackburn and Anthony Hosking for their read barrier patches to Jikes RVM's MMTk, and Richard  ... 
doi:10.1145/1346256.1346264 dblp:conf/vee/CheadleFN08 fatcat:wgpgjrmuf5exbdevfl5fwy57oi

BigFoot: static check placement for dynamic race detection

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
With BIGFOOT, multiple accesses to an object or array often induce a single coalesced check that manipulates a single compressed shadow location, resulting in a performance improvement over FASTTRACK of  ...  Precise dynamic data race detectors provide strong correctness guarantees but have high overheads because they generally keep analysis state in a separate shadow location for each heap memory location,  ...  This work was supported, in part, by NSF Grants 1337278, 1421051, 1421016, and 1439042.  ... 
doi:10.1145/3062341.3062350 dblp:conf/pldi/RhodesFF17 fatcat:aiok6u7nczc7jjix7jtyubk2bu

JITProf: pinpointing JIT-unfriendly JavaScript code

Liang Gong, Michael Pradel, Koushik Sen
2015 Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015  
This paper presents JITPROF, a profiling framework to dynamically identify code locations that prohibit profitable JIT optimizations.  ...  Despite the overall success of JIT compilers, programmers may still write code that uses the dynamic features of JavaScript in a way that prohibits profitable optimizations.  ...  The authors would like to thank Luca Della Toffola for his valuable feedback.  ... 
doi:10.1145/2786805.2786831 dblp:conf/sigsoft/GongPS15 fatcat:gqjuyz2gvfhefib5zlzzkdjbwi

A Comprehensive Approach to Array Bounds Check Elimination for Java [chapter]

Feng Qian, Laurie Hendren, Clark Verbrugge
2002 Lecture Notes in Computer Science  
This paper reports on a comprehensive approach to eliminating array bounds checks in Java. Our approach is based upon three analyses.  ...  This analysis builds a small constraint graph for each important point in a method, and then uses the information encoded in the graph to infer the relationship between array index expressions and the  ...  Based on this observation, we developed a simple analysis detecting a field holding a fixed length array object. For each class C, array field analysis examines the class fields.  ... 
doi:10.1007/3-540-45937-5_23 fatcat:dtfsqi5avrbybavp7d7tlal7h4

Constrained kinds

Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay Saraswat
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
In earlier work, we presented a framework for constrained types in object-oriented languages, parametrized by an underlying constraint system.  ...  Types are viewed as formulas C{c} where C is the name of a class or an interface and c is a constraint on the immutable instance state (the properties) of C.  ...  Acknowledgments This material is based upon work supported in part by the Defense Advanced Research Projects Agency under its Agreement No. HR0011-07-9-0002.  ... 
doi:10.1145/2384616.2384675 dblp:conf/oopsla/TardieuNPS12 fatcat:wgmspixehnccdmzem3fnpp77qq

Efficient Compilation of .NET Programs for Embedded Systems

Olivier Sallenave, Roland Ducournau
2012 Journal of Object Technology  
We extended RTA so that it takes into account .Net specific features such as (i) array covariance, a language feature also supported in Java, (ii) generics, whose specifications in .Net impacts type analysis  ...  Preliminary results show a noticeable reduction of the code size, class hierarchy and polymorphism of the programs we optimize.  ...  Acknowledgments We would like to thank: David Kerr-Munslow for his careful reviews, Floréal Morandat, who helped to put together the first version of this paper (thanks to his L A T E X skills), and the  ... 
doi:10.5381/jot.2012.11.3.a5 fatcat:ruoifnpasnhkjkkva7cpqi6jau

Efficient compilation of .NET programs for embedded systems

Olivier Sallenave, Roland Ducournau
2010 Proceedings of the Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - ICOOOLPS '10  
We extended RTA so that it takes into account .Net specific features such as (i) array covariance, a language feature also supported in Java, (ii) generics, whose specifications in .Net impacts type analysis  ...  Preliminary results show a noticeable reduction of the code size, class hierarchy and polymorphism of the programs we optimize.  ...  Acknowledgments We would like to thank: David Kerr-Munslow for his careful reviews, Floréal Morandat, who helped to put together the first version of this paper (thanks to his L A T E X skills), and the  ... 
doi:10.1145/1925801.1925804 dblp:conf/ecoop/SallenaveD10 fatcat:3bfvxachqvf2zbd5al3wcfibsi

Scopira: an open source C++ framework for biomedical data analysis applications

Aleksander B. Demko, Nick J. Pizzi
2009 Software, Practice & Experience  
This paper presents Scopira, an open source C++ framework suitable for MRI data analysis and visualization.  ...  In MRI research labs, algorithms are typically implemented in MATLAB or IDL.  ...  Scopira also provides bounds checking ( via asserts() ) when in debug builds, which are removed on release builds resulting in performance that would be no worse than the C implementation equivalent .  ... 
doi:10.1002/spe.915 fatcat:fkkvh3hk3ndv7npyds5s2cueeu

Ensuring code safety without runtime checks for real-time control systems

Sumant Kowshik, Dinakar Dhurjati, Vikram Adve
2002 Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02  
The language permits pointer-based data structures, restricted dynamic memory allocation, and restricted array operations, without requiring any runtime checks on memory operations and without garbage  ...  The paper describes the language design and a compiler implementation for Control-C.  ...  (b) Structures or arrays containing pointers must be allocated dynamically, either via RMalloc (on the heap) or via alloca (on the stack).  ... 
doi:10.1145/581630.581678 dblp:conf/cases/KowshikDA02 fatcat:nbop6goaz5ftvo4ssgbrvbociu

Just-in-time static type checking for dynamic languages

Brianna M. Ren, Jeffrey S. Foster
2016 Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016  
Dynamic languages such as Ruby, Python, and JavaScript have many compelling benefits, but the lack of static types means subtle errors can remain latent in code for a long time.  ...  In this paper, we propose Hummingbird, a new system that uses a novel technique, just-in-time static type checking, to type check Ruby code even in the presence of metaprogramming.  ...  We presented Hummingbird, a novel tool that type checks Ruby apps using an approach we call just-in-time static type checking.  ... 
doi:10.1145/2908080.2908127 dblp:conf/pldi/RenF16 fatcat:xjyvfktakbbzjgobikc7a5hgm4

Ensuring code safety without runtime checks for real-time control systems

Sumant Kowshik, Dinakar Dhurjati, Vikram Adve
2002 Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02  
The language permits pointer-based data structures, restricted dynamic memory allocation, and restricted array operations, without requiring any runtime checks on memory operations and without garbage  ...  The paper describes the language design and a compiler implementation for Control-C.  ...  (b) Structures or arrays containing pointers must be allocated dynamically, either via RMalloc (on the heap) or via alloca (on the stack).  ... 
doi:10.1145/581677.581678 fatcat:d6uyzdv35ral3hy4pu7545ovza
« Previous Showing results 1 — 15 out of 62,671 results