 | 2008 |
|---|
| 9 |       | Eugen-Nicolae Volanschi:
A portable compiler-integrated approach to permanent checking.
Autom. Softw. Eng. 15(1): 3-33 (2008) |
| 2006 |
|---|
| 8 | | Eugen-Nicolae Volanschi:
A Portable Compiler-Integrated Approach to Permanent Checking.
ASE 2006: 103-112 |
| 7 | | Eugen-Nicolae Volanschi:
Condate: a proto-language at the confluence between checking and compiling.
PPDP 2006: 225-236 |
| 2000 |
|---|
| 6 | | Gilles Muller,
Renaud Marlet,
Eugen-Nicolae Volanschi:
Accurate program analyses for successful specialization of legacy system software.
Theor. Comput. Sci. 248(1-2): 201-210 (2000) |
| 1998 |
|---|
| 5 | | Gilles Muller,
Renaud Marlet,
Eugen-Nicolae Volanschi,
Charles Consel,
Calton Pu,
Ashvin Goel:
Fast, Optimized Sun RPC Using Automatic Program Specialization.
ICDCS 1998: 240-249 |
| 4 | | Charles Consel,
Luke Hornof,
Renaud Marlet,
Gilles Muller,
Scott Thibault,
Eugen-Nicolae Volanschi:
Tempo: Specializing Systems applications and Beyond.
ACM Comput. Surv. 30(3es): 19 (1998) |
| 3 | | Charles Consel,
Luke Hornof,
Renaud Marlet,
Gilles Muller,
Scott Thibault,
Eugen-Nicolae Volanschi:
Partial Evaluation for Software Engineering.
ACM Comput. Surv. 30(3es): 20 (1998) |
| 1997 |
|---|
| 2 |  | Eugen-Nicolae Volanschi,
Charles Consel,
Gilles Muller,
Crispin Cowan:
Declarative Specialization of Object-Oriented Programs.
OOPSLA 1997: 286-300 |
| 1 | | Gilles Muller,
Eugen-Nicolae Volanschi,
Renaud Marlet:
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.
PEPM 1997: 116-126 |
