Team Phoenix

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Bibliography

Major publications by the team in recent years

[1]
C. Consel.
From A Program Family To A Domain-Specific Language, in: Domain-Specific Program Generation; International Seminar, Dagstuhl Castle, C. Lengauer, D. Batory, C. Consel, M. Odersky (editors), Lecture Notes in Computer Science, State-of-the-Art Survey, Springer-Verlag, 2004, no 3016, p. 19-29
http://phoenix.labri.fr/publications/papers/dagstuhl-consel.pdf.
[2]
C. Consel, J. Lawall, A.-F. Le Meur.
A Tour of Tempo: A Program Specializer for the C Language, in: Science of Computer Programming, 2004
http://phoenix.labri.fr/publications/papers/tour-tempo.ps.gz.
[3]
C. Consel, R. Marlet.
Architecturing software using a methodology for language development, in: Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, Pisa, Italy, C. Palamidessi, H. Glaser, K. Meinke (editors), Lecture Notes in Computer Science, September 1998, vol. 1490, p. 170–194
http://phoenix.labri.fr/publications/papers/plilp98.ps.gz.
[4]
C. Consel, L. Réveillère.
A Programmable Client-Server Model: Robust Extensibility via DSLs, in: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montréal, Canada, IEEE Computer Society Press, November 2003, p. 70–79
http://phoenix.labri.fr/publications/papers/Consel-Reveillere_ase03.pdf.
[5]
C. Consel, L. Réveillère.
A DSL Paradigm for Domains of Services: A Study of Communication Services, in: Domain-Specific Program Generation; International Seminar, Dagstuhl Castle, C. Lengauer, D. Batory, C. Consel, M. Odersky (editors), Lecture Notes in Computer Science, State-of-the-Art Survey, Springer-Verlag, 2004, no 3016, p. 165 – 179
http://phoenix.labri.fr/publications/papers/dagstuhl04_consel_reveillere.pdf.
[6]
A.-F. Le Meur, J. Lawall, C. Consel.
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, in: Higher-Order and Symbolic Computation, 2004, vol. 17, no 1, p. 47–92
http://phoenix.labri.fr/publications/papers/spec-scenarios-hosc2003.ps.gz.
[7]
D. McNamee, J. Walpole, C. Pu, C. Cowan, C. Krasic, A. Goel, P. Wagle, C. Consel, G. Muller, R. Marlet.
Specialization tools and techniques for systematic optimization of system software, in: ACM Transactions on Computer Systems, May 2001, vol. 19, no 2, p. 217–251
http://phoenix.labri.fr/publications/papers/tocs01-namee.pdf.
[8]
F. Mérillon, L. Réveillère, C. Consel, R. Marlet, G. Muller.
Devil: An IDL for Hardware Programming, in: Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, California, October 2000, p. 17–30
http://phoenix.labri.fr/publications/papers/osdi00-merillon.pdf.
[9]
L. Réveillère, G. Muller.
Improving Driver Robustness: an Evaluation of the Devil Approach, in: The International Conference on Dependable Systems and Networks, Göteborg, Sweden, IEEE Computer Society, July 2001, p. 131–140
http://phoenix.labri.fr/publications/papers/Reveillere-Muller_dsn2001.pdf.
[10]
S. Thibault, C. Consel, G. Muller.
Safe and Efficient Active Network Programming, in: 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, IN, October 1998, p. 135–143
http://phoenix.labri.fr/publications/papers/srds98-thibault.ps.gz.

Publications of the year

Publications in Conferences and Workshops

[11]
S. Bhatia, C. Consel, J. Lawall.
Minimizing cache misses in an event-driven network server: A case study of TUX, in: To appear in Proceedings of the 31st IEEE International Conference on Local Computer Networks (LCN 2006), Tampa, FL, IEEE Computer Society Press, November 2006.
[12]
L. Burgy, C. Consel, F. Latry, J. Lawall, N. Palix, L. Réveillère.
Language Technology for Internet-Telephony Service Creation, in: IEEE International Conference on Communications, June 2006
http://phoenix.labri.fr/publications/talks/icc06.pdf.
[13]
L. Burgy, C. Consel, F. Latry, N. Palix, L. Réveillère.
A High-Level, Open Ended Architecture For SIP-based Services, in: Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), Bordeaux, France, May 2006
http://phoenix.labri.fr/publications/talks/icin06_pA4.pdf.
[14]
W. Jouve, J. Lancia, C. Consel, C. Pu.
A Multimedia-Specific Approach to WS-Agreement, in: To appear in Proceedings of The 4th IEEE European Conference on Web Services (ECOWS) (ECOWS 2006), Zurich, Switzerland, IEEE Computer Society Press, December 2006
http://phoenix.labri.fr/publications/papers/ecows06_multimedia_ws-agreement.pdf.
[15]
Y. Koh, C. Pu, S. Bhatia, C. Consel.
Efficient Packet Processing in User-Level Operating Systems: A Study of UML, in: Proceedings of the 31st IEEE Conference on Local Computer Networks (LCN) (LCN 2006), Tampa, FL, IEEE Computer Society Press, November 2006
http://phoenix.labri.fr/publications/papers/koh-pu-bahtia-al_lcn2006.pdf.
[16]
F. Latry, J. Mercadal, C. Consel.
Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services, in: Proceedings of the 1st GPCE for QoS Provisioning in Distributed Systems (GPCE4QoS), Portland, Oregon USA, October 2006
http://phoenix.labri.fr/publications/talks/latry-algpce4qos06-talks.pdf.

Internal Reports

[17]
C. Consel, W. Jouve, J. Lancia, N. Palix.
Ontology-Directed Generation of Frameworks For Pervasive Service Development, Research Report, INRIA, Bordeaux, France, November 2006, no 00111032
http://hal.inria.fr/inria-00111032.

References in notes

[18]
CGI: The Common Gateway Interface
http://cgi-spec.golux.com/ncsa.
[19]
Session Initiation Protocol (SIP), Request for Comments 2543, March 2001.
[20]
P. Boinot, R. Marlet, J. Noyé, G. Muller, C. Consel.
A Declarative Approach for Designing and Developing Adaptive Components, in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, IEEE Computer Society Press, September 2000.
[21]
S. Chirokoff, C. Consel, R. Marlet.
Combining Program and Data Specialization, in: Higher-Order and Symbolic Computation, December 1999, vol. 12, no 4, p. 309–335.
[22]
C. Consel, F. Latry, L. Réveillère, P. Cointe.
A Generative Programming Approach to Developing DSL Compilers, in: Fourth International Conference on Generative Programming and Component Engineering (GPCE), Tallinn, Estonia, R. Gluck, M. Lowry (editors), Lecture Notes in Computer Science, Springer-Verlag, September 2005, vol. 3676, p. 29–46.
[23]
C. Consel, J. Lawall, A.-F. Le Meur.
A Tour of Tempo: A Program Specializer for the C Language, in: Science of Computer Programming, 2004.
[24]
C. Consel, R. Marlet.
Architecturing software using a methodology for language development, in: Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, Pisa, Italy, C. Palamidessi, H. Glaser, K. Meinke (editors), Lecture Notes in Computer Science, September 1998, vol. 1490, p. 170–194.
[25]
A.-F. Le Meur, C. Consel, B. Escrig.
An Environment for Building Customizable Software Components, in: IFIP/ACM Conference on Component Deployment, Berlin, Germany, June 2002, p. 1–14.
[26]
A.-F. Le Meur, C. Consel.
Generic Software Component Configuration Via Partial Evaluation, in: SPLC'2000 Workshop – Product Line Architecture, Denver, Colorado, August 2000.
[27]
A.-F. Le Meur, J. Lawall, C. Consel.
Towards Bridging the Gap Between Programming Languages and Partial Evaluation, in: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Portland, OR, USA, ACM Press, January 2002, p. 9–18.
[28]
A.-F. Le Meur, J. Lawall, C. Consel.
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, in: Higher-Order and Symbolic Computation, 2004, vol. 17, no 1, p. 47–92.
[29]
R. Marlet, C. Consel, P. Boinot.
Efficient Incremental Run-Time Specialization for Free, in: Proceedings of the ACM SIGPLAN'99 Conference on Programming Language Design and Implementation (PLDI'99), Atlanta, GA, USA, May 1999, p. 281–292.
[30]
R. Marlet, S. Thibault, C. Consel.
Mapping Software Architectures to Efficient Implementations via Partial Evaluation, in: Conference on Automated Software Engineering, Lake Tahoe, NV, USA, IEEE Computer Society, November 1997, p. 183–192.
[31]
R. Marlet, S. Thibault, C. Consel.
Efficient Implementations of Software Architectures via Partial Evaluation, in: Journal of Automated Software Engineering, October 1999, vol. 6, no 4, p. 411–440.
[32]
D. McNamee, J. Walpole, C. Pu, C. Cowan, C. Krasic, A. Goel, P. Wagle, C. Consel, G. Muller, R. Marlet.
Specialization tools and techniques for systematic optimization of system software, in: ACM Transactions on Computer Systems, May 2001, vol. 19, no 2, p. 217–251.
[33]
F. Mérillon, L. Réveillère, C. Consel, R. Marlet, G. Muller.
Devil: An IDL for Hardware Programming, in: 4th Symposium on Operating Systems Design and Implementation (OSDI 2000), San Diego, California, October 2000, p. 17–30.
[34]
G. Muller, C. Consel, R. Marlet, L. Barreto, F. Mérillon, L. Réveillère.
Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages, in: Proceedings of the ACM SIGOPS European Workshop 2000 (EW2000), Kolding, Denmark, September 2000.
[35]
L. Réveillère, F. Mérillon, C. Consel, R. Marlet, G. Muller.
A DSL Approach to Improve Productivity and Safety in Device Drivers Development, in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, IEEE Computer Society Press, September 2000, p. 101–109.
[36]
L. Réveillère, G. Muller.
Improving Driver Robustness: an Evaluation of the Devil Approach, in: The International Conference on Dependable Systems and Networks, Göteborg, Sweden, IEEE Computer Society, July 2001, p. 131–140.
[37]
U. Schultz, J. Lawall, C. Consel, G. Muller.
Towards Automatic Specialization of Java Programs, in: Proceedings of the European Conference on Object-oriented Programming (ECOOP'99), Lisbon, Portugal, Lecture Notes in Computer Science, June 1999, vol. 1628, p. 367–390.
[38]
U. Schultz, J. Lawall, C. Consel.
Specialization Patterns, in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, IEEE Computer Society Press, September 2000, p. 197–208.
[39]
U. Schultz, J. Lawall, C. Consel.
Automatic Program Specialization for Java, in: ACM Transactions on Programming Languages and Systems, 2003, vol. 25, no 4, p. 452–499.
[40]
S. Thibault, C. Consel, J. Lawall, R. Marlet, G. Muller.
Static and Dynamic Program Compilation by Interpreter Specialization, in: Higher-Order and Symbolic Computation, September 2000, vol. 13, no 3, p. 161–178.
[41]
S. Thibault, C. Consel, G. Muller.
Safe and Efficient Active Network Programming, in: 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, IN, October 1998, p. 135–143.
[42]
S. Thibault, R. Marlet, C. Consel.
Domain-Specific Languages: from Design to Implementation – Application to Video Device Drivers Generation, in: IEEE Transactions on Software Engineering, May 1999, vol. 25, no 3, p. 363–377.

previous
next