QuickCheck Lounge / Erlang Workshop 2011 in Tokyo
Race condition probability of "Hello" "World" is actually very very hard to find (ed: yes) #Erlang #ICFP
2011-09-23 11:09:00Testing race conditions needs a random scheduler. Interesting. #Erlang #ICFP
2011-09-23 11:11:38@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@FrancescoC I'd rather simply call my action process rescheduling :) (To save our time)
2011-09-23 13:52:36Interleaving sequences - a cause of the concurrent bugs #Erlang #ICFP
2011-09-23 14:28:44Poster session for #Erlang Workshop 2011 done. New algorithms and applications other than network servers and that's very good!
2011-09-23 15:33:28Negative tests - very few software has it #erlang #icfp #quickcheck
2011-09-23 15:53:55dets bugs revealed thru #QuickCheck, now at #Erlang Workshop by John Hughes #ICFP
2011-09-23 15:58:45#Erlang scheduler is deterministic on one-core machine - use dual or multicore machine for interleaving test on #QuickCheck #ICFP
2011-09-23 16:25:441 million tcp conns by a single machine with #FreeBSD and #Erlang http://t.co/EI3gGxQX (v @ventejuy)
2011-09-23 17:02:08#Erlang R15B: parallel make, increased SMP performance, line numbers in exceptions, enhanced SCTP
2011-09-23 17:41:11#Erlang R15B: old SSL will be removed, invisio deprecated, full 64bit Windows support
2011-09-23 17:42:00#Erlang R15B new SSL for Erlang Distribution (ed: that's good!)
2011-09-23 17:44:19#Erlang beyond R15B: LLVM, more performance for many cores, improved string handling, builtin map data structures
2011-09-23 17:48:46#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:38Thx :) 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:32EDF's Sim-Diasca: discrete system simulator in #Erlang targeting concurrency and scalability #icfp #cufp
2011-09-24 11:06:09Thomas Arts - model based testing of AUTOSAR automotive components #Erlang #cufp #icfp
2011-09-24 11:32:49