A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Filters
Mixing source and bytecode
2008
SIGPLAN notices
Preserved Fulltext
To allow for a more loosely coupled approach, we propose an open compiler model based on normalization steps from a high-level language to a subset of it, the core language. ...
Language extensions can often be realized through translation to the base language, supported by preprocessors and extensible compilers. ...
Language Design Key to compilation by normalization is the notion of a core language that is -often incrementally -extended with new abstractions to form a rich, high-level language. ...
doi:10.1145/1449955.1449772
fatcat:agsp3ctqk5fjlp3tqr7s6xoopi
Mixing source and bytecode
2008
Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '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 2013; you can also visit the original URL.
The file type is application/pdf.
Language Design Key to compilation by normalization is the notion of a core language that is -often incrementally -extended with new abstractions to form a rich, high-level language. ...
This normalization ensures that other rules only have to deal with the latter form. ...
doi:10.1145/1449764.1449772
dblp:conf/oopsla/KatsBV08
fatcat:t2iu5lofofbalea6ojvi57h43y
Implementing Java modeling language contracts with AspectJ
2008
Proceedings of the 2008 ACM symposium on Applied computing - SAC '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 2009; you can also visit the original URL.
The file type is application/pdf.
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java applications. ...
The paper includes a comparative study to demonstrate the quality of the final code generated by our compiler. The size of the code is compared against the code generated by an existent JML compiler. ...
In order to overcome this limitation, this paper proposes an approach to implement a new JML compiler with support for Java ME applications. ...
doi:10.1145/1363686.1363745
dblp:conf/sac/RebeloSLFC08
fatcat:7vbrpwg2k5gpthn65jrv5njvz4
A JML Compiler Based on AspectJ
2008
2008 International Conference on Software Testing, Verification, and Validation
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.
The paper also includes a comparative study to demonstrate the quality of the final code generated by our compiler. ...
In order to overcome this limitation, we propose the use of AspectJ to implement a new JML compiler, which generates an instrumented bytecode compliant with both Java SE and Java ME applications. ...
It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family [4] of interface specification languages, with some elements of the refinement calculus ...
doi:10.1109/icst.2008.14
dblp:conf/icst/RebeloLCS08
fatcat:zxhvz5zx3vcxpjvf4ybkqmysg4
Layout-oblivious compiler optimization for matrix computations
2013
ACM Transactions on Architecture and Code Optimization (TACO)
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 evaluated our approach on an Intel 8-core platform using two source-to-source compiler infrastructures, Pluto and EPOD. ...
Therefore separately optimizing the operations and the data layout of a computation could dramatically enhance the effectiveness of compiler optimizations compared with the conventional approaches of using ...
THE OVERALL APPROACH (1) Matrix normalization. ...
doi:10.1145/2400682.2400694
fatcat:24fhy46qvbgc7g3webltf4b5hi
Layout-oblivious optimization for matrix computations
2012
Proceedings of the 21st international conference on Parallel architectures and compilation techniques - PACT '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 2017; you can also visit the original URL.
The file type is application/pdf.
compilers optimizations. ...
be much more accurately analyzed and optimized through varying state-of-the-art compiler technologies. ...
With our layoutoblivious optimization approach, the computational kernels which originally cannot be analyzed by compilers can benefit from normalizing its data accesses and become optimizable. ...
doi:10.1145/2370816.2370880
dblp:conf/IEEEpact/CuiYX012
fatcat:er53czfd3rfcjof544gd56dmru
Synthesis of Floating-Point Addition Clusters on FPGAs Using Carry-Save Arithmetic
2010
2010 International Conference on Field Programmable Logic and Applications
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 2016; you can also visit the original URL.
The file type is application/pdf.
Similar to Altera's floating-point data path compiler, it performs normalization once, at the output of the cluster operation. ...
Compared to Altera's floating-point datapath compiler, our method reduces the critical path delay by as much as 20%, and area by as much as 29% on Altera Stratix III FPGAs. ...
Compared to Altera's compiler [1, 2] our approach improves critical path delay up to 20% and area up to 29%.
II. PRELIMINARIES
A. ...
doi:10.1109/fpl.2010.15
dblp:conf/fpl/VermaVPBI10
fatcat:r2ycy2sukje6dkteqhk5ikw5xe
Compiling Diderot: From Tensor Calculus to C
[article]
2018
arXiv
pre-print
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 describes our approach to this challenge, which is based around the careful design of an intermediate representation (IR), called EIN, and a number of compiler transformations that lower the ...
We describe the challenges in compiling a language like Diderot, the design of EIN, and the transformation used by the compiler. ...
terms in normal form. ...
arXiv:1802.06504v1
fatcat:nfwsuvl5z5g6nlycm3haxbxyr4
ORC-OpenMP: An OpenMP Compiler Based on ORC
[chapter]
2004
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 approach improves the code quality by reducing runtime overhead and code size. ...
Different from other open source OpenMP compilation system, this compiler has the following characteristics: First, it's integrated into the backend optimization compiler that mainly exploits Instruction ...
We also want to thank the ORC group members for their work on ORC. ...
doi:10.1007/978-3-540-24688-6_55
fatcat:izjj34utd5civnvc7y4n7wncjq
A facility for the downward extension of a high-level language
1982
Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82
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 facility has been implemented in a systems-programming language and was designed to provide access to facilities not directly available in the language. ...
Extensions are specified in an assembler-like language that is used at compile time to produce executable code to be combined with compiler-generated code. ...
In the design of the system described here, it was felt that the normal case would be for a code sequence to be used repeatedly in many places. ...
doi:10.1145/800230.806988
dblp:conf/sigplan/Turba82
fatcat:eiojy2vhe5gmdf6s33rnr5pfgq
Security through obscurity: An approach for protecting Register Transfer Level hardware IP
2009
2009 IEEE International Workshop on Hardware-Oriented Security and Trust
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.
The modified gate-level design is then decompiled to generate an obfuscated version of the RTL. ...
In this paper, we propose a key-based security through obscurity approach for protecting RTL hardware IPs. ...
RTL compilation was performed using Synopsys Design Compiler. ...
doi:10.1109/hst.2009.5224963
dblp:conf/host/ChakrabortyB09
fatcat:jes6bipc3rcjje6djkafcftkm4
Accelerating information experts through compiler design
2015
Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 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 2019; you can also visit the original URL.
The file type is application/pdf.
The design of the Co-dfns compiler, itself an APL program, possesses a unique architecture that permits implementation without branching, recursion, or other complex forms of control flow. ...
The Co-dfns compiler project aims to reduce the overheads involved in creating high-performance code in APL. ...
It also uses the nanopass style of compiler design and includes a macro system on top of it to reduce the number of core forms the compiler must consider. ...
doi:10.1145/2774959.2774968
dblp:conf/pldi/Hsu15
fatcat:t6jtgdp2hrbwtcrikaybqh2owi
Applying knowledge compilation techniques to model-based reasoning
1991
IEEE Expert
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.
of approaches ranging from more compiled to less compiled. ...
According to Davis, compilation work seeks to improve tractability by changing the form of a model -rather than its content. ...
doi:10.1109/64.79715
fatcat:zenfepdcqzedlky7rypm3ej22u
Towards a Compiler for Business-IT Systems
[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 2019; you can also visit the original URL.
The file type is application/pdf.
We describe a set of ten research problems that we see as critical to bring our compiler vision to reality. ...
To overcome this fragmentation, we propose the vision of a compiler for Business-IT systems that takes business process specifications described at various degrees of detail as input and compiles them ...
A compiler-oriented approach helps to solve the business problems and to address the technical challenges around BPM/SOA. ...
doi:10.1007/978-3-642-22386-0_1
fatcat:auc4n76a7nfxdaiind34fcqpiy
Developing Correct Systems
1993
Fifth Euromicro Workshop on Real-Time Systems
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 2003; you can also visit the original URL.
The file type is application/pdf.
parallel programs Compilation of programs to hardware and Compilation of real-time programs to conventional processors. ...
This survey paper introduces novel speci cation languages and veri cation techniques for four levels of development: Requirements de nition and design Program speci cations and their transformation to ...
The normal form approach is based on work on proving software compilation correct 16, 1 7 ] . ...
doi:10.1109/emwrt.1993.639088
dblp:conf/ecrts/BowenOFR93
fatcat:mzk3tebgingh3ftgawd2qwd2pu
« Previous
Showing results 1 — 15 out of 348,785 results