Team sardes

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Bibliography

Major publications by the team in recent years

[1]
É. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, J.-B. Stefani.
The Fractal Component Model and its Support in Java, in: Software – Practice and Experience (SP&E), 2006, vol. 36, no 11-12.
[2]
G. Delaval, É. Rutten.
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, in: 13th International Symposium on Component-Based Software Engineering (CBSE), Lecture Notes in Computer Science, Springer, 2010, vol. 6092.
[3]
J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, A. Schmitt.
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem, in: ACM Trans. Program. Lang. Syst., 2007, vol. 29, no 3.
[4]
P. Genevès, N. Layaida, A. Schmitt.
Efficient Static Analysis of XML Paths and Types, in: PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, ACM Press, 2007.
[5]
R. Guerraoui, N. Knezevic, V. Quéma, M. Vukolic.
The next 700 BFT protocols, in: 5th European Conference on Computer systems (Eurosys), ACM, 2010.
[6]
R. Guerraoui, R. R. Levy, B. Pochon, V. Quéma.
Throughput optimal total order broadcast for cluster environments, in: ACM Trans. Comput. Syst., 2010, vol. 28, no 2.
[7]
M. Leclercq, A. E. Özcan, V. Quéma, J.-B. Stefani.
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, in: 29th International Conference on Software Engineering (ICSE), IEEE Computer Society, 2007.
[8]
S. Lenglet, A. Schmitt, J.-B. Stefani.
Howe's method for calculi with passivation, in: 20th International Conference on Concurrency Theory (CONCUR 2009), Lecture Notes in Computer Science, Springer, 2009.
[9]
L. Malrait, S. Bouchenak, N. Marchand.
Fluid modeling and control for server system performance and availability, in: 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2009.
[10]
J. Philippe, N. De Palma, F. Boyer, O. Gruber.
Self-adaptation of service level in distributed systems, in: Softw., Pract. Exper., 2010, vol. 40, no 3.
[11]
A. Schmitt, J.-B. Stefani.
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, in: Global Computing, Lecture Notes in Computer Science, Springer, 2005, vol. 3267.
[12]
S. Sicard, F. Boyer, N. De Palma.
Using Components for Architecture-Based Management: The Self-Repair Case, in: 30th International Conference on Software Engineering (ICSE), ACM, 2008.

Publications of the year

Doctoral Dissertations and Habilitation Theses

[13]
J. Arnaud.
Performance, disponibilité et coût de services Internet adaptatifs, Université de Grenoble, Sep 2010.
[14]
S. Bouchenak.
Performance et disponibilité de srvices répartis: des mécanismes intergiciels au contrôle adaptatif, Université de Grenoble, Dec 2010, Habilitation à Diriger des Recherches.
[15]
F. Gaud.
Etude et amélioration de la performance des serveurs de données pour les architectures multi-cœurs, Université de Grenoble, Dec 2010.
[16]
S. Lenglet.
Bisimulations dans les calculs avec passivation, Université de Grenoble, Jan 2010.
[17]
M. Lienhardt.
Components and Types, Université de Grenoble, Sep 2010.
[18]
V. Quéma.
Contributions to Building Efficient and Robust State-Machine Replication Protocols, Université de Grenoble, Nov 2010, Habilitation à Diriger des Recherches.

Articles in International Peer-Reviewed Journal

[19]
M. D. Flouris, R. Lachaize, K. Chasapis, A. Bilas.
Extensible Block-Level Storage Virtualization in Cluster-Based Systems, in: Journal of Parallel and Distributed Computing, 2010, vol. 70, no 8.
[20]
R. Guerraoui, R. R. Levy, B. Pochon, V. Quéma.
Throughput optimal total order broadcast for cluster environments, in: ACM Trans. Comput. Syst., 2010, vol. 28, no 2.
[21]
L. Malrait, S. Bouchenak, N. Marchand.
Experience with ConSer: A System for Server Control Through Fluid Modeling, in: IEEE Transactions on Computers, 2010.
[22]
J. Philippe, N. De Palma, F. Boyer, O. Gruber.
Auto-adaptation du niveau de service dans les systèmes distribués, in: Technique et Science Informatiques, 2010, vol. 29, no 3.
[23]
J. Philippe, N. De Palma, F. Boyer, O. Gruber.
Self-adaptation of service level in distributed systems, in: Software, Practice and Experience, 2010, vol. 40, no 3.
[24]
I. R. Quadri, H. Yu, A. Gamatié, S. Meftali, J.-L. Dekeyser, É. Rutten.
Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation, in: International Journal of Embedded Systems, Sep 2010.

International Peer-Reviewed Conference/Proceedings

[25]
J. Arnaud, S. Bouchenak.
Adaptive internet services through performance and availability control, in: 25th ACM Symposium on Applied Computing (SAC), ACM, 2010.
[26]
M. A. Belhaj Seboui, N. Ben Hadj Alouane, G. Delaval, É. Rutten, M. Yeddes.
A Decentralized Supervisory Control Approach For Distributed Adaptive Systems, in: 4th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), 2010.
[27]
S. Ben Mokhtar, A. Pace, V. Quéma.
FireSpam: Spam Resilient Gossiping in the BAR Model, in: 29th IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE, 2010.
[28]
T. Braibant, D. Pous.
An Efficient Coq Tactic for Deciding Kleene Algebras, in: 1st International Conference on Interactive Theorem Proving, Lecture Notes in Computer Science, Springer, 2010, vol. 6172.
[29]
N. De Palma, G. Delaval, É. Rutten.
QoS and Energy Management Coordination using Discrete Controller Synthesis, in: 1st International Workshop on Green Computing Middleware (GCM), in conjunction with ACM/IFIP/USENIX 11th International Middleware Conference, 2010.
[30]
G. Delaval, H. Marchand, É. Rutten.
Contracts for modular discrete controller synthesis, in: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM, 2010.
[31]
G. Delaval, É. Rutten.
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, in: 13th International Symposium on Component-Based Software Engineering (CBSE), Lecture Notes in Computer Science, Springer, 2010, vol. 6092.
[32]
E. Dumitrescu, A. Girault, H. Marchand, É. Rutten.
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks, in: Workshop on Discrete Event Systems, WODES'10, IFAC, 2010.
[33]
A. Gamatié, V. Rusu, É. Rutten.
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design, in: 9th International Symposium on Parallel and Distributed Computing (ISPDC), IEEE Computer Society, 2010.
[34]
F. Gaud, S. Genevès, R. Lachaize, B. Lepers, F. Mottet, G. Muller, V. Quéma.
Efficient Workstealing for Multicore Event-Driven Systems, in: 30th International Conference on Distributed Computing Systems (ICDCS), IEEE Computer Society, 2010.
[35]
R. Guerraoui, N. Knezevic, V. Quéma, M. Vukolic.
The next 700 BFT protocols, in: 5th European Conference on Computer systems (Eurosys), ACM, 2010.
[36]
S. Guillet, F. de Lamotte, É. Rutten, G. Gogniat, J.-P. Diguet.
Modeling and formal control of partial dynamic reconfiguration, in: 6th International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2010.
[37]
D. Hirschkoff, D. Pous.
On Bisimilarity and Substitution in Presence of Replication, in: 37th International Colloquium on Automata, Languages and Programming (ICALP), Part II, Lecture Notes in Computer Science, Springer, 2010, vol. 6199.
[38]
I. Lanese, C. A. Mezzina, J.-B. Stefani.
Reversing Higher-Order Pi, in: 21th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science, Springer, 2010, vol. 6269.
[39]
I. Lanese, J. A. Pérez, D. Sangiorgi, A. Schmitt.
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi, in: 37th International Colloquium on Automata, Languages and Programming (ICALP), Part II, Lecture Notes in Computer Science, Springer, 2010, vol. 6199.
[40]
D. Pous.
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic, in: 24th International Workshop on Computer Science Logic (CSL), Lecture Notes in Computer Science, Springer, 2010, vol. 6247.

Scientific Books (or Scientific Book chapters)

[41]
J. Arnaud, S. Bouchenak.
Performance, Availability and Cost of Self-Adaptive Internet Services, in: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions, IGI Global, 2011.

Books or Proceedings Editing

[42]
S. Bouchenak, É. Rutten (editors)
Best papers from the 5th international workshop on feedback control implementation and design in computing systems and networks (FeBID 2010), 2010, vol. 44.

Internal Reports

[43]
A. S. Aboubekr, G. Delaval, R. Pissard-Gibollet, É. Rutten, D. Simon.
Automatic generation of discrete handlers of real-time continuous control tasks, INRIA, Jul 2010, RR-7332.
[44]
E. Barcenas, P. Genevès, N. Layaida, A. Schmitt.
On the Count of Trees, INRIA, Aug 2010, RR-7251.
[45]
F. Gaud, S. Genevès, R. Lachaize, B. Lepers, F. Mottet, G. Muller, V. Quéma.
Mely: Efficient Workstealing for Multicore Event-Driven Systems, INRIA, Jan 2010, RR-7169.

References in notes

[46]
Research Projects in Autonomic Computing, 2003, IBM Research.
http://www.research.ibm.com/autonomic/research/projects.html
[47]
Z. Liu, H. Jifeng (editors)
Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific, 2006.
[48]
M. Abadi, L. Cardelli.
A theory of objects, Springer, 1996.
[49]
J. Aldrich, C. Chambers, D. Notkin.
Architectural Reasoning in ArchJava, in: Proceedings 16th European Conference on Object-Oriented Programming (ECOOP), 2002.
[50]
S. Androutsellis-Theotokis, D. Spinellis.
A survey of peer-to-peer content distribution technologies, in: ACM Comput. Surv., 2004, vol. 36, no 4.
[51]
J. Armstrong, M. Williams, C. Wikstrom, R. Virding.
Concurrent Programming in Erlang, Prentice Hall, 1996.
[52]
L. Bass, P. Clements, R. Kazman.
Software Architecture in Practice, SEI Series in Software Engineering, 2nd edition, Addison-Wesley, 2003.
[53]
A. Baumann, P. Barham, P. Dagand, T. L. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schüpbach, A. Singhania.
The multikernel: a new OS architecture for scalable multicore systems, in: 22nd ACM Symposium on Operating Systems Principles (SOSP), ACM, 2009.
[54]
C. Bennett.
Notes on the history of reversible computation, in: IBM Journal of Research and Development, 1988, vol. 32, no 1.
[55]
B. Bershad, S. Savage, P. Przemyslaw, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, S. Eggers.
Extensibility, Safety and Performance in the SPIN Operating System, in: Proceedings 15th ACM Symposium on Operating Systems Principles, 1995.
[56]
L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, B. Venneri.
The KLAIM Project: Theory and Practice, in: Global Computing: Programming Environments, Languages, Security and Analysis of Systems, Lecture Notes in Computer Science, Springer-Verlag, 2003, no 2874.
[57]
G. S. Blair, G. Coulson, A. Andersen, L. Blair, M. Clarke, F. Costa, H. Duran-Limon, T. Fitzpatrick, L. Johnston, R. Moreira, N. Parlavantzas, K. Saikoski.
The Design and Implementation of OpenORB v2, in: IEEE Distributed Systems Online, vol. 2 no 6, Special Issue on Reflective Middleware, 2001.
[58]
S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, M. F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang, Z. Zhang.
Corey: an operating system for many cores, in: 8th Usenix Symposium on Operating System Design and Implementation (OSDI `08), 2008.
[59]
J. Bradbury, J. Cordy, J. Dingel, M. Wermelinger.
A Survey of Self-Management in Dynamic Software Architecture Specifications, in: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, ACM, 2004.
[60]
M. Bugliesi, G. Castagna, S. Crafa.
Access control for mobile agents: the calculus of boxed ambients, in: ACM. Trans. Prog. Languages and Systems, vol. 26, no 1, 2004.
[61]
C. G. Cassandras, S. Lafortune.
Introduction to Discrete Event Systems, 2nd edition, Springer, 2008.
[62]
G. Castagna, J. Vitek, F. Z. Nardelli.
The Seal Calculus, in: Inf. Comput., 2005, vol. 201, no 1.
[63]
R. Collet.
The Limits of Network Transparency in a Distributed Programming Language, Université Catholique de Louvain, Belgium, 2007.
[64]
G. Coulson, G. S. Blair, P. Grace, F. Taïani, A. Joolia, K. Lee, J. Ueyama, T. Sivaharan.
A generic component model for building systems software, in: ACM Trans. Computer Systems, 2008, vol. 26, no 1.
[65]
S. Dal-Zilio.
Mobile Processes: A Commented Bibliography, in: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, LNCS, Springer, 2001, vol. 2067.
[66]
A. Dearle.
Software Deployment, Past, Present and Future, in: Future of Software Engineering (FOSE '07), IEEE, 2007.
[67]
M. Fahndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. C. Hunt, J. R. Larus, S. Levi.
Language Support for Fast and Reliable Message-based Communication in Singularity OS, in: 1st EuroSys Conference, ACM, 2006.
[68]
C. Fournet, F. Le Fessant, L. Maranget, A. Schmitt.
JoCaml: a language for concurrent, distributed and mobile programming, in: Summer Schol Adv. Functional Programming, LNCS, 2003, vol. 2638.
[69]
M. Golm, M. Felser, C. Wawersich, J. Kleinöder.
The JX Operating System, in: USENIX Annual Technical Conference, General Track, USENIX, 2002.
[70]
G. Heiser, K. Elphinstone, I. Kuz, G. Klein, S. Petters.
Towards Trusworthy Computing Systems: Taking Microkernels to the Next Level, in: Operating Systems Review, 2007, vol. 41, no 4.
[71]
J. Hellerstein, Y. Dao, S. Parekh, D. Tilbury.
Feedback Control of Computing Systems, Wiley-Interscience, 2004.
[72]
M. Hennessy, J. Rathke, N. Yoshida.
SafeDpi: a language for controlling mobile code, in: Acta Informatica, 2005, vol. 42, no 4-5.
[73]
M. Herlihy, N. Shavit.
The Art of Multiprocessor Programming, Morgan Kaufmann, 2008.
[74]
M. C. Huebscher, J. A. McCann.
A survey of autonomic computing - degrees, models, and applications, in: ACM Comput. Surv., 2008, vol. 40, no 3.
[75]
G. C. Hunt, J. R. Larus.
Singularity: rethinking the software stack, in: Operating Systems Review, 2007, vol. 41, no 2.
[76]
J. O. Kephart, D. M. Chess.
The Vision of Autonomic Computing, in: Computer - IEEE Computer Magazine, 2003, vol. 36, no 1, p. 41–50.
[77]
J. O. Kephart.
Research Challenges of Autonomic Computing, in: ICSE '05: Proceedings of the 27th international conference on Software engineering, New York, NY, USA, ACM Press, 2005, p. 15–22.
http://doi.acm.org/10.1145/1062455.1062464
[78]
G. Kiczales, J. des Rivières, D. Bobrow.
The Art of the Metaobject Protocol, MIT Press, 1991.
[79]
G. Kiczales.
Aspect-Oriented Programming, in: ACM Computing Surveys, 1996, vol. 28, no 4, 154 p.
http://doi.acm.org/10.1145/242224.242420
[80]
G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, S. Winwood.
seL4: formal verification of an OS kernel, in: 22nd ACM Symposium on Operating Systems Principles 2009, ACM, 2009.
[81]
F. Kon, F. Costa, G. S. Blair, R. H. Campbell.
The Case for Reflective Middleware, in: Communications of the ACM, June 2002, vol. 45, no 6, p. 33–38.
[82]
M. N. Krohn, E. Kohler, M. F. Kaashoek.
Events Can Make Sense, in: USENIX Annual Technical Conference, 2007.
[83]
K. Lau, Z. Wang.
Software Component Models, in: IEEE Trans. Software Eng., 2007, vol. 33, no 10.
[84]
G. Leavens, M. Sitaraman.
Foundations of Component-Based Systems, Cambridge University Press, 2000.
[85]
Y. Liu, S. Smith.
Interaction-Based Programming with Classages, in: Proceedings OOPSLA, 2005.
[86]
N. Lynch.
Distributed Algorithms, Morgan Kaufmann, 1996.
[87]
N. Medvidovic, R. N. Taylor.
A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, vol. 26, no. 1, 2000.
[88]
P. Mell, T. Grance.
The NIST Definition of Cloud Computing, 2010.
http://csrc.nist.gov/groups/SNS/cloud-computing/
[89]
M. Miller.
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, Johns Hopkins University, baltimor, Maryland, USA, 2006.
[90]
R. Milner.
Communicating and mobile systems : the $ \pi$ -calculus, Cambridge University Press, 1999.
[91]
J. Mitchell.
Foundations for Programming Languages, MIT Press, 1996.
[92]
M. Odersky, M. Zenger.
Scalable component abstractions, in: Proceedings OOPSLA, 2005.
[93]
D. Oppenheimer, A. Ganapathi, D. A. Patterson.
Why do Internet services fail, and what can be done about it?, in: 4th USENIX Symposium on Internet Technologies and Systems (USITS '03), March 2003.
[94]
J. Risson, T. Moors.
Survey of research towards robust peer-to-peer networks: Search methods, in: Computer Networks, 2006, vol. 50, no 17.
[95]
A. Rossberg, D. Le Botlan, G. Tack, T. Brunklaus, G. Smolka.
Alice Through the Looking Glass, in: Trends in Functional Programming, Intellect Books, 2006, vol. 5.
[96]
A. Rossberg.
The Missing Link - Dynamic Components for ML, in: 11th International Conference on Functional Programming, ACM Press, 2006.
[97]
D. Sangiorgi.
On the origins of bisimulation and coinduction, in: ACM Trans. Program. Lang. Syst., 2009, vol. 31, no 4.
[98]
D. Sangiorgi.
Bisimulation for Higher-Order Process Calculi, in: Information and Computation, 1996, vol. 131, no 2.
[99]
D. Sangiorgi, D. Walker.
The $ \pi$ -calculus: A Theory of Mobile Processes, Cambridge University Press, 2001.
[100]
A. Schmitt, J.-B. Stefani.
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, in: Global Computing, Lecture Notes in Computer Science, Springer, 2005, vol. 3267.
[101]
P. Sewell, J. Leifer, K. Wansbrough, F. Z. Nardelli, M. Allen-Willians, P. Habouzit, V. Vafeiadis.
Acute: High-level programming language design for distributed computation, in: Int. Conf. Functional Programming, 2005.
[102]
D. Shah.
Gossip Algorithms, in: Foundations and Trends in Networking, 2009, vol. 3, no 1.
[103]
M. Shaw, D. Garlan.
Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
[104]
A. Silberschatz, P. B. Galvin, G. Gagne.
Operating System Concepts, 8th edition, Wiley, 2008.
[105]
C. Szyperski.
Component Software, 2nd edition, Addison-Wesley, 2002.
[106]
G. Tel.
Introduction to Distributed Algorithms, 2nd edition, Cambdrige University Press, 2001.
[107]
P. Van Roy, S. Haridi.
Concepts, Techniques and Models of Computer Programming, MIT Press, 2004.
[108]
N. Wirth.
Project Oberon: The Design of an Operating System and Compiler, ACM Press, 1992.
[109]
N. Zeldovich, A. Yip, F. Dabek, R. Morris, D. Mazières, M. F. Kaashoek.
Multiprocessor Support for Event-Driven Programs, in: USENIX Annual Technical Conference, General Track, 2003.

previous
next