dblp.uni-trier.dewww.uni-trier.de

Christian Lengauer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
75 Sven Apel, Christian Kästner, Christian Lengauer: Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien. Software Engineering 2009: 101-112
74EELuc Bougé, Christian Lengauer: Special Issue: Euro-Par 2007. Concurrency and Computation: Practice and Experience 21(7): 855-857 (2009)
2008
73 Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff: Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
72EESven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner: An Algebra for Features and Feature Composition. AMAST 2008: 36-50
71EESven Apel, Christian Kästner, Christian Lengauer: Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. GPCE 2008: 101-112
70EESven Apel, Christian Lengauer: Superimposition: A Language-Independent Approach to Software Composition. Software Composition 2008: 20-35
2007
69EEDavid Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff: 07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism. Programming Models for Ubiquitous Parallelism 2007
68EEDavid Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff: 07361 Introduction -- Programming Models for Ubiquitous Parallelism. Programming Models for Ubiquitous Parallelism 2007
2006
67EEJia Liu, Don S. Batory, Christian Lengauer: Feature oriented refactoring of legacy applications. ICSE 2006: 112-121
66EERoberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer: A disciplined approach to aspect composition. PEPM 2006: 68-77
65EEArmin Größlinger, Martin Griebl, Christian Lengauer: Quantifier elimination in automatic loop parallelization. J. Symb. Comput. 41(11): 1206-1221 (2006)
64EEChristian Lengauer, Walid Taha: Preface. Sci. Comput. Program. 62(1): 1-2 (2006)
2004
63 Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers Springer 2004
62EEMartin Griebl, Peter Faber, Christian Lengauer: Space-time mapping and tiling: a helpful combination. Concurrency and Computation: Practice and Experience 16(2-3): 221-246 (2004)
2003
61EEChristian Lengauer: Program Optimization in the Domain of High-Performance Parallelism. Domain-Specific Program Generation 2003: 73-91
60EEPeter Faber, Martin Griebl, Christian Lengauer: Replicated Placements in the Polyhedron Model. Euro-Par 2003: 303-308
2002
59EENils Ellmenreich, Christian Lengauer: PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. IFL 2002: 118-133
58EEChristoph A. Herrmann, Christian Lengauer: Using Metaprogramming to Parallelize Functional Specifications. Parallel Processing Letters 12(2): 193-210 (2002)
2001
57EEPeter Faber, Martin Griebl, Christian Lengauer: Loop-Carried Code Placement. Euro-Par 2001: 230-234
56EEChristoph A. Herrmann, Christian Lengauer: A Transformational Approach which Combines Size Inference and Program Optimization. SAIG 2001: 199-218
55 Cherri M. Pancake, Christian Lengauer: High-performance Java - introduction. Commun. ACM 44(10): 98-101 (2001)
54 Christoph Wedler, Christian Lengauer: On the parallel implementation of a generalized broadcast. Parallel Algorithms Appl. 16(1): 65-82 (2001)
53 Marco Aldinucci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti: Towards parallel programming by transformation: the FAN skeleton framework. Parallel Algorithms Appl. 16(2-3): 87-121 (2001)
2000
52EEPeter Faber, Martin Griebl, Christian Lengauer: Issues of the Automatic Generation of HPF Loop Programs. LCPC 2000: 359-362
51EESergei Gorlatch, Christian Lengauer: Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach. Acta Inf. 36(9/10): 761-803 (2000)
50 Martin Griebl, Paul Feautrier, Christian Lengauer: Index Set Splitting. International Journal of Parallel Programming 28(6): 607-631 (2000)
49 Christoph A. Herrmann, Christian Lengauer: HDC: A Higher-Order Language for Divide-and-Conquer. Parallel Processing Letters 10(2/3): 239-250 (2000)
1999
48EEChristoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller: Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. Euro-Par 1999: 930-934
47EEMartin Griebl, Paul Feautrier, Christian Lengauer: On Index Set Splitting. IEEE PACT 1999: 274-282
46EESergei Gorlatch, Christoph Wedler, Christian Lengauer: Optimization Rules for Programming with Collective Operations. IPPS/SPDP 1999: 492-499
45EENils Ellmenreich, Christian Lengauer, Martin Griebl: Application of the Polytope Model to Functional Programs. LCPC 1999: 219-235
44EEBruno Bacci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti: Skeletons and Transformations in an Integrated Parallel Programming Environment. PaCT 1999: 13-27
43 Christoph A. Herrmann, Christian Lengauer: Parallelization of Divide-and-Conquer by Translation to Nested Loops. J. Funct. Program. 9(3): 279-310 (1999)
42 Max Geigl, Martin Griebl, Christian Lengauer: Termination detection in parallel loop nests with while loops. Parallel Computing 25(12): 1489-1510 (1999)
1998
41EEMartin Griebl, Christian Lengauer, Sabine Wetzel: Code Generation in the Polytope Model. IEEE PACT 1998: 106-111
40EEChristoph Wedler, Christian Lengauer: On Linear List Recursion in Parallel. Acta Inf. 35(10): 875-909 (1998)
1997
39 Christian Lengauer, Martin Griebl, Sergei Gorlatch: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings Springer 1997
38 Christoph A. Herrmann, Christian Lengauer: Transformation of Divide & Conquer to Nested Parallel Loops. PLILP 1997: 95-109
37EEChristian Lengauer, Sergei Gorlatch, Christoph A. Herrmann: The Static Parallelization of Loops and Recursions. The Journal of Supercomputing 11(4): 333-353 (1997)
1996
36EEUlrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing: (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247
35 Martin Griebl, Christian Lengauer: Classifying Loops for Space-Time Mapping. Euro-Par, Vol. I 1996: 467-474
34 Martin Griebl, Christian Lengauer: The Loop Parallelizer LooPo-Announcement. LCPC 1996: 603-604
1995
33 Ulrike Lechner, Christian Lengauer: Modal-µ-Maude: Specification and Properties of Concurrent Objects. Object Orientation with Parallelism and Persistence 1995: 43-62
32 Sergei Gorlatch, Christian Lengauer: Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. Formal Asp. Comput. 7(6): 663-682 (1995)
1994
31 Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367
30 Martin Griebl, Christian Lengauer: On Scanning Space-Time Mapped While Loops. CONPAR 1994: 677-688
29 Sergei Gorlatch, Christian Lengauer: Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications. IPPS 1994: 368-375
28 Martin Griebl, Christian Lengauer: On the Space-Time Mapping of While-Loops. Parallel Processing Letters 4: 221-232 (1994)
1993
27 Christian Lengauer: Loop Parallelization in the Polytope Model. CONCUR 1993: 398-416
26 Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 374-398
1992
25 Michael Barnett, Christian Lengauer: Unimodularity Considered Non-Essential. CONPAR 1992: 659-664
24 Michael Barnett, Christian Lengauer: Unimodularity and the Prallelization of Loops. Parallel Processing Letters 2: 273-281 (1992)
23EEChristian Lengauer, Jingling Xue: A systolic array for pyramidal algorithms. VLSI Signal Processing 4(1): 89 (1992)
1991
22 Jingling Xue, Christian Lengauer: Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. Algorithms and Parallel VLSI Architectures 1991: 181-186
21 Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme: Abstract. ICPP (2) 1991: 296-297
20 Michael Barnett, Christian Lengauer: The Synthesis of Systolic Programs. Research Directions in High-Level Parallel Programming Languages 1991: 309-325
19 Christian Lengauer, Michael Barnett, Duncan G. Hudson III: Towards Systolizing Compilation. Distributed Computing 5: 7-24 (1991)
18 Manfred Broy, Christian Lengauer: On Denotational versus Predicative Semantics. J. Comput. Syst. Sci. 42(1): 1-29 (1991)
17EEChristian Lengauer, Jingling Xue: A systolic array for pyramidal algorithms. VLSI Signal Processing 3(3): 237-257 (1991)
1990
16 Christian Lengauer: Wie kann man imperative Programme auf eine Systolisierung vorbereiten? GI Jahrestagung (2) 1990: 527-536
15 Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. Formal Asp. Comput. 2(3): 273-293 (1990)
14 Christian Lengauer: Code Generation for a Systolic Computer. Softw., Pract. Exper. 20(3): 261-282 (1990)
1989
13 Christian Lengauer, Bikash Sabata, Farshid Arman: A Mechanically Derived Systolic Implementation of Pyramid Initialization. Hardware Specification, Verification and Synthesis 1989: 90-105
12 Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. MPC 1989: 307-324
11 Christian Lengauer: Towards Systolizing Compilation: An Overview. PARLE (2) 1989: 253-272
10 Chua-Huang Huang, Christian Lengauer: An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. Acta Inf. 27(2): 97-124 (1989)
9 Eike Best, Christian Lengauer: Semantic Independence. Sci. Comput. Program. 13(1): 23-50 (1989)
1987
8 Chua-Huang Huang, Christian Lengauer: An Implemented Method for Incremmental Systolic Design. PARLE (1) 1987: 160-177
7 Chua-Huang Huang, Christian Lengauer: The Derivation of Systolic Implementations of Programs. Acta Inf. 24(6): 595-632 (1987)
1986
6 Christian Lengauer, Chua-Huang Huang: A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. POPL 1986: 307-317
1985
5 Christian Lengauer: On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency. J. Autom. Reasoning 1(1): 75-101 (1985)
1984
4 Christian Lengauer, Chua-Huang Huang: The Static Derivation of Concurrency and its Mechanzed Certification. Seminar on Concurrency 1984: 131-150
1982
3 Christian Lengauer, Eric C. R. Hehner: A Methodology for Programming with Concurrency: An Informal Presentation. Sci. Comput. Program. 2(1): 1-18 (1982)
2 Christian Lengauer: A Methodology for Programming with Concurrency: The Formalism. Sci. Comput. Program. 2(1): 19-52 (1982)
1981
1 Christian Lengauer, Eric C. R. Hehner: A methodolgy for programming with concurrency. CONPAR 1981: 259-270

Coauthor Index

1Marco Aldinucci [53]
2Sven Apel [70] [71] [72] [75]
3Farshid Arman [13]
4Bruno Bacci [44]
5Michael Barnett [19] [20] [21] [24] [25] [26]
6Don S. Batory [63] [66] [67]
7Eike Best [9]
8Luc Bougé [74]
9Manfred Broy [18]
10Albert Cohen [68] [69] [73]
11Charles Consel [63]
12Nils Ellmenreich [45] [59]
13Peter Faber [52] [57] [60] [62]
14Paul Feautrier [47] [50]
15María Jesús Garzarán [68] [69] [73]
16Max Geigl [42]
17Sergei Gorlatch [29] [32] [37] [39] [44] [46] [51] [53]
18Martin Griebl [28] [30] [34] [35] [39] [41] [42] [45] [47] [50] [52] [57] [60] [62] [65]
19Armin Größlinger [65]
20Eric C. R. Hehner [1] [3]
21Christoph Armin Herrmann (Christoph A. Herrmann) [37] [38] [43] [48] [49] [56] [58]
22Chua-Huang Huang [4] [6] [7] [8] [10]
23Duncan G. Hudson III [19]
24Christian Kästner [71] [72] [75]
25Jan Laitenberger [48]
26Ulrike Lechner [31] [33] [36]
27Jia Liu [67]
28Roberto E. Lopez-Herrejon [66]
29Samuel P. Midkiff [68] [69] [73]
30Bernhard Möller [72]
31Friederike Nickl [36]
32Martin Odersky [63]
33Cherri M. Pancake [55]
34Susanna Pelagatti [44] [53]
35Bikash Sabata [13]
36Jeff W. Sanders [12] [15]
37Christian Schaller [48]
38Walid Taha [64]
39Christoph Wedler [40] [46] [54]
40Sabine Wetzel [41]
41Martin Wirsing [31] [36]
42David Chi-Leung Wong (Chi-Leung Wong) [68] [69]
43Jingling Xue [17] [22] [23]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)