Joost-Pieter Katoen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged code generation

On Code Generation for Derived AssociationsJens Dietrich, Bastian Schenke, Gerd Wagner. ASWEC 2008: 347-356 [doi]

An Efficient Code Generation Algorithm for Code Size Reduction Using 1-Offset P-Code Queue Computation ModelArquimedes Canedo, Ben A. Abderazek, Masahiro Sowa. euc 2007: 196-208 [doi]

Dynamic Reverse Code Generation for Backward ExecutionJooyong Lee. ENTCS, 174(4):37-54, 2007. [doi]

New Code Generation Algorithm for QueueCoreAn Embedded Processor with High ILPArquimedes Canedo, Ben A. Abderazek, Masahiro Sowa. pdcat 2007: 185-192 [doi]

Software Development with Automatic Code Generation: Observations from Novice Developer ViewpointFarahzad Behi, Andrew J. Kornecki. serp 2006: 289-295

Code Generation from Hybrid Systems Models for Distributed Embedded SystemsMadhukar Anand, Jesung Kim, Insup Lee. isorc 2005: 166-173 [doi]

Exploiting Symmetries for Optimal Integrated Code GenerationAndrzej Bednarski, Christoph W. Keßler. csreaESA 2004: 83-92

A Study of Automatic Code Generation for Safety-Critical Software: Preliminary ReportLazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch. hase 2004: 287-288 [doi]

Automatic Code Generation for a Convection SchemePaul van der Mark, Lex Wolters, Gerard Cats. SAC 2003: 1003-1008

Code Generation for Semi-Lagrangian FormulationsPaul van der Mark, Lex Wolters, Gerard Cats. ispdc 2003: 266-273 [doi]

Routine run-time code generationSamuel N. Kamin. OOPSLA 2003: 208-220 [doi]

Toward a Generation of Code Multi-Target for the VBOOM MethodBoubker Sbihi, Abdelaziz Kriouile, Ettalbi Ahmed, Bernard Coulette. serp 2003: 345-350

Automatic code generation for a turbulence schemePaul van der Mark, Gerard Cats, Lex Wolters. ics 2001: 252-259 [doi]

Extending Graham-Glanville techniques for optimal code generationMaya Madhavan, Priti Shankar, Siddhartha Rai, U. Ramakrishna. TOPLAS, 22(6):973-1001, 2000. [doi]

Certifying Compilation and Run-Time Code GenerationLuke Hornof, Trevor Jim. lisp, 12(4):337-375, 1999.

Certifying Compilation and Run-Time Code GenerationLuke Hornof, Trevor Jim. PEPM 1999: 60-74

Finite-Static Code GenerationChristopher W. Fraser, Todd A. Proebsting. PLDI 1999: 270-280 [doi]

Using declarative mapping for automatic code generation from SDL and ASN.1Nikolai Mansurov, Alexei S. Ragozin. sdl 1999: 275

Code Generation Based on Formal BURS Therory and Heuristic SearchAlbert Nymeyer, Joost-Pieter Katoen. ACTA, 34(8):597-635, 1997.

Some Thoughts on Automatic Code GenerationRobert L. Glass. jss, 37(1):1-3, 1997.

Industrial strength code generation from SDLNikolai Mansurov, Andrew V. Chernov, Alexei S. Ragozin. sdl 1997: 415

Code Generation = A* + BURSAlbert Nymeyer, Joost-Pieter Katoen, Ymte Westra, Henk Alblas. cc 1996: 160-176

Second-Generation Image Codeing: An OverviewM. M. Reid, Richard J. Millar, Norman D. Black. ACM Comput. Surv., 29(1):3-29, 1996. [doi]

Some Thoughts on Automatic Code GenerationRobert L. Glass. DB, 27(2):16-18, 1996. [doi]

Automatic Parallel Code Generation for Message Passing on Distributed Memory SystemsS. P. Johnson, Cos S. Ierotheou, Mark Cross. pc, 22(2):227-258, 1996.

Generation of Synchronous Code for Automatic Parallelization of while LoopsMartin Griebl, Jean-Francois Collard. europar 1995: 315-326

Code Generation for Embedded Processors [Dagstuhl Workshop, August 31 - September 2, 1994]Peter Marwedel, Gert Goossens, editors, Kluwer, 1995.

Locality, Communication, and Code Generation for Array-Parallel LanguagesSiddhartha Chatterjee. ppsc 1995: 656-661

Development of Broadband ISDN Telecommunication Services Using SDL 92, ASN.1 and Automatic Code GenerationUlf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock. forte 1996: 237-252

Code Generation for MercuryThomas Conway, Fergus Henderson, Zoltan Somogyi. SLP 1995: 242-256

Integer Loop Code Generation for VLIWJames Radigan, Pohua P. Chang, Utpal Banerjee. lcpc 1996: 318-330

The use of parallelization in the generation of binary linear codesRoberta Evans Sabin. SAC 1995: 215-220 [doi]

GRAS: A General Framework for Combining Automatic Code Generation and Register AllocationKelvin S. Bryant, Jon Mauney. Comp. Lang., Syst. \& Struct., 21(2):101-112, 1995.

Chess: retargetable code generation for embedded DSP processorsDirk Lanneer, Johan Van Praet, Augusli Kifli, Koen Schoofs, Werner Geurts, Filip Thoen, Gert Goossens. Dagstuhl 1995: 85-102

Code Generation in Automatic ParallelizersJean-Francois Collard. apdc 1994: 185-194

A 4GL for Multiple Platform GUI Code GenerationJ. Seery, John G. Keating. appinf 1994: 214-217

Code generation for embedded processors: an introductionPeter Marwedel. Dagstuhl 1995: 14-31

DCG: An Efficient, Retargetable Dynamic Code Generation SystemDawson R. Engler, Todd A. Proebsting. asplos 1994: 263-272

Code Generation - Concepts, Tools, Techniques, Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991Robert Giegerich, Susan L. Graham, editors, Workshops in Computing, Springer, 1992.

Code Generation1991.

A Latency Tolerant Code Generation Algorithm for a Coarse Grain Dataflow MachineStephan Murer. conpar 1990: 277-287

Code Generation for a Systolic ComputerChristian Lengauer. SPE, 20(3):261-282, 1990.

Code Generation for a RISC MachinePetr Kroha. cc 1989: 204-214

Optimal Code Generation for Expression Trees: An Application of BURS TheoryEduardo Pelegrí-Llopart, Susan L. Graham. POPL 1988: 294-308

Automatic generation of FORTRAN-coded Jacobians and HessiansP. van den Heuvel, J. A. van Hulzen, V. V. Goldman. eurocal 1989: 120-131

Target code generation from G-machine codeThomas Johnsson. gr 1987: 119-159

Code Generation Techniques for Functional LanguagesJon Fairbairn, Stuart Wray. lfp 1986: 94-104

Code generation by coagulationMichael Karr. sigplan 1984: 1-12 [doi]

Optimal Code Generation for Machines with Different Types of InstructionsTiko Kameda, Hussein M. Abdel-Wahab. ifip 1977: 129-132

Code GenerationWilliam M. Waite. ac 1976: 302-332

runs on WebDSL