Team mimosa

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]
R. Amadio, P.-L. Curien.
Domains and Lambda-Calculi, Cambridge University Press, 1998.
[2]
G. Berry, G. Boudol.
The chemical abstract machine, in: Theoretical Computer Science, 1992, vol. 96.
[3]
G. Boudol.
The $ \pi$ -calculus in direct style, in: Higher-Order and Symbolic Computation, 1998, vol. 11.
[4]
F. Boussinot.
Objets réactifs en Java, Collection Scientifique et Technique des Telecommunications, PPUR, 2000.
[5]
F. Boussinot.
La programmation réactive, Masson, 1996.
[6]
F. Boussinot, J.-F. Susini.
Java threads and SugarCubes, in: Software Practice & Experience, 2000, vol. 30.
[7]
I. Castellani.
Process Algebras with Localities, in: Handbook of Process Algebra, Amsterdam, J. Bergstra, A. Ponse, S. Smolka (editors), North-Holland, 2001, p. 945-1045.
[8]
D. Sangiorgi, D. Walker.
The $ \pi$ -Calculus: a Theory of Mobile Processes, Cambridge University Press, 2001.
[9]
M. Serrano.
Bee: an Integrated Development Environment for the Scheme Programming Language, in: Journal of Functional Programming, May 2000, vol. 10, no 2, p. 1–43.

Publications of the year

Articles in refereed journals and book chapters

[10]
R. Amadio.
Synthesis of max-plus quasi-interpretations, in: Fundamenta Informaticae, 2005, vol. 65, p. 29-60.
[11]
G. Boudol, P. Zimmer.
On type inference in the intersection type discipline, in: Electronic Notes in Theoretical Computer Science, 2005, vol. 136, p. 23-42
http://www.inria.fr/mimosa/Gerard.Boudol/otiititd.html.
[12]
F. Boussinot.
FairThreads: mixing cooperative and preemptive threads in C, in: Concurrency and Computation: Practice Experience, September 2005.
[13]
E. Gallesio, M. Serrano.
Skribe: a Functional Authoring Language, in: Journal of Functional Programming, 2005
http://www.inria.fr/mimosa/Manuel.Serrano/publi/jfp05/article.html.

Publications in Conferences and Workshops

[14]
L. Acciai, M. Boreale, S. Dal Zilio.
A Typed Calculus for Querying Distributed XML Documents, in: NWPT 2005 – 17th Nordic Workshop on Programming Theory, Oct 2005.
[15]
A. Almeida Matos.
Non-disclosure for distributed mobile code, in: FST-TCS'05, Lecture Notes in Computer Science, 2005.
[16]
A. Almeida Matos, G. Boudol.
On declassification and the non-disclosure policy, in: Computer Security Foundation Workshop, 2005, p. 226-240
http://www.inria.fr/mimosa/Gerard.Boudol/non-discl.html.
[17]
R. Amadio, F. Dabrowsky.
Feasible Reactivity for Synchronous Cooperative Threads, in: 12th workshop Expressiveness in Concurrency, San Francisco, USA, Electronic Notes in Theoretical Computer Science, Aug 2005.
[18]
G. Boudol.
A generic membrane model, in: Second Global Computing Workshop, Lecture Notes in Computer Science, 2005, vol. 3267, p. 209-222
http://www.inria.fr/mimosa/Gerard.Boudol/gmm.html.
[19]
G. Boudol.
On typing information flow, in: International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science, 2005, vol. 3722, p. 366-380
http://www.inria.fr/mimosa/Gerard.Boudol/otif.html.
[20]
S. Dal Zilio, R. Gascon.
Resource Bound Certification for a Tail-Recursive Virtual Machine, in: APLAS 2005 – 3rd Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science, Springer-Verlag, Nov 2005, vol. 3780, p. 247–263.
[21]
E. Gallesio, M. Serrano.
Ubiquitous Mail, in: Proceedings of the Sixth Workshop on Scheme and Function Programming, Tallinn, Estonia, Sep 2005, p. 69–76
http://www.inria.fr/mimosa/Manuel.Serrano/publi/sfp05/article.html.
[22]
F. Loitsch.
Javascript Compilation, in: Proceedings of the Sixth Workshop on Scheme and Function Programming, Tallinn, Estonia, Sep 2005, p. 101-111.

Internal Reports

[23]
A. Almeida Matos, G. Boudol, I. Castellani.
Typing Noninterference for Reactive Programs, Submitted for publication., INRIA, 2005, no 5594
http://www.inria.fr/rrrt/rr-5594.html.
[24]
R. Amadio.
The SL synchronous language, revisited, Technical report, Laboratoire PPS, Université de Paris 7, 2005.
[25]
R. Amadio, G. Boudol, F. Boussinot, I. Castellani.
Reactive concurrent programming revisited, Technical report, BRICS Notes Series, 2005, no NS-05-3
http://www-sop.inria.fr/mimosa/personnel/Ilaria.Castellani/abbc-APC25-abstract.html.
[26]
F. Boussinot.
Cyclone+Loft, Technical report, September 2005.
[27]
S. Dal Zilio, R. Gascon.
Resource Bound Certification for a Tail-Recursive Virtual Machine, Technical report, LIF, Jun 2005, no 26.

Miscellaneous

[28]
D. Ciabrini.
Stack virtualization for source level debugging, 2005.
[29]
F. Dabrowsky, F. Boussinot.
Cooperative Threads and Preemptive Computations, submitted to ESOP'2006, 2005.

previous
next