Manuel M. T. Chakravarty Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeaf Petersen, Manuel M. T. Chakravarty: Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009 ACM 2009
2008
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Wehr, Manuel M. T. Chakravarty: ML Modules and Haskell Type Classes: A Constructive Comparison. APLAS 2008: 188-204
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty: Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS 2008: 383-414
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik: Specialising Simulator Generators for High-Performance Monte-Carlo Methods. PADL 2008: 116-132
2007
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow: Data parallel Haskell: a status report. DAMP 2007: 10-18
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller: Modular type classes. POPL 2007: 63-70
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66
2006
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty: Running the manual: an approach to high-assurance microkernel development. Haskell 2006: 60-71
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller: Higher Order Flattening. International Conference on Computational Science (2) 2006: 920-928
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126
2005
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Winwood, Manuel M. T. Chakravarty: Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust 2005: 171-186
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon Stewart, Manuel M. T. Chakravarty: Dynamic applications from the ground up. Haskell 2005: 27-38
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones: Associated type synonyms. ICFP 2005: 241-253
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow: Associated types with class. POPL 2005: 1-13
2004
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Seefried, Manuel M. T. Chakravarty, Gabriele Keller: Optimising Embedded DSLs Using Template Haskell. GPCE 2004: 186-205
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller: The risks and benefits of teaching purely functional programming in first year. J. Funct. Program. 14(1): 113-123 (2004)
2003
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré T. H. Pang, Manuel M. T. Chakravarty: Interfacing Haskell with Object-Oriented Languages. IFL 2003: 20-35
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski: A Functional Perspective on SSA Optimisation Algorithms. Electr. Notes Theor. Comput. Sci. 82(2): (2003)
2002
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller: An Approach to Fast Arrays in Haskell. Advanced Functional Programming 2002: 27-58
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller: Costing Nested Array Codes. Parallel Processing Letters 12(2): 249-266 (2002)
2001
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, W. Pfannenstiel: Nepal - Nested Data Parallelism in Haskell. Euro-Par 2001: 524-534
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller: Functional Array Fusion. ICFP 2001: 205-216
2000
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Gabriele Keller: More types for nested data parallel programming. ICFP 2000: 94-105
1999
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty: Lazy Lexing is Fast. Fuji International Symposium on Functional and Logic Programming 1999: 68-84
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty: C -> HASKELL, or Yet Another Interfacing Tool. IFL 1999: 131-148
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Keller, Manuel M. T. Chakravarty: On the Distribution Implementation of Aggregate Data Structures by Program Transformation. IPPS/SPDP Workshops 1999: 108-122
1998
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Keller, Manuel M. T. Chakravarty: Flattening Trees. Euro-Par 1998: 709-719
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Yike Guo, Martin Köhler: Distributed Haskell: Goffin on the Internet. Fuji International Symposium on Functional and Logic Programming 1998: 80-97
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock: GOFFIN: Higher-Order Functions Meet Concurrent Constraints. Sci. Comput. Program. 30(1-2): 157-199 (1998)
1997
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. T. P. Au, Manuel M. T. Chakravarty, John Darlington, Yike Guo, Stefan Jähnichen, Martin Köhler, Gabriele Keller, W. Pfannenstiel, Martin Simons: Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism. APDC 1997: 66-73
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty: Lazy Thread and Task Creation in Parallel Graph-Reduction. Implementation of Functional Languages 1997: 231-249
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Hendrik C. R. Lock: Towards the Uniform Implementation of Declarative Languages. Comput. Lang. 23(2-4): 121-160 (1997)
1995
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty: Integrating Multithreading into the Spineless Tagless G-machine. Functional Programming 1995: 2
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock: Co-ordinating Parallel Computation through Equational Constraints. WLP 1995: 123-132
1994
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Hendrik C. R. Lock: The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. ICLP Workshop: Integration of Declarative Paradigms 1994: 61-75
1991
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel M. T. Chakravarty, Hendrik C. R. Lock: The Implementation of Lazy Narrowing. PLILP 1991: 123-134

Coauthor Index

1K. T. P. Au [7]
2Christopher Barner-Kowollik [33]
3Hugh Chaffey-Millar [33]
4David Cock [29]
5John Darlington [7]
6Philip Derrin [29]
7Kevin Donnelly [30]
8Derek Dreyer [31]
9Kevin Elphinstone [29]
10Yike Guo [3] [7] [8] [9]
11Robert Harper [31]
12Stefan Jähnichen [7]
13Simon L. Peyton Jones [23] [24] [30] [32] [34] [35]
14Gabriele Keller [7] [10] [11] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [28] [31] [32] [33] [35]
15Gerwin Klein [27] [29]
16Martin Köhler [3] [7] [8] [9]
17Roman Lechtchinsky [16] [17]
18Roman Leshchinskiy [28] [32] [35]
19Hendrik C. R. Lock [1] [2] [3] [5] [8]
20Simon Marlow [23] [32]
21André T. H. Pang [20]
22Leaf Petersen [37]
23W. Pfannenstiel [7] [16]
24Tom Schrijvers [34]
25Sean Seefried [22]
26Martin Simons [7]
27Don Stewart [25] [33]
28Martin Sulzmann [30] [34]
29Stefan Wehr [36]
30Simon Winwood [26] [27]
31Patryk Zadarnowski [19]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)