Manuel M. T. Chakravarty

	2011
43		Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 ACM 2011
42		Manuel M. T. Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, Vinod Grover: Accelerating Haskell array codes with multicore GPUs. DAMP 2011: 3-14
41		Simon Winwood, Manuel M. T. Chakravarty: Singleton: a general-purpose dependently-typed assembly language. TLDI 2011: 3-14
	2010
40		David A. Terei, Manuel M. T. Chakravarty: An llVM backend for GHC. Haskell 2010: 109-120
39		Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier: Regular, shape-polymorphic, parallel arrays in Haskell. ICFP 2010: 261-272
	2009
38		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
37		Stefan Wehr, Manuel M. T. Chakravarty: ML Modules and Haskell Type Classes: A Constructive Comparison. APLAS 2008: 188-204
36		Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty: Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS 2008: 383-414
35		Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62
34		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
33		Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow: Data parallel Haskell: a status report. DAMP 2007: 10-18
32		Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller: Modular type classes. POPL 2007: 63-70
31		Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66
	2006
30		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
29		Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller: Higher Order Flattening. International Conference on Computational Science (2) 2006: 920-928
28		Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty: On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR 2006: 111-126
	2005
27		Simon Winwood, Manuel M. T. Chakravarty: Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust 2005: 171-186
26		Don Stewart, Manuel M. T. Chakravarty: Dynamic applications from the ground up. Haskell 2005: 27-38
25		Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones: Associated type synonyms. ICFP 2005: 241-253
24		Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow: Associated types with class. POPL 2005: 1-13
	2004
23		Manuel M. T. Chakravarty, Gabriele Keller: Einführung in die Programmierung mit Haskell. Pearson Studium 2004: 1-199
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): 347-361 (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	[34]
3	Hugh Chaffey-Millar	[34]
4	David Cock	[30]
5	Olivier Danvy	[43]
6	John Darlington	[7]
7	Philip Derrin	[30]
8	Kevin Donnelly	[31]
9	Derek Dreyer	[32]
10	Kevin Elphinstone	[30]
11	Vinod Grover	[42]
12	Yike Guo	[3] [7] [8] [9]
13	Robert Harper	[32]
14	Zhenjiang Hu	[43]
15	Stefan Jähnichen	[7]
16	Simon L. Peyton Jones	[24] [25] [31] [33] [35] [36] [39]
17	Gabriele Keller	[7] [10] [11] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [29] [32] [33] [34] [36] [39] [42]
18	Gerwin Klein	[28] [30]
19	Martin Köhler	[3] [7] [8] [9]
20	Roman Lechtchinsky	[16] [17]
21	Sean Lee	[42]
22	Roman Leshchinskiy	[29] [33] [36] [39]
23	Ben Lippmeier	[39]
24	Hendrik C. R. Lock	[1] [2] [3] [5] [8]
25	Simon Marlow	[24] [33]
26	Trevor L. McDonell	[42]
27	André T. H. Pang	[20]
28	Leaf Petersen	[38]
29	W. Pfannenstiel	[7] [16]
30	Tom Schrijvers	[35]
31	Sean Seefried	[22]
32	Martin Simons	[7]
33	Don Stewart	[26] [34]
34	Martin Sulzmann	[31] [35]
35	David A. Terei	[40]
36	Stefan Wehr	[37]
37	Simon Winwood	[27] [28] [41]
38	Patryk Zadarnowski	[19]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page