mcclurmc's concurrency [28 articles] Export

Recent papers added to mcclurmc's library classified by the tag concurrency. You can also see everyone's concurrency.

	A Domain-Specific Language for the Generation of Optimized SIMD-Parallel Assembly Code [My Copy] No. 43. (May 2007) by Christopher K. Anand, Wolfram Kahl posted to dsl concurrency by mcclurmc on 2009-11-18 20:30:07 as
	Finding Faults in Multi-Threaded Programs [My Copy] Master’s thesis (2001) by Cyrille Artho posted to static-analysis programming-language-design java concurrency by mcclurmc on 2009-11-01 17:01:58 as
	SafeJava: A Unified Type System for Safe Programming [My Copy] (2004) by Chandrasekhar Boyapati, Chandrasekhar Boyapati, Martin C. Rinard posted to type-theory programming-language-design java concurrency compilers by mcclurmc on 2009-09-18 03:06:42 as
	Types for safe locking: Static race detection for Java [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 28 (2006) by Martin Abadi, Cormac Flanagan, Stephen N. Freund posted to type-theory programming-language-design ownership-types java concurrency compilers by mcclurmc on 2009-09-18 03:04:37 as
	Ownership Types for Safe Programming: Preventing Data Races and Deadlocks [My Copy] (2002) by Chandrasekhar Boyapati, Robert Lee, Martin Rinard posted to programming-language-design ownership-types java concurrency compilers by mcclurmc on 2009-09-18 02:58:50 as
	A Parameterized Type System for Race-Free Java Programs [My Copy] (2001) by Chandrasekhar Boyapati, Martin Rinard posted to programming-language-design ownership-types concurrency compilers by mcclurmc on 2009-09-18 02:56:39 as
	PiLib: A hosted language for pi-calculus style concurrency [My Copy] In In Dagstuhl proc.: Domain-Specific Program Generation (2003) by Vincent Cremet, Martin Odersky posted to concurrency dsl pi-calculus scala by mcclurmc on 2009-06-04 22:20:50 as
	The join calculus: a language for distributed mobile programming [My Copy] (1 July 2000) by C. Fournet, G. Gonthier posted to concurrency distributed-programming programming-language-design by mcclurmc on 2009-03-11 16:22:40 as along with 2 people tautologico tlockney
	Higher Order Combinators for Join Patterns using STM [My Copy] by Satnam Singh posted to concurrency pi-calculus programming-language-design by mcclurmc on 2009-03-04 00:38:49 as
	Revisiting Coroutines [My Copy] No. 15/04. (June 2004) by Ana L. de Moura, Roberto Ierusalimschy posted to concurrency by mcclurmc on 2008-06-26 21:44:06 as along with 1 person JosephKoshy
	Polling efficiently on stock hardware [My Copy] In FPCA '93: Proceedings of the conference on Functional programming languages and computer architecture (1993), pp. 179-187. by Marc Feeley posted to concurrency by mcclurmc on 2008-06-17 14:41:28 as
	The Landscape of Parallel Computing Research: A View from Berkeley [My Copy] Vol. UCB/EECS-2006-183 (18 December 2006) by Krste Asanovic, Ras Bodik, Bryan C. Catanzaro, et al.Joseph J. Gebis, Parry Husbands, Kurt Keutzer, David A. Patterson, William L. Plishker, John Shalf, Samuel W. Williams, Katherine A. Yelick posted to concurrency by mcclurmc on 2008-05-07 19:23:34 as
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted to concurrency distributed-programming erlang pi-calculus programming-language-design semantics by mcclurmc on 2008-04-01 20:34:43 as along with 7 people and 3 groups ama08r tautologico dherman bfraser keigoi tov janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
	Continuation-Based Multiprocessing Revisited [My Copy] Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1 October 1999), pp. 283-283. by Mitchell Wand posted to concurrency continuations programming-language-design scheme by mcclurmc on 2008-03-12 22:53:33 as along with 1 group Lambda the Ultimate
	On the pi-Calculus and Linear Logic [My Copy] Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 11-65. by Gianluigi Bellin, Philip J. Scott posted to concurrency curry-howard logic pi-calculus by mcclurmc on 2008-03-07 17:29:27 as
	Type-directed concurrency [My Copy] (2005), pp. 6-20. by Deepak Garg, Frank Pfenning posted to concurrency pi-calculus type-theory by mcclurmc on 2008-01-09 16:19:04 as
	Beautiful Concurrency [My Copy] In Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly)) (2007) by Simon P. Jones edited by Andy Oram, Greg Wilson posted to concurrency functional-programming haskell by mcclurmc on 2008-01-02 15:17:28 as along with 8 people lfwgoes veal gakincho fvogels draganigajic pedagand jwong frej
	Concurrent Haskell [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 295-308. by Simon P. Jones, Andrew Gordon, Sigbjorn Finne posted to concurrency functional-programming haskell by mcclurmc on 2007-12-27 04:08:10 as along with 2 people ghulette brecknell
	Algorithm + Strategy = Parallelism [My Copy] Journal of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60. by P. W. Trinder, K. Hammond, H. W. Loidl, Simon P. Jones posted to concurrency functional-programming by mcclurmc on 2007-12-27 02:29:49 as along with 2 people voronov spl
	Pi-Calculus in (Co)Inductive Type Theory [My Copy] (1997) by Furio Honsell, Marino Miculan, Ivan Scagnetto posted to concurrency coq pi-calculus theorem-prover type-theory by mcclurmc on 2007-12-14 15:42:43 as
	The Lazy Lambda Calculus in a Concurrency Scenario [My Copy] Inf. Comput., Vol. 111, No. 1. (May 1994), pp. 120-153. by Davide Sangiorgi posted to concurrency functional-programming lambda-calculus lazy by mcclurmc on 2007-12-14 14:22:12 as
	Communicating and Mobile Systems: the Pi Calculus [My Copy] (1999) by Robin Milner posted to concurrency distributed-programming pi-calculus theory-computation by mcclurmc on 2007-12-14 00:12:01 as along with 2 people cogumbreiro shimomura
	A Poor Man's Concurrency Monad [My Copy] Journal of Functional Programming (1997) by K. Claessen posted to concurrency functional-pearl haskell monads by mcclurmc on 2007-12-13 21:32:53 as
	Resources, Concurrency and Local Reasoning [My Copy] In Theoretical Computer Science (May 2007), pp. 271-307. by Peter W. O'Hearn posted to concurrency logic by mcclurmc on 2007-12-13 20:09:32 as
	Chu Spaces : A Model for Concurrency [My Copy] No. CS-TR-94-1521. (1994) by Vineet Gupta posted to concurrency topology by mcclurmc on 2007-12-13 15:33:08 as along with 1 person scis0000001
	The Design and Implementation of Glasgow Distributed Haskell [My Copy] Lecture Notes in Computer Science, Vol. 2011 (2001), pp. 53-??. by R. F. Pointon, P. W. Trinder, H. W. Loidl posted to compilers concurrency distributed-programming haskell by mcclurmc on 2007-12-13 15:12:32 as
	Distributed Programming in Haskell with Ports [My Copy] In IFL '00: Selected Papers from the 12th International Workshop on Implementation of Functional Languages (2001), pp. 107-121. by Frank Huch, Ulrich Norbisrath posted to concurrency distributed-programming haskell by mcclurmc on 2007-12-13 14:59:52 as
	Tackling the Awkard Squad [My Copy] In Engineering theories of software construction (2001), pp. 47-96. by Simon P. Jones edited by Tony Hoare, Manfred Broy, Ralf Steinbruggen posted to concurrency functional-programming haskell monads by mcclurmc on 2007-12-12 18:48:44 as

Note: You may cite this page as: http://www.citeulike.org/user/mcclurmc/tag/concurrency

type-theory	40
concurrency	28
functional-programming	26
oop	24
haskell	22
programming-language-design	20
monads	15
compilers	12
category-theory	11
pi-calculus	10
java	8
lambda-calculus	8
semantics	8
continuations	7
distributed-programming	6
logic	6
theory-computation	6
dsl	5
curry-howard	4
linear-types	4
ownership-types	4
scheme	4
generics	3
graph-theory	3
interpreters	3
metaprogramming	3
traits	3
type-inference	3
coq	2
dependent-types	2
functional-pearl	2
gadt	2
inheritance	2
lazy	2
monad-transformers	2
ssa	2
static-analysis	2
topology	2
tutorial	2
web-development	2
adt	1
clustering	1
comonads	1
c-plus-plus	1
datastructures	1
effects	1
erlang	1
golf	1
graphics	1
kernel-machine	1
language-spec	1
message-passing	1
physics	1
polymorphism	1
scala	1
theorem-prover	1
transformations	1

mcclurmc's concurrency [28 articles] Export

mcclurmc's tags