2008
32Remote specialization for efficient embedded operating systems. Sapan Bhatia, Charles Consel, Calton Pu. ACM Trans. Program. Lang. Syst. (30) (2008). Web SearchBibTeXDownload
31DSLs: the good, the bad, and the ugly. Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen. OOPSLA Companion 2008, 791-794. Web SearchBibTeXDownload
2006
30A Multimedia-Specific Approach to WS-Agreement. Wilfried Jouve, Julien Lancia, Charles Consel, Calton Pu. ECOWS 2006, 44-52. Cited by 1Web SearchBibTeXDownload
29Efficient Packet Processing in User-Level OSes: A Study of UML. Younggyun Koh, Calton Pu, Sapan Bhatia, Charles Consel. LCN 2006, 63-70. Cited by 3Web SearchBibTeXDownload
2005
28Clearwater: extensible, flexible, modular code generation. Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama. ASE 2005, 144-153. Cited by 12Web SearchBibTeXDownload
2004
27Remote customization of systems code for embedded devices. Sapan Bhatia, Charles Consel, Calton Pu. EMSOFT 2004, 7-15. Cited by 13Web SearchBibTeXDownload
26Automatic Specialization of Protocol Stacks. Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu. LCN 2004, 152-159. Cited by 5Web SearchBibTeXDownload
25Infopipes: The ISL/ISG Implementation Evaluation. Galen S. Swint, Calton Pu, Younggyun Koh, Ling Liu, Wenchang Yan, Charles Consel, Koichi Moriyama, Jonathan Walpole. NCA 2004, 293-296. Web SearchBibTeXDownload
2003
24Spidle: A DSL Approach to Specifying Streaming Applications. Charles Consel, Hédi Hamdi, Laurent Réveillère, Lenin Singaravelu, Haiyan Yu, Calton Pu. GPCE 2003, 1-17. Cited by 36Web SearchBibTeXDownload
2001
23Specialization tools and techniques for systematic optimization of system software. Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet. ACM Trans. Comput. Syst. (19): 217-251 (2001). Cited by 63Web SearchBibTeXDownload
22WebCaL - a domain specific language for web caching. Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel. Computer Communications (24): 191-201 (2001). Web SearchBibTeX
2000
21Towards robust OSes for appliances: a new approach based on domain-specific languages. Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère. ACM SIGOPS European Workshop 2000, 19-24. Web SearchBibTeXDownload
20Java bytecode compression for low-end embedded systems. Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller. ACM Trans. Program. Lang. Syst. (22): 471-489 (2000). Web SearchBibTeXDownload
19A Declarative Approach for Designing and Developing Adaptive Components. Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel. ASE 2000, 111. Web SearchBibTeXDownload
18A DSL Approach to Improve Productivity and Safety in Device Drivers Development. Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller. ASE 2000, 101-110. Web SearchBibTeXDownload
17Static and Dynamic Program Compilation by Interpreter Specialization. Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller. Higher-Order and Symbolic Computation (13): 161-178 (2000). Web SearchBibTeXDownload
16Devil: An IDL for Hardware Programming. Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller. OSDI 2000, 17-30. Web SearchBibTeXDownload
1999
15Towards Automatic Specialization of Java Programs. Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller. ECOOP 1999, 367-390. Web SearchBibTeXDownload
1998
14Partial Evaluation for Software Engineering. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi. ACM Comput. Surv. (30): 20 (1998). Web SearchBibTeXDownload
13Tempo: Specializing Systems applications and Beyond. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi. ACM Comput. Surv. (30): 19 (1998). Web SearchBibTeXDownload
12Fast, Optimized Sun RPC Using Automatic Program Specialization. Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel. ICDCS 1998, 240-249. Cited by 81Web SearchBibTeXDownload
11Safe and Efficient Active Network Programming. Scott Thibault, Charles Consel, Gilles Muller. SRDS 1998, 135-143. Web SearchBibTeX
1997
10Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel. COOTS 1997, 1-20. Web SearchBibTeXDownload
9Declarative Specialization of Object-Oriented Programs. Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan. OOPSLA 1997, 286-300. Web SearchBibTeXDownload
1995
8On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. Charles Consel, Siau-Cheng Khoo. J. Funct. Program. (5): 461-500 (1995). Web SearchBibTeXDownload
7Optimistic Incremental Specialization: Streamlining a Commercial Operating System. Calton Pu, Tito Autrey, Andrew P. Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, Ke Zhang. SOSP 1995, 314-324. Cited by 259Web SearchBibTeXDownload
1993
6Parameterized Partial Evaluation. Charles Consel, Siau-Cheng Khoo. ACM Trans. Program. Lang. Syst. (15): 463-493 (1993). Web SearchBibTeXDownload
5Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems. Charles Consel, Calton Pu, Jonathan Walpole. PEPM 1993, 44-46. Cited by 60Web SearchBibTeXDownload
4Semantics-Directed Generation of a Prolog Compiler. Charles Consel, Siau-Cheng Khoo. Sci. Comput. Program. (21): 263-291 (1993). Web SearchBibTeXDownload
1991
3Evaluation partielle paramétrable. Charles Consel, Siau-Cheng Khoo. JTASPEFT/WSA 1991, 72-81. Web SearchBibTeX
2Parameterized Partial Evaluation. Charles Consel, Siau-Cheng Khoo. PLDI 1991, 92-106. Web SearchBibTeXDownload
1Semantics-Directed Generation of a Prolog Compiler. Charles Consel, Siau-Cheng Khoo. PLILP 1991, 135-146. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research