Eugen-Nicolae Volanschi

Publication Activity (10 Years)

Years Active: 1997-2008
Publications (10 Years): 0

Publications

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