Posts By: Ben L. Titzer
| Date | Post | Topic |
| 07/12/2012 | Bootstrap early | Language Implementation 101 |
| 06/26/2012 | Type arguments | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 06/29/2012 | The problem, as I see it, is | Less is exponentially more: Rob Pike on Go and Why C++ Programmers Aren't Flocking to it. |
| 04/20/2012 | Don't blame null. | Quantitative comparison of unit testing vs. static typing? |
| 04/20/2012 | Because variants don't have | Quantitative comparison of unit testing vs. static typing? |
| 03/28/2012 | Sophisticated reference counting is really complex | Retrospective Thoughts on BitC |
| 03/23/2012 | Merging of PL and Databases | Disruptive PLT Revisited |
| 03/24/2012 | The NoSQL movement will die | Disruptive PLT Revisited |
| 03/26/2012 | A unified schema, basic types | Disruptive PLT Revisited |
| 03/05/2012 | Maybe the context is too | Research in Programming Languages |
| 03/06/2012 | No, I don't. But it is my | Research in Programming Languages |
| 03/21/2012 | Suppose that | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/21/2012 | Missing the point | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/21/2012 | You seem to think that some | Informed dissent: William Cook contra Bob Harper on OOP |
| 03/22/2012 | Type argument inference | Informed dissent: William Cook contra Bob Harper on OOP |
| 02/28/2012 | Fine-grained reuse | why first-class functions |
| 02/29/2012 | Objects and closures are equivalent | why first-class functions |
| 02/21/2012 | An add-on to an add-on to an add-on | A Concept Design for C++ |
| 02/23/2012 | Human effort | A Concept Design for C++ |
| 01/31/2012 | I think the phenomenon of | Evolution of mainstream programming language paradigms |
| 02/01/2012 | You are reasoning about | Evolution of mainstream programming language paradigms |
| 02/06/2012 | My take is that you simply | Evolution of mainstream programming language paradigms |
| 02/07/2012 | Do you take "complex" and | Evolution of mainstream programming language paradigms |
| 01/31/2012 | Undefined semantics | Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations |
| 01/04/2012 | Hi Yin, I did not have time | Register Allocation By Model Transformer Semantics -- need for early comments |
| 01/05/2012 | With hardware register | Register Allocation By Model Transformer Semantics -- need for early comments |
| 01/04/2012 | <a href="deca#comment-68789" class="active">Nice work</a> | Deca, an LtU-friendly bare metal systems programming language |
| 12/23/2011 | I don't think the community | Cambridge Course on "Usability of Programming Languages" |
| 12/23/2011 | Agreed. One problem is that | Cambridge Course on "Usability of Programming Languages" |
| 11/22/2011 | Precise control of data | Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. |
| 11/11/2011 | It also has pretty poor | How to determine your new language is perfect? |
| 10/28/2011 | I watched the first 15 mins | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/30/2011 | Sussman's argument, if one | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/14/2011 | Autoboxing | "Crutches in language design", accidental complexity and feature overlap |
| 10/18/2011 | I meant "not erased" | "Crutches in language design", accidental complexity and feature overlap |
| 10/18/2011 | Universal representation | "Crutches in language design", accidental complexity and feature overlap |
| 10/24/2011 | Hilarious | "Crutches in language design", accidental complexity and feature overlap |
| 10/14/2011 | Efficiency | Dennis Ritchie passed away |
| 10/14/2011 | Agree | Dennis Ritchie passed away |
| 10/11/2011 | I think subtyping without | Google's Dart announced |
| 10/11/2011 | Why do you even need to | Google's Dart announced |
| 10/06/2011 | I'm not really sure why Kay | Open thread: RIP Steve Jobs |
| 10/06/2011 | Live in denial like I do. :) | Open thread: RIP Steve Jobs |
| 10/07/2011 | Sadly I feel there is little | Open thread: RIP Steve Jobs |
| 10/08/2011 | Hi Andreas. Java is hardly a | Open thread: RIP Steve Jobs |
| 10/08/2011 | Hi Sean. Your post was | Open thread: RIP Steve Jobs |
| 10/07/2011 | The story seems plausible | Open thread: RIP Steve Jobs |
| 09/30/2011 | I disagree. I think PL | Critical Programming Language Design |
| 09/30/2011 | My mistake. I must have read | Critical Programming Language Design |
| 09/28/2011 | I don't think so | FijiVM: Compile Java source to Native with Realtime GC |
| 09/16/2011 | There are others | Google's "The Future of JavaScript" internal memo leaked |
| 09/16/2011 | Names changed to protect the guilty | Google's "The Future of JavaScript" internal memo leaked |
| 09/20/2011 | Kasper | Google's "The Future of JavaScript" internal memo leaked |
| 09/23/2011 | ES4 | Google's "The Future of JavaScript" internal memo leaked |
| 09/13/2011 | That puts more software in | The SAFE Platform |
| 07/21/2011 | And Coq was proved sound | Is it possible to write code that works the very first time? |
| 07/22/2011 | My point was perhaps lost in | Is it possible to write code that works the very first time? |
| 07/25/2011 | Choose your own "waste" | Is it possible to write code that works the very first time? |
| 07/14/2011 | No | The Last Language? |
| 05/18/2011 | When I left Sun a year and a | Why is tail call optimization an issue in GC'd languages? |
| 05/10/2011 | Dated | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 05/10/2011 | ISMM | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 05/10/2011 | Community disconnect | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 05/10/2011 | Replication | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 05/10/2011 | Concurrency !=> pervasive mutability | One Pass Real-Time Generational Mark-Sweep Garbage Collection |
| 04/15/2011 | RMA | Wide Scope Dead Code Analysis |
| 04/14/2011 | I don't see how defining an | Redhat's New Language |
| 03/31/2011 | I believe we will achieve a | Finding and Understanding Bugs in C Compilers |
| 03/16/2011 | Citation needed | Middle History of Logic Programming |
| 02/28/2011 | Oversimplifying | Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 |
| 02/28/2011 | Except you do | InfoQ video + transcript of Rob Pike on Go |
| 03/01/2011 | Code is not art | InfoQ video + transcript of Rob Pike on Go |
| 03/01/2011 | Artist's history | InfoQ video + transcript of Rob Pike on Go |
| 03/01/2011 | The burden | InfoQ video + transcript of Rob Pike on Go |
| 01/11/2011 | Bootstrap on the right target | Fast Compilers |
| 01/13/2011 | Well yeah | Fast Compilers |
| 01/07/2011 | The real problem isn't | Fast Compilers |
| 01/10/2011 | I agree, somewhat | Fast Compilers |
| 12/29/2010 | Rebuild IR at each stage is one solution | The AST Typing Problem |
| 01/02/2011 | It depends | The AST Typing Problem |
| 12/30/2010 | Statically checkable properties of programs | The Semicolon Wars |
| 12/10/2010 | Probably 3x | Reference Counting vs Tracing Garbage Collection? |
| 12/04/2010 | Unlikely... | Embarrassed |
| 11/03/2010 | Don't play nice with others. | A Self-Checking Type System |
| 11/04/2010 | Just make type parameters | A Self-Checking Type System |
| 11/05/2010 | Yes. I find it helpful to | A Self-Checking Type System |
| 11/05/2010 | Reified generics won't happen on the JVM | A Self-Checking Type System |
| 10/29/2010 | Aye | The Myths of Object-Orientation |
| 11/03/2010 | Presumably we could place | The Myths of Object-Orientation |
| 11/03/2010 | These 'spikes' mean that | The Myths of Object-Orientation |
| 10/28/2010 | From what I am familiar | The Myths of Object-Orientation |
| 11/03/2010 | If your object definitions | The Myths of Object-Orientation |
| 11/03/2010 | Why give it a name | The Myths of Object-Orientation |
| 11/03/2010 | The Myths of Object-Orientation | The Myths of Object-Orientation |
| 10/22/2010 | Just wing it man | Looking for pointers: mixfix error recovery |
| 10/12/2010 | Maybe | The barrier to take-up of language innovation |
| 10/19/2010 | Exceptions? | The barrier to take-up of language innovation |
| 10/20/2010 | Sponsors | The barrier to take-up of language innovation |
| 09/21/2010 | This is off-topic, but I'll | The Halting Problem on Turing Machines |
| 09/15/2010 | What are the values of type arguments? | GADTs in a dynamically type-checked language? |
| 09/10/2010 | Post author names in articles | Is Transactional Programming Actually Easier? |
| 09/10/2010 | Thanks! | Is Transactional Programming Actually Easier? |
| 12/07/2010 | At the risk of code | Articles on Precise GC with Parametric Polymorphism |
| 12/07/2010 | Depends. Are the type | Articles on Precise GC with Parametric Polymorphism |
| 08/18/2010 | From this end I just cannot | Miguel de Icaza on Java lawsuit |
| 08/20/2010 | Orders of magnitude? | Miguel de Icaza on Java lawsuit |
| 10/20/2010 | Mostly uninteresting nowadays | Compiler Design Q&A Site |
| 10/20/2010 | Agreed 100%. I would also | Compiler Design Q&A Site |
| 08/18/2010 | Explicit staging / partial evaluation | Type Classes as Objects and Implicits |
| 08/18/2010 | For now | Type Classes as Objects and Implicits |
| 08/20/2010 | This is somewhat | Type Classes as Objects and Implicits |
| 07/23/2010 | Java's covariant arrays | Containers and Inheritance |
| 07/23/2010 | Disagree | The Mirah Language |
| 07/23/2010 | Good question | The Mirah Language |
| 07/16/2010 | Mu | Is mathematics invention or discovery? |
| 07/01/2010 | Interface injection | Compiling Structural Types on the JVM |
| 07/01/2010 | Autogenerated code | Xtext: An IDE on the cheap |
| 05/27/2010 | I hope not actually | Adding Type Constructor Parameterization to Java |
| 06/01/2010 | Scala does not implement | Adding Type Constructor Parameterization to Java |
| 06/02/2010 | Apologies | Adding Type Constructor Parameterization to Java |
| 06/03/2010 | Array allocation | Adding Type Constructor Parameterization to Java |
| 06/03/2010 | Wow | Adding Type Constructor Parameterization to Java |
| 06/03/2010 | Nonuniform type representation | Adding Type Constructor Parameterization to Java |
| 06/04/2010 | If you have polymorphic type | Adding Type Constructor Parameterization to Java |
| 06/02/2010 | Java class or Scala class? | Adding Type Constructor Parameterization to Java |
| 05/28/2010 | I have you're talking about | Alan Kay's 70th |
| 04/16/2010 | Yay | Maxine VM: A VM in Java |
| 04/16/2010 | Java is a hard bootstrap | Maxine VM: A VM in Java |
| 06/16/2010 | Somewhat guilty | On the (Alleged) Value of Proof for Assurance |
| 06/17/2010 | Ah, you are right. | On the (Alleged) Value of Proof for Assurance |
| 06/18/2010 | Even in Java configurations | On the (Alleged) Value of Proof for Assurance |
| 03/12/2010 | No | Have tracing JIT compilers won? |
| 06/14/2010 | Reductio ad absurdam | plt vs. something else for programming in the large? |
| 11/11/2009 | Correction: gri = clean | Go or Unladen Swallow? |
| 10/18/2009 | Meandering | misc suggestions |
| 12/16/2010 | Ouch | Oracle, Sun, and Fortress |
| 12/16/2010 | Art or not, positive or not, | Oracle, Sun, and Fortress |
| 12/16/2010 | 24 man years? | Oracle, Sun, and Fortress |
| 02/04/2009 | Even arithmetic shifts to | Tagged Arithmetic Optimization |
| 02/04/2009 | Implementation-defined | Tagged Arithmetic Optimization |
| 02/04/2009 | Why tags | Tagged Arithmetic Optimization |
| 02/04/2009 | Well I scanned that paper | Tagged Arithmetic Optimization |
| 02/04/2009 | Damn, those TIL guys already | Tagged Arithmetic Optimization |
| 02/04/2009 | This is pretty much the | Tagged Arithmetic Optimization |
| 01/27/2009 | My Alma Mater | Graduate Programs in Programming Language Design/Research/Implementation? |
| 01/23/2009 | Escape | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/23/2009 | Unfortunately, this does not | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | One additional source of | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | Don't blame this on JIT | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | Separate compilation of | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | I, for one, am waiting for | What Are The Resolved Debates in General Purpose Language Design? |
| 01/14/2009 | Resolved negatively | What Are The Resolved Debates in General Purpose Language Design? |
| 01/16/2009 | All of which I consider DSLs. | What Are The Resolved Debates in General Purpose Language Design? |
| 01/23/2009 | None of those are DSLs | What Are The Resolved Debates in General Purpose Language Design? |
| 01/20/2009 | Which is why language | What Are The Resolved Debates in General Purpose Language Design? |
| 01/20/2009 | Fine, as long as there still | What Are The Resolved Debates in General Purpose Language Design? |
| 01/23/2009 | Well, if I'm allowed to | What Are The Resolved Debates in General Purpose Language Design? |
| 01/23/2009 | Well, if I'm allowed to | What Are The Resolved Debates in General Purpose Language Design? |
| 01/23/2009 | I think Python's nesting | What Are The Resolved Debates in General Purpose Language Design? |
| 01/12/2009 | I don't virtual memory is | 2008 In Review - What Happened with Programming Languages? |
| 01/13/2009 | Terabytes would be nice... | 2008 In Review - What Happened with Programming Languages? |
| 01/06/2009 | Transparent is the only form of optimization | 2008 In Review - What Happened with Programming Languages? |
| 01/07/2009 | Granted, auto-vectorization | 2008 In Review - What Happened with Programming Languages? |
| 01/08/2009 | Man, wouldn't that be | 2008 In Review - What Happened with Programming Languages? |
| 01/08/2009 | Both | 2008 In Review - What Happened with Programming Languages? |
| 01/30/2009 | I find the need to hide type | The Origins of the BitC Programming Language |
| 01/30/2009 | Pointers? | The Origins of the BitC Programming Language |
| 01/23/2009 | Constrained types? | Question concerning parameterization over literals |
| 10/23/2008 | We just bought one | BEE3: Putting the Buzz Back into Computer Architecture |
| 10/15/2008 | I laughed out loud when I | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/16/2008 | I got this bag of | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/17/2008 | Other People's Programs | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 10/28/2008 | Perhaps my original | On the (perceived) equivalence of static and dynamically typed reflective programming languages |
| 03/30/2008 | I'd build my own | CERT C Secure Coding Standard |
| 03/24/2008 | All The King's Horses | CERT C Secure Coding Standard |
| 02/19/2008 | Great, if all you need is a console | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Even without IDEs, import x.*; | Gilad Bracha: Cutting out Static |
| 02/22/2008 | If a static variable is | Gilad Bracha: Cutting out Static |
| 02/04/2008 | Adding Concurrent Constructs to a Language with State | Adding Concurrent Constructs to a Language with State |
| 01/23/2008 | Not just safe, but right | How useful is reflection, anyway? |
| 01/22/2008 | Not meta-compilation, but initialization | Compile-Time Execution in an Object Oriented Language |
| 01/22/2008 | A language for systems people, not languages people | Compile-Time Execution in an Object Oriented Language |
| 12/04/2007 | Slipped through the cracks | Quantifying the Performance of Garbage Collection vs. Explicit Memory Management |
| 06/06/2007 | Delegates in C# suck | Lambda in C# 3.0 |
| 03/17/2007 | Hey Cool! | Virgil: Objects on the Head of a Pin |
| 03/18/2007 | Scala is Interesting | Virgil: Objects on the Head of a Pin |
| 01/23/2007 | An Eyesore | F3: New statically typed scripting language for java |
| 01/24/2007 | There are two issues. Array | F3: New statically typed scripting language for java |
| 10/12/2006 | Erasure is not a good solution | Run time type checking |
| 10/13/2006 | Interesting | Run time type checking |
| 03/14/2008 | 3 stage construction | Non-null references? |
| 11/18/2008 | Bad Christian! | Shoot-out: most annoying compiler error message |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |