IBM Liquid Metal - Custom Java-like language called Lime .
Stanford SUIF.
HLS C-to-gates: Catapult, SystemCrafter, SimVision, ...
ROCCC 2.0 (Riverside Optimizing Compiler for Configurable Computing) is a C to HDL compilation framework.
Leap
Wires On Demand - performs light-weight run-time placement and routing.
Various nice experiments with well-known algorithms are half done.
Speed up place and route somehow: dynamicly configure a virtual FPGA (Lemieux) ?
Automating the DRAM memory map and other OS services (as in LEAP).