QuickCheck Lounge / Erlang Workshop 2011 in Tokyo

Summary of my tweets about QuickCheck Lounge in Tokyo on 21-SEP-2011 and Erlang Workshop 2011 in Tokyo on 23-SEP-2011.
0
Kenji Rikitake @jj1bdx

Race condition probability of "Hello" "World" is actually very very hard to find (ed: yes) #Erlang #ICFP

2011-09-23 11:09:00
Kenji Rikitake @jj1bdx

Testing race conditions needs a random scheduler. Interesting. #Erlang #ICFP

2011-09-23 11:11:38
Kenji Rikitake @jj1bdx

@cooldaemon @itawasa Proceedings of #Erlang Workshop 2011 are not yet on the ACM Digital Library. I'll let you know when they're ready.

2011-09-23 13:48:49
Kenji Rikitake @jj1bdx

@FrancescoC I'd rather simply call my action process rescheduling :) (To save our time)

2011-09-23 13:52:36
Kenji Rikitake @jj1bdx

Interleaving sequences - a cause of the concurrent bugs #Erlang #ICFP

2011-09-23 14:28:44
Kenji Rikitake @jj1bdx

Poster session for #Erlang Workshop 2011 done. New algorithms and applications other than network servers and that's very good!

2011-09-23 15:33:28
Kenji Rikitake @jj1bdx

dets bugs revealed thru #QuickCheck, now at #Erlang Workshop by John Hughes #ICFP

2011-09-23 15:58:45
Kenji Rikitake @jj1bdx

An atom "ok" is not a boolean value in #Erlang...

2011-09-23 16:11:19
Kenji Rikitake @jj1bdx

#Erlang scheduler is deterministic on one-core machine - use dual or multicore machine for interleaving test on #QuickCheck #ICFP

2011-09-23 16:25:44
Kenji Rikitake @jj1bdx

R14B04: bugfix release and lots of user contribs

2011-09-23 17:33:44
Kenji Rikitake @jj1bdx

#Erlang R15B: parallel make, increased SMP performance, line numbers in exceptions, enhanced SCTP

2011-09-23 17:41:11
Kenji Rikitake @jj1bdx

#Erlang R15B: old SSL will be removed, invisio deprecated, full 64bit Windows support

2011-09-23 17:42:00
Kenji Rikitake @jj1bdx

#Erlang R15B new SSL for Erlang Distribution (ed: that's good!)

2011-09-23 17:44:19
Kenji Rikitake @jj1bdx

#Erlang beyond R15B: LLVM, more performance for many cores, improved string handling, builtin map data structures

2011-09-23 17:48:46
Kenji Rikitake @jj1bdx

#Erlang Workshop 2011 is over. Thanks everyone who joined the workshop. I'm very pleased to find NO computer trouble occurred. #icfp

2011-09-23 22:41:38
Kenji Rikitake @jj1bdx

Thx :) RT @FrancescoC A big thank you goes to @kenji_rikitake for being an excellent Erlang Workshop Chair! See you in Copenhagen in 2012.

2011-09-23 22:42:32
Kenji Rikitake @jj1bdx

EDF's Sim-Diasca: discrete system simulator in #Erlang targeting concurrency and scalability #icfp #cufp

2011-09-24 11:06:09
Kenji Rikitake @jj1bdx

Thomas Arts - model based testing of AUTOSAR automotive components #Erlang #cufp #icfp

2011-09-24 11:32:49