recent posts

typetitleauthor sort iconlast post
StoryGoogle Brain's Jax and Flax Z-Bo2021-01-15 15:01
StoryMemory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Z-Bo2011-03-14 05:47
StoryScalaModules: a DSL for bringing OSGi to Scala Z-Bo2010-01-12 16:39
StoryWhy Undergraduates Should Learn the Principles of Programming Languages Z-Bo2010-07-15 09:08
StoryIs Transactional Programming Actually Easier? Z-Bo2010-09-10 18:31
Storykdb+ 3.5 released last month Z-Bo2017-03-26 23:57
Forum topicHigh-Level Nondeterministic Abstractions in C++ zayenz2006-07-04 08:03
Forum topicIs there a site to discuss some issues on abstract interpretation? zell08v2010-05-08 19:32
Forum topicLearn python to implement a complicated static code analyzer zell08v2012-03-30 20:10
Forum topicDo you happen to hear about pre-equivalence? zell08v2010-10-28 22:51