Posts tagged with "software engineering"

• Boeing and Deaths due to Software Bugs
• Insisting on a Three-valued Boolean Type
• Giving a Talk at IEEE on Function Totality
• Function Totality: Abstraction Tool in Programming
• Restoring Engineering in Software Engineering
• Typed Functional Programming and Software Correctness
• Wadler on Invented Programming Languages
• Fast Grepping Source Code
• Totality in Programming
• Haskell IDE The Memory Hog Engine
• The State of Software Engineering
• Felleisen on Dynamically Typed Languages
• On Dynamically Typed Languages
• Announcing: Talk on the Role of Types in Programming
• Writing Dependently Typed Programs in Haskell
• Proving Parity in Idris
• Types and Proofs
• A Subtyping Polymorphism Misfortune
• Programming Language Grouping
• Equality Broken in Scala
• Firehosing KLEE
• Computing Ethics
• Getting LLVM Bitcode with Clang from Android — Take II
• LDV + SeaHorn
• Necessity of packaging research artifacts for reuse
• Getting LLVM bitcode with Clang from Android
• Experience with Artifact Evaluation
• Working on Imperative Programming Code Ain't Fun