|
|
|
|
8114 |
LDC - the LLVM-based D compiler |
| K.4.401 |
| Feb. 2, 2014, 2 p.m. | 00:55:00 | Feb. 2, 2014, 2:55 p.m. |
|
8115 |
Case study/tutorial on using LLVM in REPL systems |
| K.4.401 |
| Feb. 2, 2014, 3 p.m. | 00:55:00 | Feb. 2, 2014, 3:55 p.m. |
|
8260 |
Introduction on KLEE |
| K.4.401 |
| Feb. 2, 2014, 2:08 p.m. | 00:20:00 | Feb. 2, 2014, 2:28 p.m. |
|
