Bibliography

Major publications by the team in recent years

• 1G. Barthe, T. Rezk, A. Russo, A. Sabelfeld.
  
  Security of Multithreaded Programs by Compilation, in: ESORICS, 2007, pp. 2-18.
• 2G. Boudol, I. Castellani.
  
  Noninterference for Concurrent Programs and Thread Systems, in: Theoretical Computer Science, 2002, vol. 281, n^o 1, pp. 109-130.
• 3G. Boudol, Z. Luo, T. Rezk, M. Serrano.
  
  Reasoning about Web Applications: An Operational Semantics for HOP, in: ACM Transactions on Programming Languages and Systems (TOPLAS), 2012, vol. 34, n^o 2.
• 4C. Fournet, T. Rezk.
  
  Cryptographically sound implementations for typed information-flow security, in: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, 2008, pp. 323-335.
• 5M. Serrano, G. Berry.
  
  Multitier Programming in Hop - A first step toward programming 21st-century applications, in: Communications of the ACM, August 2012, vol. 55, n^o 8, pp. 53–59. [ DOI : 10.1145/2240236.2240253 ]
  
  http://cacm.acm.org/magazines/2012/8/153796-multitier-programming-in-hop/abstract
• 6M. Serrano, E. Gallesio, F. Loitsch.
  
  HOP, a language for programming the Web 2.0, in: Proceedings of the First Dynamic Languages Symposium, Portland, Oregon, USA, October 2006.
• 7M. Serrano.
  
  Bee: an Integrated Development Environment for the Scheme Programming Language, in: Journal of Functional Programming, May 2000, vol. 10, n^o 2, pp. 1–43.

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 8P. Attar.
  
  Towards a safe and secure synchronous language, Université Nice Sophia Antipolis, December 2013.
  
  http://hal.inria.fr/tel-00920152

Articles in International Peer-Reviewed Journals

• 9G. Barthe, D. Pichardie, T. Rezk.
  
  A certified lightweight non-interference Java bytecode verifier, in: Mathematical Structures in Computer Science, June 2013, vol. 23, n^o 5, pp. 1032-1081. [ DOI : 10.1017/S0960129512000850 ]
  
  http://hal.inria.fr/hal-00915189

Invited Conferences

• 10G. Berry, M. Serrano.
  
  Hop and HipHop : Multitier Web Orchestration, in: International Conference on Distributed Computing and Internet Technology, Bhubaneswar, India, February 2014.
  
  http://hal.inria.fr/hal-00911782

International Conferences with Proceedings

• 11P. Attar, I. Castellani.
  
  Fine-grained and coarse-grained reactive noninterference, in: Trustworthy Global Computing 2013, Buenos Aires, Argentina, December 2013, To appear in LNCS, Springer.
  
  http://hal.inria.fr/hal-00915241
• 12M. Serrano, G. Johan.
  
  Locking Fast, in: Symposium on Applied Computing, Gyeongju, Korea, Republic Of, ACM, March 2014.
  
  http://hal.inria.fr/hal-00912569

National Conferences with Proceedings

• 13J. A. Dit Sandretto, C. Nicolas.
  
  Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science, in: CAR - 8th National Conference on "Control Architecure of Robots", Angers, France, May 2013.
  
  http://hal.inria.fr/hal-00862752

Other Publications

• 14B. Serpette, P. Manoury, E. Chailloux.
  
  Unification des couleurs dans un lambda-calcul polychrome, December 2013.
  
  http://hal.inria.fr/hal-00918944