olegus's library 30 articles Export

	Higher-order strictness analysis in untyped lambda calculus [My Copy] In POPL '86: Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1986), pp. 97-109. by Paul Hudak, Jonathan Young posted to analysis by olegus on 2008-12-22 14:30:20 as
	Efficient compilation of lazy evaluation [My Copy] In SIGPLAN '84: Proceedings of the 1984 SIGPLAN symposium on Compiler construction (1984), pp. 58-69. by Thomas Johnsson posted to compiler by olegus on 2008-12-22 14:29:34 as
	Strictness analysis: a new perspective based on type inference [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 260-272. by Tsung M. Kuo, Prateek Mishra posted to analysis by olegus on 2008-12-22 14:28:12 as
	Computation of aliases and support sets [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 274-283. by A. Neirynck, A. J. Demers posted to analysis by olegus on 2008-12-22 14:26:55 as
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to continuations by olegus on 2008-12-19 13:58:52 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo michaelbanks keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	Continuation-Based Program Transformation Strategies [My Copy] J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180. by Mitchell Wand posted to continuations by olegus on 2008-12-19 13:52:34 as along with 10 people and 2 groups kvm samth twleung rgrig JacquesC JeffreyPalmer voigt pile nominolo americovargas NU-PRL SRG_at_UCD
	Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. [My Copy] by Richard Barrett, Michael Berry, Tony F. Chan, et al.James Demmel, June M. Donato, Jack Dongarra, Victor Eijkhout, Roldan Pozo, Charles Romine, Henk Van Der Vorst posted to hpc iterative-solvers matrix survey by olegus on 2008-11-08 18:33:29 as
	Scalable Programming Models for Massively Multicore Processors [My Copy] Proceedings of the IEEE In Proceedings of the IEEE, Vol. 96, No. 5. (15 April 2008), pp. 816-831. by M. D. McCool posted to cell models parallel by olegus on 2008-11-07 14:42:24 as along with 3 people belin87 liujacky2001 mamadoudiao
	Representation-transparent matrix algorithms with scalable performance [My Copy] In ICS '07: Proceedings of the 21st annual international conference on Supercomputing (2007), pp. 116-125. by Peter Gottschling, David S. Wise, Michael D. Adams posted to hpc matrix by olegus on 2008-11-07 14:34:19 as along with 1 person mmuecke
	Anatomy of high-performance matrix multiplication [My Copy] ACM Trans. Math. Softw., Vol. 34, No. 3. (May 2008), pp. 1-25. by Kazushige Goto, Robert A. van de Geijn posted to hpc matrix optimizations by olegus on 2008-11-07 14:32:29 as along with 1 person mmuecke
	Models and languages for parallel computation [My Copy] ACM Comput. Surv., Vol. 30, No. 2. (June 1998), pp. 123-169. by David B. Skillicorn, Domenico Talia posted to languages models parallel survey by olegus on 2008-11-07 14:22:18 as along with 2 people liujacky2001 mmuecke
	The programming model of ASSIST, an environment for parallel and distributed portable applications [My Copy] Parallel Computing, Vol. 28, No. 12. (December 2002) by Marco Vanneschi posted to no-tag by olegus on 2008-10-31 17:00:10 as
	An optimizing Fortran D compiler for MIMD distributed-memory machines [My Copy] (1993) by Chau W. Tseng posted to compiler hpc optimizations by olegus on 2008-10-31 16:50:15 as
	Dependent Types in Practical Programming [My Copy] In In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages (1999), pp. 214-227. by Hongwei Xi, Dana Scott posted to type-theory by olegus on 2008-10-15 18:27:14 as
	Eliminating array bound checking through dependent types [My Copy] In In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 249-257. by Hongwei Xi, Frank Pfenning posted to type-theory by olegus on 2008-10-15 18:23:47 as
	Imperative Programming with Dependent Types [My Copy] by Hongwei Xi posted to type-theory by olegus on 2008-10-15 18:18:27 as
	A semantics for shape [My Copy] Science of Computer Programming, Vol. 25 (1995), pp. 25-251. by Barry C. Jay posted to category-theory type-theory by olegus on 2008-10-15 17:57:18 as
	Data-Flow Analysis for MPI Programs [My Copy] In 2006 International Conference on Parallel Processing (ICPP'06) (2006) by Michelle M. Strout, Barbara Kreaseck, Paul D. Hovland posted to no-tag by olegus on 2008-10-01 12:24:20 as
	Precise interprocedural dataflow analysis via graph reachability [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 49-61. by Thomas Reps, Susan Horwitz, Mooly Sagiv posted to analysis dataflow by olegus on 2008-10-01 12:16:32 as along with 9 people taking mattmight zkincaid rakingleaves kklo GeoffWozniak alphabetagamma bfraser zuleger
	Models for Concurrency [My Copy] In Handbook of Logic in Computer Science (1995) by G. Winskel, M. Nielsen edited by S. Abramsky, D. Gabbay, T. S. E. Maibaum posted to no-tag by olegus on 2008-10-01 11:54:44 as along with 1 person pverstra
	On observing nondeterminism and concurrency [My Copy] Automata, Languages and Programming (1980), pp. 299-309. by Matthew Hennessy, Robin Milner posted to no-tag by olegus on 2008-10-01 11:53:26 as along with 1 person keigoi
	A Classification of Models for Concurrency [My Copy] In International Conference on Concurrency Theory (1993), pp. 82-96. by Vladimiro Sassone, Mogens Nielsen, Glynn Winskel posted to no-tag by olegus on 2008-10-01 11:52:11 as along with 1 person scis0000001
	The Limits of Network Transparency in a Distributed Programming Language [My Copy] (December 2007) by Raphael Collet posted to distributed oz by olegus on 2008-09-30 19:48:59 as
	Basic Category Theory for Computer Scientists (Foundations of Computing) [My Copy] (07 August 1991) by Benjamin C. Pierce posted to category-theory by olegus on 2008-09-30 19:31:23 as along with 12 people and 1 group pedagand fvogels draganigajic ansobol jrw BarrosH proportional bonotake devnull Scis0000002 ds jimburton Lambda the Ultimate
	Structure and Interpretation of Computer Programs [My Copy] (25 July 1996) by Harold Abelson, Gerald J. Sussman posted to scheme by olegus on 2008-09-30 19:29:12 as along with 15 people triampurum newdawn NickGasson trm005 vlasovskikh robertlischke higepon dullhunk brady awils1 calvins robotact jasmithoffice srccheck olesya
	Concurrent Haskell [My Copy] In Conference Record of POPL '96: The $23^\mathrmrd$ ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (FebruaryJanuary--FebruaryApril 1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted to concurrency haskell by olegus on 2008-09-30 19:25:14 as along with 8 people twleung JeffreyPalmer cedricboidin tautologico Bluetulip tov calvins conal
	Type Systems for Concurrent Programs [My Copy] Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453. by Naoki Kobayashi posted to concurrency by olegus on 2008-09-30 19:23:35 as along with 2 people yoriyuki msakai
	Concepts, Techniques, and Models of Computer Programming [My Copy] (01 March 2004) by Peter V. Van Roy, Seif Haridi posted to oz by olegus on 2008-09-30 19:18:23 as along with 13 people and 1 group jodal hamish ujh grzegorz 4vgacias mahler wadler ben_moseley fsteeg jonathlela vlasovskikh NSumner jasmithoffice Rightscom
	Ct: C for Throughput Computing [My Copy] posted to ct by olegus on 2008-09-30 19:04:58 as
	Computation Algebras [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 05. (2001), pp. 597-636. by Michal Walicki, Magne Haveraaen, Sigurd Meldal posted to dda by olegus on 2008-09-30 18:56:19 as

Note: You may cite this page as: http://www.citeulike.org/user/olegus

analysis	4
hpc	4
type-theory	4
matrix	3
category-theory	2
compiler	2
concurrency	2
continuations	2
models	2
optimizations	2
oz	2
parallel	2
survey	2
cell	1
ct	1
dataflow	1
dda	1
distributed	1
haskell	1
iterative-solvers	1
languages	1
scheme	1

olegus's library 30 articles Export

olegus's tags