Manuel M. T. Chakravarty

	2009
37		Leaf 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
36		Stefan Wehr, Manuel M. T. Chakravarty: ML Modules and Haskell Type Classes: A Constructive Comparison. APLAS 2008: 188-204
35		Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty: Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS 2008: 383-414
34		Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62
33		Gabriele 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
32		Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow: Data parallel Haskell: a status report. DAMP 2007: 10-18
31		Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller: Modular type classes. POPL 2007: 63-70
30		Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66
	2006
29		Philip 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
28		Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller: Higher Order Flattening. International Conference on Computational Science (2) 2006: 920-928
27		Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126
	2005
26		Simon Winwood, Manuel M. T. Chakravarty: Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust 2005: 171-186
25		Don Stewart, Manuel M. T. Chakravarty: Dynamic applications from the ground up. Haskell 2005: 27-38
24		Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones: Associated type synonyms. ICFP 2005: 241-253
23		Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow: Associated types with class. POPL 2005: 1-13
	2004
22		Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller: Optimising Embedded DSLs Using Template Haskell. GPCE 2004: 186-205
21		Manuel 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
20		André T. H. Pang, Manuel M. T. Chakravarty: Interfacing Haskell with Object-Oriented Languages. IFL 2003: 20-35
19		Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski: A Functional Perspective on SSA Optimisation Algorithms. Electr. Notes Theor. Comput. Sci. 82(2): (2003)
	2002
18		Manuel M. T. Chakravarty, Gabriele Keller: An Approach to Fast Arrays in Haskell. Advanced Functional Programming 2002: 27-58
17		Roman Lechtchinsky, Manuel M. T. Chakravarty, Gabriele Keller: Costing Nested Array Codes. Parallel Processing Letters 12(2): 249-266 (2002)
	2001
16		Manuel 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
14		Manuel 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
10		Gabriele 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
7		K. 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
6		Manuel 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
2		Manuel 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
1		Manuel M. T. Chakravarty, Hendrik C. R. Lock: The Implementation of Lazy Narrowing. PLILP 1991: 123-134

Coauthor Index

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

Colors in the list of coauthors