Posts By: lexspoon
| Date | Post | Topic |
| 02/08/2012 | Why hide the annotations? | Programming as collaborative reference |
| 01/30/2012 | LLVM gets even more attractive | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 02/02/2012 | Right, but you get a definite value back | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 10/10/2011 | Same question | Google's Dart announced |
| 10/10/2011 | Conservative skin over JavaScript | Google's Dart announced |
| 09/19/2011 | biggest threats are from the same user | The SAFE Platform |
| 09/04/2011 | Function literals for extensibility | the gnu extension language |
| 08/07/2011 | I agree with the quote, too. | Programming and Scaling |
| 04/11/2011 | good goal, but just the tip of the iceberg | Staking Claims: A History of Programming Language Design Claims and Evidence |
| 03/30/2011 | Compilers are buggy as get out | Finding and Understanding Bugs in C Compilers |
| 03/06/2011 | Interface evolution problems | Keyword and Optional Arguments in PLT Scheme |
| 01/18/2011 | Yay for multiple IRs | The AST Typing Problem |
| 12/20/2010 | It's great to hear this | Azul's Pauseless Garbage Collector |
| 12/20/2010 | compared to other real-time collectors? | Azul's Pauseless Garbage Collector |
| 04/12/2010 | they probably mean the primary language | iPhone PL lockdown |
| 04/12/2010 | Meta-platforms make for bad software? | iPhone PL lockdown |
| 12/09/2009 | More doc, and a question | Developer Guided Code Splitting |
| 12/10/2009 | Prefetching | Developer Guided Code Splitting |
| 12/21/2009 | automatic fetch priorities | Developer Guided Code Splitting |
| 12/09/2009 | Scala plugins | Differentiating Parsers |
| 12/09/2009 | just parse + type-check/name-resolve | Differentiating Parsers |
| 10/30/2008 | yes | Automated Code Review Tools for Security |
| 11/12/2007 | fine-grained authority | Caja: Capability Javascript |
| 05/31/2007 | a common mischaracterization in the abstract | Type-sensitive control-flow analysis |
| 09/01/2006 | redefining type safety | Gradual Typing for Functional Languages |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |