A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Optimizing Java-Specific Overheads: Java at the Speed of C?
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY'14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments - VEE '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - ICOOOLPS '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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