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

Manuel M. T. Chakravarty Vis

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

*2008
36EEStefan Wehr, Manuel M. T. Chakravarty: ML Modules and Haskell Type Classes: A Constructive Comparison. APLAS 2008: 188-204
35EESimon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty: Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS 2008
34EETom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62
33EEGabriele 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
32EEManuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow: Data parallel Haskell: a status report. DAMP 2007: 10-18
31EEDerek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller: Modular type classes. POPL 2007: 63-70
30EEMartin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66
2006
29EEPhilip 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
28EERoman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller: Higher Order Flattening. International Conference on Computational Science (2) 2006: 920-928
27EESimon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126
2005
26EESimon Winwood, Manuel M. T. Chakravarty: Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust 2005: 171-186
25EEDon Stewart, Manuel M. T. Chakravarty: Dynamic applications from the ground up. Haskell 2005: 27-38
24EEManuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones: Associated type synonyms. ICFP 2005: 241-253
23EEManuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow: Associated types with class. POPL 2005: 1-13
2004
22EESean Seefried, Manuel M. T. Chakravarty, Gabriele Keller: Optimising Embedded DSLs Using Template Haskell. GPCE 2004: 186-205
21EEManuel 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
20EEAndré T. H. Pang, Manuel M. T. Chakravarty: Interfacing Haskell with Object-Oriented Languages. IFL 2003: 20-35
19EEManuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski: A Functional Perspective on SSA Optimisation Algorithms. Electr. Notes Theor. Comput. Sci. 82(2): (2003)
2002
18EEManuel M. T. Chakravarty, Gabriele Keller: An Approach to Fast Arrays in Haskell. Advanced Functional Programming 2002: 27-58
17EERoman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller: Costing Nested Array Codes. Parallel Processing Letters 12(2): 249-266 (2002)
2001
16EEManuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, W. Pfannenstiel: Nepal - Nested Data Parallelism in Haskell. Euro-Par 2001: 524-534
15 Manuel M. T. Chakravarty, Gabriele Keller: Functional Array Fusion. ICFP 2001: 205-216
2000
14EEManuel M. T. Chakravarty, Gabriele Keller: More types for nested data parallel programming. ICFP 2000: 94-105
1999
13 Manuel M. T. Chakravarty: Lazy Lexing is Fast. Fuji International Symposium on Functional and Logic Programming 1999: 68-84
12 Manuel M. T. Chakravarty: C -> HASKELL, or Yet Another Interfacing Tool. IFL 1999: 131-148
11 Gabriele Keller, Manuel M. T. Chakravarty: On the Distribution Implementation of Aggregate Data Structures by Program Transformation. IPPS/SPDP Workshops 1999: 108-122
1998
10EEGabriele Keller, Manuel M. T. Chakravarty: Flattening Trees. Euro-Par 1998: 709-719
9 Manuel 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
8 Manuel 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
7EEK. 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
6EEManuel M. T. Chakravarty: Lazy Thread and Task Creation in Parallel Graph-Reduction. Implementation of Functional Languages 1997: 231-249
5 Manuel M. T. Chakravarty, Hendrik C. R. Lock: Towards the Uniform Implementation of Declarative Languages. Comput. Lang. 23(2-4): 121-160 (1997)
1995
4 Manuel M. T. Chakravarty: Integrating Multithreading into the Spineless Tagless G-machine. Functional Programming 1995: 2
3 Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock: Co-ordinating Parallel Computation through Equational Constraints. WLP 1995: 123-132
1994
2EEManuel 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
1EEManuel 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]
22W. Pfannenstiel [7] [16]
23Tom Schrijvers [34]
24Sean Seefried [22]
25Martin Simons [7]
26Don Stewart [25] [33]
27Martin Sulzmann [30] [34]
28Stefan Wehr [36]
29Simon Winwood [26] [27]
30Patryk Zadarnowski [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)