Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christian Lengauer
2010 – today
- 2013
[j44]Luc Bougé, Christian Lengauer: Special Issue: Euro-Par 2011. Concurrency and Computation: Practice and Experience 25(4): 510-512 (2013)- [j43]Sven Apel, Christian Kästner, Christian Lengauer: Language-Independent and Automated Software Composition: The FeatureHouse Experience. IEEE Trans. Software Eng. 39(1): 63-79 (2013)
- [c54]Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, Christian Lengauer: Scalable analysis of variable software. ESEC/SIGSOFT FSE 2013: 81-91
- 2012
- [j42]Tobias Grosser, Armin Größlinger, Christian Lengauer: Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation. Parallel Processing Letters 22(4) (2012)
- [j41]Sven Apel, Christian Lengauer, Julia L. Lawall: Preface to the special issue on feature-oriented software development (FOSD 2009). Sci. Comput. Program. 77(3): 129-130 (2012)
- [c53]Sven Apel, Olaf Leßenich, Christian Lengauer: Structured merge with auto-tuning: balancing precision and performance. ASE 2012: 120-129
- 2011
- [j40]Luc Bougé, Christian Lengauer: Special Issue: Euro-Par 2009. Concurrency and Computation: Practice and Experience 23(2): 143-144 (2011)
- [j39]Luc Bougé, Christian Lengauer: Special Issue: Euro-Par 2010. Concurrency and Computation: Practice and Experience 23(17): 2137-2139 (2011)
- [j38]Christian Lengauer, Sven Apel: Feature-Oriented System Design and Engineering. Int. J. Software and Informatics 5(1-2): 231-244 (2011)
- [c52]Sven Apel, Jörg Liebig, Benjamin Brandl, Christian Lengauer, Christian Kästner: Semistructured merge: rethinking merge in revision control systems. SIGSOFT FSE 2011: 190-200
- [c51]Wolfgang Scholz, Thomas Thüm, Sven Apel, Christian Lengauer: Automatic detection of feature interactions using the Java modeling language: an experience report. SPLC Workshops 2011: 7
- [r4]Christian Lengauer: Monitors, Axiomatic Verification of. Encyclopedia of Parallel Computing 2011: 1173-1177
- [r3]Christian Lengauer: Owicki-Gries Method of Axiomatic Verification. Encyclopedia of Parallel Computing 2011: 1401-1406
- [r2]Paul Feautrier, Christian Lengauer: Polyhedron Model. Encyclopedia of Parallel Computing 2011: 1581-1592
- [r1]Martin Fränzle, Christian Lengauer: Semantic Independence. Encyclopedia of Parallel Computing 2011: 1803-1810
- 2010
- [j37]Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer: Type safety for feature-oriented product lines. Autom. Softw. Eng. 17(3): 251-300 (2010)
- [j36]Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner: An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. 75(11): 1022-1047 (2010)
- [c50]Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner: Language-independent reference checking in software product lines. FOSD 2010: 65-71
- [c49]Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, Michael Schulze: An analysis of the variability in forty preprocessor-based software product lines. ICSE (1) 2010: 105-114
- [c48]Sven Apel, Wolfgang Scholz, Christian Lengauer, Christian Kästner: Detecting Dependences and Interactions in Feature-Oriented Design. ISSRE 2010: 161-170
- [c47]Sven Apel, Jörg Liebig, Christian Lengauer, Christian Kästner, William R. Cook: Semistructured Merge in Revision Control Systems. VaMoS 2010: 13-19
- [i1]Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer: Type-Safe Feature-Oriented Product Lines. CoRR abs/1001.3604 (2010)
2000 – 2009
- 2009
- [j35]Luc Bougé, Christian Lengauer: Special Issue: Euro-Par 2007. Concurrency and Computation: Practice and Experience 21(7): 855-857 (2009)
- [j34]Luc Bougé, Christian Lengauer: Special Issue: Euro-Par 2008. Concurrency and Computation: Practice and Experience 21(14): 1757-1759 (2009)
- [c46]Sven Apel, Christian Kästner, Christian Lengauer: FEATUREHOUSE: Language-independent, automated software composition. ICSE 2009: 221-231
- [c45]Jörg Liebig, Sven Apel, Christian Lengauer, Thomas Leich: RobbyDBMS: a case study on hardware/software product line engineering. FOSD 2009: 63-68
- [c44]Sven Apel, Christian Kästner, Christian Lengauer: Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien. Software Engineering 2009: 101-112
- [c43]Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer: Feature (De)composition in Functional Programming. Software Composition 2009: 9-26
- 2008
- [c42]Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner: An Algebra for Features and Feature Composition. AMAST 2008: 36-50
- [c41]Sven Apel, Christian Kästner, Christian Lengauer: Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement. GPCE 2008: 101-112
- [c40]Sven Apel, Christian Lengauer: Superimposition: A Language-Independent Approach to Software Composition. Software Composition 2008: 20-35
- [e3]Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff (Eds.): Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007. Dagstuhl Seminar Proceedings 07361, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
- 2007
- [j33]Nils Ellmenreich, Christian Lengauer: Costing stepwise refinements of parallel programs. Computer Languages, Systems & Structures 33(3-4): 134-167 (2007)
- [c39]David 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
- [c38]David 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
- 2006
- [j32]Armin Größlinger, Martin Griebl, Christian Lengauer: Quantifier elimination in automatic loop parallelization. J. Symb. Comput. 41(11): 1206-1221 (2006)
- [j31]
- [c37]Jia Liu, Don S. Batory, Christian Lengauer: Feature oriented refactoring of legacy applications. ICSE 2006: 112-121
- [c36]Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer: A disciplined approach to aspect composition. PEPM 2006: 68-77
- 2005
- [c35]Armin Größlinger, Martin Griebl, Christian Lengauer: Quantifier Elimination in Automatic Loop Parallelization. Algorithmic Algebra and Logic 2005: 123-128
- 2004
- [j30]Martin 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)
- [e2]Christian Lengauer, Don S. Batory, Charles Consel, Martin Odersky (Eds.): Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers. Lecture Notes in Computer Science 3016, Springer 2004, ISBN 3-540-22119-0
- 2003
- [c34]Christian Lengauer: Program Optimization in the Domain of High-Performance Parallelism. Domain-Specific Program Generation 2003: 73-91
- [c33]Peter Faber, Martin Griebl, Christian Lengauer: Replicated Placements in the Polyhedron Model. Euro-Par 2003: 303-308
- 2002
- [j29]Christoph A. Herrmann, Christian Lengauer: Using Metaprogramming to Parallelize Functional Specifications. Parallel Processing Letters 12(2): 193-210 (2002)
- [c32]Nils Ellmenreich, Christian Lengauer: PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. IFL 2002: 118-133
- 2001
- [j28]Cherri M. Pancake, Christian Lengauer: High-performance Java - introduction. Commun. ACM 44(10): 98-101 (2001)
- [j27]Christoph Wedler, Christian Lengauer: On the parallel implementation of a generalized broadcast. Parallel Algorithms Appl. 16(1): 65-82 (2001)
- [j26]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)
- [c31]
- [c30]Christoph A. Herrmann, Christian Lengauer: A Transformational Approach which Combines Size Inference and Program Optimization. SAIG 2001: 199-218
- 2000
- [j25]Sergei 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)
- [j24]Martin Griebl, Paul Feautrier, Christian Lengauer: Index Set Splitting. International Journal of Parallel Programming 28(6): 607-631 (2000)
- [j23]Christoph A. Herrmann, Christian Lengauer: HDC: A Higher-Order Language for Divide-and-Conquer. Parallel Processing Letters 10(2/3): 239-250 (2000)
- [c29]Peter Faber, Martin Griebl, Christian Lengauer: Issues of the Automatic Generation of HPF Loop Programs. LCPC 2000: 359-362
1990 – 1999
- 1999
- [j22]Christoph A. Herrmann, Christian Lengauer: Parallelization of Divide-and-Conquer by Translation to Nested Loops. J. Funct. Program. 9(3): 279-310 (1999)
- [j21]Max Geigl, Martin Griebl, Christian Lengauer: Termination detection in parallel loop nests with while loops. Parallel Computing 25(12): 1489-1510 (1999)
- [c28]
- [c27]Christoph 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
- [c26]Sergei Gorlatch, Christoph Wedler, Christian Lengauer: Optimization Rules for Programming with Collective Operations. IPPS/SPDP 1999: 492-499
- [c25]Nils Ellmenreich, Christian Lengauer, Martin Griebl: Application of the Polytope Model to Functional Programs. LCPC 1999: 219-235
- [c24]Bruno Bacci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti: Skeletons and Transformations in an Integrated Parallel Programming Environment. PaCT 1999: 13-27
- 1998
- [j20]Christoph Wedler, Christian Lengauer: On Linear List Recursion in Parallel. Acta Inf. 35(10): 875-909 (1998)
- [c23]Martin Griebl, Christian Lengauer, Sabine Wetzel: Code Generation in the Polytope Model. IEEE PACT 1998: 106-111
- 1997
- [j19]Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann: The Static Parallelization of Loops and Recursions. The Journal of Supercomputing 11(4): 333-353 (1997)
- [c22]Christoph A. Herrmann, Christian Lengauer: Transformation of Divide & Conquer to Nested Parallel Loops. PLILP 1997: 95-109
- [e1]Christian Lengauer, Martin Griebl, Sergei Gorlatch (Eds.): Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings. Lecture Notes in Computer Science 1300, Springer 1997, ISBN 3-540-63440-1
- 1996
- [j18]Christoph Armin Herrmann, Christian Lengauer: On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions. Parallel Processing Letters 6(4): 525-537 (1996)
- [c21]Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing: (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247
- [c20]Martin Griebl, Christian Lengauer: Classifying Loops for Space-Time Mapping. Euro-Par, Vol. I 1996: 467-474
- [c19]
- 1995
- [j17]Sergei Gorlatch, Christian Lengauer: Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. Formal Asp. Comput. 7(6): 663-682 (1995)
- [j16]Martin Griebl, Christian Lengauer: A communication scheme for the distributed execution of loop nests with while loops. International Journal of Parallel Programming 23(5): 471-496 (1995)
- [c18]Ulrike Lechner, Christian Lengauer: Modal-µ-Maude: Specification and Properties of Concurrent Objects. Object Orientation with Parallelism and Persistence 1995: 43-62
- 1994
- [j15]Martin Griebl, Christian Lengauer: On the Space-Time Mapping of While-Loops. Parallel Processing Letters 4: 221-232 (1994)
- [c17]Ulrike Lechner, Christian Lengauer, Martin Wirsing: An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367
- [c16]
- [c15]Sergei Gorlatch, Christian Lengauer: Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications. IPPS 1994: 368-375
- 1993
- [c14]
- [c13]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
- [j14]Jingling Xue, Christian Lengauer: The synthesis of control signals for one-dimensional systolic arrays. Integration 14(1): 1-32 (1992)
- [j13]Michael Barnett, Christian Lengauer: Unimodularity and the Prallelization of Loops. Parallel Processing Letters 2: 273-281 (1992)
- [j12]Christian Lengauer, Jingling Xue: A systolic array for pyramidal algorithms. VLSI Signal Processing 4(1): 89 (1992)
- [c12]
- 1991
- [j11]Christian Lengauer, Michael Barnett, Duncan G. Hudson III: Towards Systolizing Compilation. Distributed Computing 5: 7-24 (1991)
- [j10]Manfred Broy, Christian Lengauer: On Denotational versus Predicative Semantics. J. Comput. Syst. Sci. 42(1): 1-29 (1991)
- [j9]Christian Lengauer, Jingling Xue: A systolic array for pyramidal algorithms. VLSI Signal Processing 3(3): 237-257 (1991)
- [c11]Jingling Xue, Christian Lengauer: Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. Algorithms and Parallel VLSI Architectures 1991: 181-186
- [c10]Michael Barnett, Christian Lengauer: The Synthesis of Systolic Programs. Research Directions in High-Level Parallel Programming Languages 1991: 309-325
- [c9]Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme: Abstract. ICPP (2) 1991: 296-297
- 1990
- [j8]Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. Formal Asp. Comput. 2(3): 273-293 (1990)
- [j7]Christian Lengauer: Code Generation for a Systolic Computer. Softw., Pract. Exper. 20(3): 261-282 (1990)
- [c8]Christian Lengauer: Wie kann man imperative Programme auf eine Systolisierung vorbereiten? GI Jahrestagung (2) 1990: 527-536
1980 – 1989
- 1989
- [j6]Chua-Huang Huang, Christian Lengauer: An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. Acta Inf. 27(2): 97-124 (1989)
- [j5]
- [c7]
- [c6]Christian Lengauer, Bikash Sabata, Farshid Arman: A Mechanically Derived Systolic Implementation of Pyramid Initialization. Hardware Specification, Verification and Synthesis 1989: 90-105
- [c5]
- 1987
- [j4]Chua-Huang Huang, Christian Lengauer: The Derivation of Systolic Implementations of Programs. Acta Inf. 24(6): 595-632 (1987)
- [c4]Chua-Huang Huang, Christian Lengauer: An Implemented Method for Incremmental Systolic Design. PARLE (1) 1987: 160-177
- 1986
- [c3]Christian Lengauer, Chua-Huang Huang: A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. POPL 1986: 307-317
- 1985
- [j3]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
- [c2]Christian Lengauer, Chua-Huang Huang: The Static Derivation of Concurrency and its Mechanzed Certification. Seminar on Concurrency 1984: 131-150
- 1982
- [j2]Christian Lengauer, Eric C. R. Hehner: A Methodology for Programming with Concurrency: An Informal Presentation. Sci. Comput. Program. 2(1): 1-18 (1982)
- [j1]Christian Lengauer: A Methodology for Programming with Concurrency: The Formalism. Sci. Comput. Program. 2(1): 19-52 (1982)
- 1981
- [c1]Christian Lengauer, Eric C. R. Hehner: A methodolgy for programming with concurrency. CONPAR 1981: 259-270
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team