| 2004 |
|---|
| 10 | EE | Rainer Buchty,
Nevin Heintze,
Dino Oliva:
Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications.
ARCS 2004: 184-198 |
| 9 | EE | Riccardo Pucella,
Erik Meijer,
Dino Oliva:
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel
CoRR cs.PL/0405082: (2004) |
| 2003 |
|---|
| 8 | EE | Dino Oliva,
Rainer Buchty,
Nevin Heintze:
AES and the cryptonite crypto processor.
CASES 2003: 198-209 |
| 1998 |
|---|
| 7 | | Andrew P. Tolmach,
Dino Oliva:
From ML to Ada: Strongly-Typed Language Interoperability via Source Translation.
J. Funct. Program. 8(4): 367-412 (1998) |
| 1997 |
|---|
| 6 | EE | Simon L. Peyton Jones,
Thomas Nordin,
Dino Oliva:
C-: A Portable Assembly Language.
Implementation of Functional Languages 1997: 1-19 |
| 1996 |
|---|
| 5 | EE | Richard B. Kieburtz,
Laura McKinney,
Jeffrey M. Bell,
James Hook,
Alex Kotov,
Jeffrey Lewis,
Dino Oliva,
Tim Sheard,
Ira Smith,
Lisa Walton:
A Software Engineering Experiment in Software Component Generation.
ICSE 1996: 542-552 |
| 1995 |
|---|
| 4 | | Richard B. Kieburtz,
Françoise Bellegarde,
Jeffrey M. Bell,
James Hook,
Jeffrey Lewis,
Dino Oliva,
Tim Sheard,
Lisa Walton,
Tong Zhou:
Calculating Software Generators from Solution Specifications.
TAPSOFT 1995: 546-560 |
| 3 | | Dino Oliva,
John D. Ramsdell,
Mitchell Wand:
The VLISP Verified PreScheme Compiler.
Lisp and Symbolic Computation 8(1-2): 111-182 (1995) |
| 1994 |
|---|
| 2 | EE | Jeffrey M. Bell,
Françoise Bellegarde,
James Hook,
Richard B. Kieburtz,
Alex Kotov,
Jeffrey Lewis,
Laura McKinney,
Dino Oliva,
Tim Sheard,
L. Tong,
Lisa Walton,
Tong Zhou:
Software design for reliability and reuse: a proof-of-concept demonstration.
TRI-Ada 1994: 396-404 |
| 1992 |
|---|
| 1 | EE | Mitchell Wand,
Dino Oliva:
Proving the Correctness of Storage Representations.
LISP and Functional Programming 1992: 151-160 |
