MarkM

typetitleauthor sort iconlast post
StoryLightweight Static Capabilities Paul Snively2021-12-02 13:45
Forum topicPOLA Would Have Prevented the Event-Stream Incident MarkM2018-12-06 14:51
Forum topicA2: Analog Malicious Hardware marco2016-05-28 09:36
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicLong rant on Erlang-style Actors: Lost Dimension const2012-03-20 08:57
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
Forum topicProgramming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7) Charles Torre2010-11-11 02:14
StoryThe Structure of Authority: Why security is not a separable concern naasking2010-05-07 21:39
StoryJoe-E: A Security-Oriented Subset of Java Ehud Lamm2010-03-02 01:35
StoryGoogle TechTalk: The Evolution of End-User Programming Z-Bo2010-02-16 14:05
Forum topicThe Theory and Calculus of Aliasing Bertrand_Meyer2010-01-27 01:40
StoryScheme to be split into two languages Manuel J. Simoni2009-11-26 16:54
Forum topicTheoretical Foundations for Practical Totally Functional Programming, by Colin Kemp Colin Kemp2009-08-26 03:13
Forum topicReceiver knowing the sender? BigZaphod2009-08-25 21:27
StoryProcess calculi for transactions Charles Stewart2009-03-06 09:15
StoryAutomated Code Review Tools for Security Ehud Lamm2009-01-09 20:00
StoryJavaScript harmony Chris Rathman2008-08-16 03:44
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
StoryCaja: Capability Javascript Ehud Lamm2007-11-13 01:06
StoryRob Pike on Concurrency and Message passing in Newsqueak Ehud Lamm2007-09-17 17:08
Forum topicDelegating Responsibility in Digital Systems: Horton's "Who Done It?" MarkM2007-05-23 19:52
Forum topicbrainstorming dataflow language visualizations Max2007-02-05 19:51
Forum topicProgramming Language Research Search Engine cdiggins2006-12-28 17:17
Forum topicTransparent Persistence playergiro2006-12-20 17:31
StoryFuture of software design? Peter Van Roy2006-11-21 20:18