| School of Computer Science and Engineering (CRICOS Provider No. 00098G)

Manuel Chakravarty's Information Page

Manuel Chakravarty

Associate Professor

Research Areas
To update this page please go to myCSE.
Office:	K17 510C
Phone:	+61 2 9385 4495 (Internal: x54495)
Fax:	+61 2 9385 5995 (Internal: x55995)
Email:
Mail:	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
Personal Website:	Further details are in my Home Page
	Programming Languages Compilers Functional Programming Type Systems Language-Based Security Concurrency Parallelism Multicore Systems High-Performance Computing Program Transformation
Publications
	System F With Equality Constraints M Sulzmann, M Chakravarty, S Jones, K Donnelly, 3rd ACM SIGPLAN workshop on types in language design and implementation, Proceedings, F. Pottier, G. Necula. ACM press, New York, 2007, pp. 53 - 66
	On The Automated Synthesis Of Proof-Carrying Temporal Reference Monitors S Winwood, G Klein, M Chakravarty, Logic-based program synthesis and transformation, G. Puebla. Springer Verlag, Heidelberg, D-69121, Germany, Heidelberg, D-69121, Germany, 2007, pp. 111 - 126
	Modular Type Classes D Dreyer, R Harper, M Chakravarty, 34th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, Proceedings, M. Felleisen. ACM press, New York, 2007, pp. 63 - 70
	Data Parallel Haskell: A Status Report M Chakravarty, R Leshchinskiy, S Jones, G Keller, S Marlow, , . Association for Computing Machinery, New York, NY 10036-5701, United States, 2007, pp. 10 - 18
	A Parallelised High Performance Monte Carlo Simulation Approach For Complex Polymerisation Kinetics H Chaffey-Millar, D Stewart, M Chakravarty, G Keller, C Barner-Kowollik, Macromolecular Theory and Simulations, . Wiley VCH Verlag GmBH & Co, Germany, 2007, pp. 575 - 592
	Secure Untrusted Binaries---Provably! S Winwood, M Chakravarty, Formal aspects in security and trust: 3rd international workshop, FAST 2005, T. Dimitrakos, et al.. Springer-Verlag, Germany, 2006, pp. 171 - 186
	Running The Manual: An Approach To High-Assurance Microkernel Development D Cock, K Elphinstone, G Klein, M Chakravarty, P Derrin, 2006 ACM SIGPLAN Haskell workshop, Proceedings, A. Loh. ACM press, New York, NY, USA, 2006, pp. 60 - 71
	Higher Order Flattening R Leshchinskiy, M Chakravarty, G Keller, Computational science --- ICCS 2006, Proceedings, V. Alexandrov, G. van Albada, J. Dongarra. Springer-Verlag, Germany, 2006, pp. 920 - 928
	Dynamic Applications From The Ground Up D Stewart, M Chakravarty, Haskell'05: Proceedings of the ACM SIGPLAN 2005 Haskell worskshop, . ACM Press, New York, USA, 2005, pp. 27 - 38
	Associated Types With Class M Chakravarty, G Keller, S Jones, S Marlow, 32nd ACM Sigplan-sigart symposium on principles of programming languages, . Assoc Computing Machinery, New York, Ny, USA, 2005, pp. 1 - 13
	Associated Type Synonyms M Chakravarty, G Keller, S Jones, 10th ACM sigplan international conference on functional programming, . Assoc Computing Machinery, New York, 2005, pp. 241 - 253
	The Risks And Benefits Of Teaching Purely Functional Programming In First Year M Chakravarty, G Keller, Journal of Functional Programming, P.Hudak,G.Morrisett. Cambridge University Press, Cambridge, 2004, pp. 113 - 123
	Plugging Haskell In A Pang, D Stewart, S Seefried, M Chakravarty, Proceedings of the ACM SIGPLAN Workshop on Haskell, H. Nilsson. ACM Press, New York, USA, 2004, pp. 10 - 21
	Optimising Embedded Dsls Using Template Haskell S Seefried, M Chakravarty, G Keller, Generative Programming and Componenet Engineering LNCS 3286, Gabor Karsai,Eelco Visser. Springer, Germany, 2004, pp. 186 - 205
	Interfacing Haskell With Object-Oriented Languages A Pang, M Chakravarty, Implementation of Functional Languages, P.Trinder, R.Pena. Springer Verlag, Berlin, 2004, pp. 20 - 25
	An Approach To Fast Arrays In Haskell M Chakravarty, G Keller, Advanced Functional Programming, Revised Lectures, Johan Jeuring, Simon Peyton Jones. Springer, Germany, 2003
	A Functional Perspective On Ssa Optimisation Algorithms M Chakravarty, G Keller, P Zadarnowski, COCV'03 - Compiler Optimalization Meets Compiler Verification, J. Knoop, W. Zimmermann. Elsevier Science, Netherlands, 2003, pp. 1 - 15
	Costing Nested Array Codes M Chakravarty, G Keller, Parallel Processing Letters, . World Scientific Publishing Company, Singapore, 2002, pp. 249 - 266
	An Introduction To Computing (With Haskell) M Chakravarty, G Keller, , . Pearson Education Australia, Australia, 2002
	Nepal -- Nested Data-Parallelism In Haskell M Chakravarty, G Keller, R Lechtchinsky, W Pfannenstiel, Lecture notes in computer science, Rizos Sakellariou; John Keane; John R. Gurd; Len Freeman. Springer-Verlag, Berlin, 2001, pp. 524 - 534
	Functional Array Fusion M Chakravarty, G Keller, Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, Xavier Leroy. ACM Press, New York, 2001, pp. 205 - 216
	More Types For Nested Data Parallel Programming M Chakravarty, G Keller, Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, . ACM Press, New York, NY, 2000, pp. 94 - 105
	C -> Haskell, Or Yet Another Interfacing Tool M Chakravarty, Implementation of Functional Languages, 11th International Workshop (IFL'99), Selected Papers, . Springer-Verlag, Berlin, Germany, 2000, pp. 131 - 148

To update this page please go to myCSE

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement