2008 |
9 | EE | Eugen-Nicolae Volanschi:
A portable compiler-integrated approach to permanent checking.
Autom. Softw. Eng. 15(1): 3-33 (2008) |
2006 |
8 | EE | Eugen-Nicolae Volanschi:
A Portable Compiler-Integrated Approach to Permanent Checking.
ASE 2006: 103-112 |
7 | EE | Eugen-Nicolae Volanschi:
Condate: a proto-language at the confluence between checking and compiling.
PPDP 2006: 225-236 |
2000 |
6 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Gilles Muller,
Eugen-Nicolae Volanschi,
Renaud Marlet:
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol.
PEPM 1997: 116-126 |