|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4282 occurrences of 1824 keywords
|
|
|
Results
Found 6586 publication records. Showing 6586 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Jean Le Palmec |
Etude d'un langage intermédiaire pour la compilation d'Algol 60 -Application à un calculateur de type microprogrammé : CAE 510. (Study of an intermediate language for compilation of Algol 60 -Application to a calculator type CAE 510). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1966 |
RDF |
|
22 | Georg Werner |
Etude de la syntaxe d' Algol - Application à la compilation. (Study of the syntax of Algol - Application to the compilation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1964 |
RDF |
|
22 | Jean-Loup Baer |
Etude critique et données de compilation du langage Cobol. (Study critical and compilation data of the language COBOL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1963 |
RDF |
|
18 | Manjiri A. Namjoshi, Prasad A. Kulkarni |
Novel online profiling for virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010, pp. 133-144, 2010, ACM, 978-1-60558-910-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
java, virtual machines, online profiling |
18 | Allison W. Lee, Mohamed Zaït, Thierry Cruanes, Rafi Ahmed, Yali Zhu |
Validating the Oracle SQL engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBTest ![In: Proceedings of the 2nd International Workshop on Testing Database Systems, DBTest 2009, Providence, Rhode Island, USA, June 29, 2009, 2009, ACM, 978-1-60558-706-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
execution plan, test, SQL, validation, query optimization, database systems, Oracle |
18 | José Luis Ayala, David Atienza, Philip Brisk |
Thermal-aware data flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 613-614, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
compiler, thermal management |
18 | Vincenzo Catania, Maurizio Palesi, Davide Patti |
Reducing complexity of multiobjective design space exploration in VLIW-based embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 5(2), pp. 11:1-11:33, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hyperblock formation, genetic algorithms, performances, statistical analysis, power, energy, design space exploration, multiobjective optimization, ILP, VLIW architectures |
18 | Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen |
CHR for Imperative Host Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Handling Rules ![In: Constraint Handling Rules, Current Research Topics, pp. 161-212, 2008, Springer, 978-3-540-92242-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Juan Chen |
A typed intermediate language for compiling multiple inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 25-30, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
class and object encoding, multiple inheritance, typed intermediate language |
18 | Neil V. Murray, Erik Rosenthal |
Updating Reduced Implicate Tries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, pp. 183-198, 2007, Springer, 978-3-540-73098-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon |
A Better Semantics for XQuery with Side-Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, pp. 81-96, 2007, Springer, 978-3-540-75986-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ian Page |
Academia to IPO - A Modern Odyssey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006, pp. 1, 2006, IEEE, 1-4244-0312-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Lorenz Huelsbergen |
Fast evolution of custom machine representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 97-104, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jon Sneyers |
Analysis and Optimization of CHR Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 450-451, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Kleanthis Psarris, Konstantinos Kyriakopoulos |
An Experimental Evaluation of Data Dependence Analysis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(3), pp. 196-213, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization |
18 | David Lesaint, George Papamargaritis |
Aspects and Constraints for Implementing Configurable Product-Line Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 135-144, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Yosi Ben-Asher, Daniel Citron, Gadi Haber |
Overlapping Memory Operations with Circuit Evaluation in Reconfigurable Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Feihui Li, Mahmut T. Kandemir |
Improving Performance of Java Applications Using a Coprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Laurent Arditi, Gérard Berry, Michael Kishinevsky |
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 128-143, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Erik Johansson, Konstantinos Sagonas |
Linear Scan Register Allocation in a High-Performance Erlang Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 101-119, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Dana N. Xu, Siau-Cheng Khoo |
Compiling real time functional reactive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIA-PEPM ![In: Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002, pp. 83-93, 2002, ACM, 1-58113-458-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
partial evaluation, reactive system, tupling |
18 | Kameswari V. Garigipati, Cindy Norris |
Evaluating the use of profiling by a region-based register allocator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 953-957, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
region-based register allocation, profiling |
18 | Stephen M. Blackburn, Kathryn S. McKinley |
In or out?: putting write barriers in their place. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSP/ISMM ![In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany, pp. 281-290, 2002, ACM, 1-58113-539-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
copying collection, generational collection, Java, write barriers |
18 | Matthai Philipose, Craig Chambers, Susan J. Eggers |
Towards automatic construction of staged compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002, pp. 113-125, 2002, ACM, 1-58113-450-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | João M. P. Cardoso, Markus Weinhardt |
XPP-VC: A C Compiler with Temporal Partitioning for the PACT-XPP Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings, pp. 864-874, 2002, Springer, 3-540-44108-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve |
Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Vitaly V. Mikheev, Nikita V. Lipsky, D. Gurchenkov, P. Pavlov, Vladimir V. Sukharev, A. Markov, Sergey V. Kuksenko, Stanislav A. Fedoseev, D. Leskov, A. Yeryomin |
Overview of excelsior JET, a high performance alternative to java virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 104-113, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ahead-of-time optimizations, scalable run-time system, java, performance |
18 | Michael Ward, Neil C. Audsley |
Language Issues of Compiling Ada to Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 88-99, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Clemens Grelck |
Optimizations on Array Skeletons in a Shared Memory Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers, pp. 36-54, 2001, Springer, 3-540-43537-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Raphaël Marvie, Philippe Merle, Jean-Marc Geib, Sylvain Leblanc |
Type-Safe Trading Proxies Using TORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 303-310, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Egon Börger, Wolfram Schulte |
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(9), pp. 872-887, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines |
18 | Martin Hofmann 0001 |
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 165-179, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Michael Voss, Rudolf Eigenmann |
ADAPT: Automated De-Coupled Adaptive Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2000 International Conference on Parallel Processing, ICPP 2000, Toronto, Canada, August 21-24, 2000, pp. 163-172, 2000, IEEE Computer Society, 0-7695-0768-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers |
An evaluation of staged run-time optimizations in DyC (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 656-669, 1999, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Brian Grant, Matthai Philipose, Markus Mock, Craig Chambers, Susan J. Eggers |
An Evaluation of Staged Run-Time Optimizations in DyC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, pp. 293-304, 1999, ACM, 1-58113-094-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Rémi Douence, Pascal Fradet |
A Systematic Study of Functional Language Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(2), pp. 344-387, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
compilers, program transformation, functional programming, combinators, abstract machines |
18 | Matthew Flatt, Matthias Felleisen |
Units: Cool Modules for HOT Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998, pp. 236-248, 1998, ACM, 0-89791-987-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ML, SCHEME |
18 | David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
An ML-Like Module System for the Synchronous Language SIGNAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 1244-1253, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek |
tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997, pp. 109-121, 1997, ACM, 0-89791-907-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
C |
18 | T. Troy Pearse, Paul W. Oman |
Experiences Developing and Maintaining Software in a Multi-Platform Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1997 International Conference on Software Maintenance (ICSM '97), 1-3 October 1997, Bari, Italy, Proceedings, pp. 270-277, 1997, IEEE Computer Society, 0-8186-8013-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multi-platform maintenance, multi-platform development, software measurement, software portability, software complexity |
18 | Simon L. Peyton Jones |
Compiling Haskell by Program Transformation: A Report from the Trenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings, pp. 18-44, 1996, Springer, 3-540-61055-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Zhong Shao, Andrew W. Appel |
A Type-Based Compiler for Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 116-129, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
18 | Ian T. Foster, Stephen Taylor |
A Compiler Approach to Scalable Concurrent-Program Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 577-604, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
program composition, monotonicity, programming abstractions, source-to-source transformations |
18 | Jeffrey Dean, Craig Chambers |
Towards Better Inlining Decisions Using Inlining Trials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 273-282, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Self |
18 | Terry Gaasterland, Jorge Lobo 0001 |
Using Semantic Information for Processing Negation and Disjunction in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 198-208, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Meyer, Hans-Günther Hein, Jörg P. Müller |
FIDO: Finite Domain Consistency Techniques in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 294-301, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Urs Hölzle, Craig Chambers, David M. Ungar |
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 21-38, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Maurício Breternitz Jr., John Paul Shen |
Architecture Synthesis of High-Performance Application-Specific Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 542-548, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Cheong Youn, Lawrence J. Henschen, Jiawei Han 0001 |
Classification of Recursive Formulas in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 1-3, 1988., pp. 320-328, 1988, ACM Press, 978-0-89791-268-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Oded Shmueli, Shalom Tsur, Carlo Zaniolo |
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA, pp. 15-28, 1988, ACM, 0-89791-263-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Kurt Keutzer, Wayne H. Wolf |
Anatomy of a Hardware Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 95-104, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Gary Lindstrom, Lal George, Dowming Yeh |
Generating Efficient Code from Strictness Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 140-154, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | David B. Loveman |
Program Improvement by Source-to-Source Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 24(1), pp. 121-145, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
Prolog |
17 | Yongjoo Kim, Jongeun Lee, Aviral Shrivastava, Yunheung Paek |
Operation and data mapping for CGRAs with multi-bank memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 17-26, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bank conflict, multi-bank memory, compilation, arbiter, coarse-grained reconfigurable architecture |
17 | Christian Wimmer, Michael Franz |
Linear scan register allocation on SSA form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 170-179, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SSA form deconstruction, lifetime analysis, linear scan, Java, register allocation, just-in-time compilation, SSA form |
17 | Stefan Monnier, David Haguenauer |
Singleton types here, singleton types there, singleton types everywhere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 1-8, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dependent types, certified compilation, singleton types |
17 | David Zook, Emir Pasalic, Beata Sarna-Starosta |
Typed Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 168-182, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Meta-compilation, Type System, Datalog, Deductive Databases |
17 | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
Trace-based just-in-time type specialization for dynamic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 465-478, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
17 | Matthew A. Hammer, Umut A. Acar, Yan Chen 0001 |
CEAL: a C-based language for self-adjusting computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 25-37, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation |
17 | Fancong Zeng |
Pattern-driven deadlock avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, deadlock, exception, just-in-time (JIT) compilation |
17 | Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
A parallel dynamic compiler for CIL bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 43(4), pp. 11-20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
virtual execution system, parallel virtual machine, dynamic compilation |
17 | Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris |
Speculative improvements to verifiable bounds check elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 85-94, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation |
17 | Seong-Won Lee, Soo-Mook Moon, Seong-Moo Kim |
Enhanced hot spot detection heuristics for embedded java just-in-time compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 13-22, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hot spot detection, j2me cdc, java just-in-time compilation, sun's hotspot heuristic, java virtual machine |
17 | Sanjay V. Rajopadhye, Gautam Gupta, Lakshminarayanan Renganarayanan |
A domain specific interconnect for reconfigurable computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 79-88, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coarse grain reconfiguration, fpga, silicon compilation |
17 | Wen Fu, Rongcai Zhao, Jianmin Pang, Jingbo Zhang |
Recovering Variable-Argument Functions from Binary Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 545-550, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
variable-argument function, reverse compilation, calling convention, instruction pattern, IA-64 |
17 | Christian Wimmer, Hanspeter Mössenböck |
Automatic array inlining in java virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA, pp. 14-23, 2008, ACM, 978-1-59593-978-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
array inlining, object inlining, java, optimization, performance, garbage collection, just-in-time compilation |
17 | Duane Merrill, Kim M. Hazelwood |
Trace fragment selection within method-based JVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008, pp. 41-50, 2008, ACM, 978-1-59593-796-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
region selection, JVM, traces, JIT compilation |
17 | Andrew Kennedy |
Compiling with continuations, continued. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 177-190, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
continuations, monads, optimizing compilation, continuation passing style, functional programming languages |
17 | Greg Stitt, Frank Vahid |
Thread warping: a framework for dynamic synthesis of thread accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 93-98, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
dynamic synthesis, thread warping, warp processing, FPGA, synthesis, multi-core, threads, just-in-time compilation |
17 | Nieraj Singh, Celina Gibbs, Yvonne Coady |
C-CLR: a tool for navigating highly configurable system software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACP4IS ![In: Proceedings of the 6th workshop on Aspects, Components, and Patterns for Infrastructure Software, ACP4IS 2007, Vancouver, British Columbia, Canada, March 12, 2007, pp. 9, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
preprocessor directives, aspect-oriented programming, modularization, tools, structured programming, system configuration, conditional compilation |
17 | Christian Wimmer, Hanspeter Mössenböck |
Automatic feedback-directed object inlining in the java hotspotTM virtual machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007, pp. 12-21, 2007, ACM, 978-1-59593-630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object colocation, object inlining, java, optimization, performance, cache, garbage collection, just-in-time compilation |
17 | Kyungwoo Lee, Xing Fang, Samuel P. Midkiff |
Practical escape analyses: how good are they? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007, pp. 180-190, 2007, ACM, 978-1-59593-630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
analysis precision, Java, dynamic compilation, escape analysis |
17 | Qiang Wu, Margaret Martonosi, Douglas W. Clark, Vijay Janapa Reddi, Dan Connors, Youfeng Wu, Jin Lee, David M. Brooks |
Dynamic-Compiler-Driven Control for Microprocessor Energy and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 26(1), pp. 119-129, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
microprocessor, energy savings, Dynamic-compilation |
17 | Prasad A. Kulkarni, Wankang Zhao, Stephen Hines, David B. Whalley, Xin Yuan 0001, Robert van Engelen, Kyle A. Gallivan, Jason Hiser, Jack W. Davidson, Baosheng Cai, Mark W. Bailey, Hwashin Moon, Kyunghwan Cho, Yunheung Paek |
VISTA: VPO interactive system for tuning applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(4), pp. 819-863, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
User-directed code improvement, interactive compilation, genetic algorithms, phase ordering |
17 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization and concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(1), pp. 125-162, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization |
17 | Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers |
MultiJava: Design rationale, compiler implementation, and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(3), pp. 517-575, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem |
17 | Ben L. Titzer |
Virgil: objects on the head of a pin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 191-208, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data-sensitive optimization, heap compression, multi-stage computation, standalone programs, whole-program compilation, sensor networks, embedded systems, static analysis, microcontrollers, systems software, dead code elimination |
17 | Margaret Gaitatzes Kostoulas, Morris Matsa, Noah Mendelsohn, Eric Perkins, Abraham Heifets, Martha Mercaldi |
XML screamer: an integrated approach to high performance XML parsing, validation and deserialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 15th international conference on World Wide Web, WWW 2006, Edinburgh, Scotland, UK, May 23-26, 2006, pp. 93-102, 2006, ACM, 1-59593-323-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
JAX-RPC, schema compilation, XML, performance, validation, parsing, XML schema, SAX |
17 | Gabriel Dos Reis, Bjarne Stroustrup |
Specifying C++ concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 295-308, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
C++ concepts, type systems, generic programming, separate compilation, C++ templates |
17 | Yudith Cardinale, Eduardo Blanco 0001, Jesús De Oliveira |
JaDiMa: Java Applications Distributed Management on Grid Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings, pp. 905-914, 2006, Springer, 3-540-39368-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
High Performance Java Applications, Grid Platforms, Distributed Library Management, Compilation and Execution, Collaborative Environments |
17 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers, pp. 77-93, 2006, Springer, 978-3-540-71409-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Optimization, Compilation, Prolog, Program Transformation, Abstract Machines |
17 | David Tarditi, Sidd Puri, Jose Oglesby |
Accelerator: using data parallelism to program GPUs for general-purpose uses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 325-335, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
graphics processing units, data parallelism, just-in time compilation |
17 | Jason Cong, Yiping Fan, Guoling Han, Ashok Jagannathan, Glenn Reinman, Zhiru Zhang |
Instruction set extension with shadow registers for configurable processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, FPGA 2005, Monterey, California, USA, February 20-22, 2005, pp. 99-106, 2005, ACM, 1-59593-029-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
shadow register, compilation, ASIP, configurable processor |
17 | Mourad Debbabi, Azzam Mourad, Nadia Tawbi |
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 874-878, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
J2ME/CLDC, selective dynamic compilation, Java, embedded systems, ARM, KVM |
17 | Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood |
Pin: building customized program analysis tools with dynamic instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 190-200, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program analysis tools, instrumentation, dynamic compilation |
17 | Grégoire Hamon |
A denotational semantics for stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 164-172, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compilation, continuations, denotational semantics, Stateflow |
17 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
Type-based verification of assembly language for compiler debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 91-102, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code |
17 | Levon Stepanian, Angela Demke Brown, Allan Kielstra, Gita Koblents, Kevin Stoodley |
Inlining java native calls at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005, pp. 121-131, 2005, ACM, 1-59593-047-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
native code, Java, JIT compilation, inlining, JNI |
17 | Christian Wimmer, Hanspeter Mössenböck |
Optimized interval splitting in a linear scan register allocator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005, pp. 132-141, 2005, ACM, 1-59593-047-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
linear scan, java, optimization, compilers, graph-coloring, register allocation, just-in-time compilation |
17 | Steven Carroll, Constantine D. Polychronopoulos |
A Framework for Incremental Extensible Compiler Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 32(4), pp. 289-316, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Compiler construction, incremental compilation |
17 | Hélène Fargier, Marie-Catherine Vilarem |
Compiling CSPs into Tree-Driven Automata for Interactive Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(4), pp. 263-287, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
interactive constraint solving, CSP compilation, tree clustering, configuration, tree automata |
17 | Sathyanarayanan Thammanur, Santosh Pande |
A fast, memory-efficient register allocation framework for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(6), pp. 938-974, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, compilers, Code generation, compiler optimizations, register allocation, dynamic compilation |
17 | Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua |
A dynamic compiler for embedded Java virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, PPPJ 2004, Las Vegas, Nevada, USA, June 16-18, 2004, pp. 100-106, 2004, ACM, 1-59593-171-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
J2ME/CLDC, selective dynamic compilation, Java, performance, embedded systems, virtual machine, acceleration, KVM |
17 | David Saff, Michael D. Ernst |
An experimental evaluation of continuous testing during development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 76-85, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
continuous compilation, continuous testing, test-first development, unit testing |
17 | Michel Ferreira, Luís Damas |
WAM Local Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 286-303, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Prolog Compilation, Multiple Specialization, Abstract Interpretation |
17 | Sagnik Nandy, Xiaofeng Gao 0003, Jeanne Ferrante |
TFP: Time-Sensitive, Flow-Specific Profiling at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003, Revised Papers, pp. 32-47, 2003, Springer, 3-540-21199-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
run-time optimization, Profiling, dynamic compilation |
17 | Xavier Rival |
Abstract Interpretation-Based Certification of Assembly Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 41-55, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
compilation, Abstract Interpretation, Static program analysis |
17 | Enis Avdicausevic, Marjan Mernik, Mitja Lenic, Viljem Zumer |
Experimental aspect-oriented language - AspectCOOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 943-947, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, programming languages, separate compilation |
17 | Fergus Henderson, Zoltan Somogyi |
Compiling Mercury to High-Level C Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 197-212, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury |
17 | Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky |
Effective Enhancement of Loop Versioning in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 293-306, 2002, Springer, 3-540-43369-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ahead-of-time compilation, Java, performance, loop optimizations |
Displaying result #501 - #600 of 6586 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|