Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival.
Static Analysis and Verification of Aerospace Software by Abstract Interpretation, in: Proceedings of the American Institute of Aeronautics and Astronautics (AIAA Infotech@Aerospace 2010), Atlanta, Georgia, USA, American Institute of Aeronautics and Astronautics, 2010.
[2]
B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, X. Rival.
A Static Analyzer for Large Safety-Critical Software, in: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), ACM Press, June 7–14 2003, pp. 196–207.
[3]
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu.
On inter-procedural analysis of programs with lists and data, in: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, 2011, pp. 578–589.
http://doi.acm.org/10.1145/1993498.1993566
[4]
P. Cousot.
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation, in: Theoretical Computer Science, 2002, vol. 277, no 1–2, pp. 47–103.
[5]
J. Feret, V. Danos, J. Krivine, R. Harmer, W. Fontana.
Internal coarse-graining of molecular systems, in: Proceeding of the national academy of sciences, Apr 2009, vol. 106, no 16.
[6]
L. Mauborgne, X. Rival.
Trace Partitioning in Abstract Interpretation Based Static Analyzers, in: Proceedings of the 14th European Symposium on Programming (ESOP'05), M. Sagiv (editor), Lecture Notes in Computer Science, Springer-Verlag, 2005, vol. 3444, pp. 5–20.
[7]
A. Miné.
The Octagon Abstract Domain, in: Higher-Order and Symbolic Computation, 2006, vol. 19, pp. 31–100.
[8]
X. Rival.
Symbolic Transfer Functions-based Approaches to Certified Compilation, in: Conference Record of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, United States, 2004, pp. 1–13.
Publications of the year

Doctoral Dissertations and Habilitation Theses

[9]
A. Beica.
Abstractions of Biochemical Reaction Networks, PSL University, June 2019.
https://hal.inria.fr/tel-02411487
[10]
H. Illous.
Abstract Heap Relations for a Compositional Shape Analysis, Ecole Normale Supérieure, April 2019.
https://hal.inria.fr/tel-02399767

Articles in International Peer-Reviewed Journals

[11]
Y. Ko, X. Rival, S. Ryu.
Weakly Sensitive Analysis for JavaScript Object-Manipulating Programs, in: International Journal on Software - Practice and Experience, January 2019. [ DOI : 10.1002/spe ]
https://hal.archives-ouvertes.fr/hal-02399944
[12]
W. Lee, H. Yu, X. Rival, H. Yang.
Towards Verified Stochastic Variational Inference for Probabilistic Programs, in: Proc. ACM Program. Lang, 2020, vol. 16, forthcoming. [ DOI : 10.1145/3371084 ]
https://hal.archives-ouvertes.fr/hal-02399922

Invited Conferences

[13]
C. Urban.
Static Analysis of Data Science Software, in: SAS 2019 - 26th Static Analysis Symposium, Porto, Portugal, B.-Y. E. Chang (editor), Springer, October 2019, pp. 17-23. [ DOI : 10.1007/978-3-030-32304-2_2 ]
https://hal.inria.fr/hal-02397699

International Conferences with Proceedings

[14]
P. Boutillier, I. Cristescu, J. Feret.
Counters in Kappa: Semantics, Simulation, and Static Analysis, in: ESOP 2019 - 28th European Symposium on Programming, Prague, Czech Republic, Springer, April 2019, pp. 176-204. [ DOI : 10.1007/978-3-030-17184-1_7 ]
https://hal.inria.fr/hal-02397876
[15]
M. Chevalier, J. Feret.
Sharing Ghost Variables in a Collection of Abstract Domains, in: VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, LA, United States, Proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020), January 2020.
https://hal.inria.fr/hal-02378809

Scientific Books (or Scientific Book chapters)

[16]
X. Rival, K. Yi.
Introduction to Static Analysis, MIT Press, February 2020.
https://hal.archives-ouvertes.fr/hal-02402597

Other Publications

[17]
A. Damian, C. Dragoi, A. Militaru, J. Widder.
Communication-closed asynchronous protocols, January 2019, working paper or preprint.
https://hal.inria.fr/hal-01991415
[18]
C. Dragoi, J. Widder, D. Zufferey.
Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols, October 2019, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-02317446
[19]
C. Urban, M. Christakis, V. Wüstholz, F. Zhang.
Perfectly Parallel Fairness Certification of Neural Networks, December 2019, working paper or preprint.
https://hal.inria.fr/hal-02404036
References in notes
[20]
A. Beica, V. Danos.
Synchronous Balanced Analysis, in: Proceedings of the International Workshop on Hybrid Systems Biology, Springer-Verlag, Berlin, Germany, September 2016, pp. 85-94.
https://hal.archives-ouvertes.fr/hal-01974696
[21]
P. Cousot.
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, in: Electr. Notes Theor. Comput. Sci., 1997, vol. 6, pp. 77–102.
http://dx.doi.org/10.1016/S1571-0661(05)80168-9
[22]
P. Cousot, R. Cousot.
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, United States, 1977, pp. 238–252.
[23]
Y. Ko, X. Rival, S. Ryu.
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects, in: APLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Suzhou, China, LNCS, Springer, November 2017, vol. 10695, pp. 148-168. [ DOI : 10.1007/978-3-319-71237-6_8 ]
https://hal.inria.fr/hal-01648680
[24]
G. Terradot, A. Beica, A. Y. Weiße, V. Danos.
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage, in: Electronic Notes in Theoretical Computer Science, April 2018, vol. 335, pp. 91-112. [ DOI : 10.1016/j.entcs.2018.03.010 ]
https://hal.archives-ouvertes.fr/hal-01976385
[25]
P. Thomas, G. Terradot, V. Danos, A. Y. Weiße.
Sources, propagation and consequences of stochasticity in cellular growth, in: Nature Communications, December 2018, vol. 9, no 1. [ DOI : 10.1038/s41467-018-06912-9 ]
https://hal.archives-ouvertes.fr/hal-01976406
[26]
A. Y. Weiße, D. A. Oyarzun, V. Danos, P. S. Swain.
Mechanistic links between cellular trade-offs, gene expression, and growth, in: Proceedings of the National Academy of Sciences of the United States of America , March 2015, vol. 112, no 9, pp. E1038-E1047. [ DOI : 10.1073/pnas.1416533112 ]
https://hal.archives-ouvertes.fr/hal-01976394