dblp.uni-trier.dewww.uni-trier.de

Eugen-Nicolae Volanschi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEEugen-Nicolae Volanschi: A portable compiler-integrated approach to permanent checking. Autom. Softw. Eng. 15(1): 3-33 (2008)
2006
8EEEugen-Nicolae Volanschi: A Portable Compiler-Integrated Approach to Permanent Checking. ASE 2006: 103-112
7EEEugen-Nicolae Volanschi: Condate: a proto-language at the confluence between checking and compiling. PPDP 2006: 225-236
2000
6EEGilles 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
5EEGilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel: Fast, Optimized Sun RPC Using Automatic Program Specialization. ICDCS 1998: 240-249
4EECharles 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)
3EECharles 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
1EEGilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet: Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. PEPM 1997: 116-126

Coauthor Index

1Charles Consel [2] [3] [4] [5]
2Crispin Cowan [2]
3Ashvin Goel [5]
4Luke Hornof [3] [4]
5Renaud Marlet [1] [3] [4] [5] [6]
6Gilles Muller [1] [2] [3] [4] [5] [6]
7Calton Pu [5]
8Scott Thibault [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)