Joe Armstrong SICS home page

A useful presentation on what Erlang people mean by COP -- i.e. what we call POP -- and some stuff on handling errors, which POP doesn't do at the moment.

to concurrency cop erlang reliability research ... on 13 June 2006

Sage: A Programming Language with Hybrid Type-Checking

A functional language with a type system that lets you say things like "X is a balanced tree". Might be worth borrowing some ideas from for concurrency safety checks using a type system.

to concurrency design language programming research types ... on 07 June 2006

Bluish Coder: Narrative Javascript

Process-oriented code using continuations. It'd be interesting to implement an occam-style environment on top of this.

to concurrency continuations javascript programming research ... on 30 May 2006

Web continuations - RIFE - Confluence

Another continuations library for Java; this one supports something more along the lines of generators/mobile processes.

to concurrency continuations java programming research web ... on 23 May 2006

Commons Javaflow - Overview

Jakarta's bytecode-fiddling implementation of continuations in Java.

to concurrency continuations java programming research ... on 23 May 2006

Advanced Control Flow - Continuations

Sample "we can't do this, but..." process-oriented web code from the Cocoon manual.

to concurrency continuations programming research web ... on 23 May 2006

Mono Continuations

Continuations and lightweight (Stackless Python-style) threads and channels for C#. There's definitely some momentum here...

to concurrency research software ... on 21 May 2006

Bluish Coder: Lightweight threads in the browser

Erlang-style concurrency for Javascript (messaging between processes -- which seems hideously limited to me from an occam perspective, but does appear to work pretty well in many systems).

to concurrency javascript programming research web ... on 20 May 2006

Computational Theology : Weblog

The more interesting question, I feel, is whether it'd be possible to use a process-oriented approach for building web apps, where you have channels to and from the user, and your code to interact with a single user is a process. Something to play with in

to concurrency continuations design language programming research web ... on 20 May 2006

CS257-Programming with Concurrency

Harvard's concurrency course.

to concurrency research teaching ... on 20 May 2006

Tags related to concurrency

- concurrency
 
1 active-objects
7 ag0803
1 algol
2 algorithm
1 amusements
1 android
1 apache
1 architecture
1 arm
1 assembler
1 atomic
3 atomics
1 audio
1 benchmarking
1 beta
1 boost
1 broadcast
1 buffering
1 bug
1 bugs
5 c
9 c++
1 channel
2 channels
1 client-server
1 clojure
1 cmp202
4 compiler
174 concurrency
2 conference
6 continuations
1 cop
1 coroutine
5 coroutines
1 correctness
3 cpu
2 cs
9 csp
1 data-structures
2 debugging
6 design
1 distributed
1 ease
3 electronics
4 embedded
7 erlang
1 errors
4 etext
1 exceptions
1 fgmpi
1 formal-methods
1 forth
2 fpga
2 functional
1 future
2 futures
2 games
1 gcc
1 gcd
9 go
1 gpgpu
1 gprof
1 greenlets
1 guitar
1 handel-c
5 haskell
1 helios
1 herd
2 intel
1 ipc
3 java
4 javascript
1 journal
9 language
17 language-design
1 lightweight-concurrency
2 lightweight-processes
1 lightweight-threads
2 linux
1 lisp
4 lockfree
2 lua
1 lwp
2 maths
1 matlab
1 memory
1 memory-model
3 memory-models
2 message-passing
1 microcontroller
1 microprocessor
1 mobile
1 mobility
3 model-checking
1 monad
1 monads
1 mozilla
2 mpi
4 multicore
1 multicore-msc
1 multiway
1 mutex
4 network
3 networking
1 newsqueak
1 nim
1 nonblocking
1 oberon
1 ocaml
10 occam
3 oo
1 openmp
2 os
1 papers
18 parallel
5 parallelism
4 patterns
2 performance
2 perl
1 petri-nets
1 phone
1 posix
1 power
1 process-editor
4 process-oriented
1 profiling
22 programming
1 propeller
1 protocol
1 prototypes
1 pthreads
8 publications
16 python
1 queue
1 rcu
1 reactive
1 reagents
1 reliability
78 research
5 retrocomputing
1 ruby
2 runtime
1 runtimes
1 safety
2 scala
1 scalability
1 scheduler
1 scheduling
1 scripting
1 server
1 shell
1 simulation
29 software
2 software-engineering
1 sparc
1 spin
1 splash
2 static-analysis
1 stm
2 synchronisation
2 tbb
21 teaching
1 theory
2 thesis
1 threading
5 threads
1 to-package
2 transactional
1 transactional-memory
2 transputer
1 transterpreter
2 tutorial
1 types
1 unix
1 valgrind
1 video
1 visualisation
1 vm
1 wasp
9 web
1 x86
2 xmos