EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1J. 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.
  • 2B. 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.
  • 3A. 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
  • 4P. 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.
  • 5J. 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.
  • 6L. 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.
  • 7A. Miné.

    The Octagon Abstract Domain, in: Higher-Order and Symbolic Computation, 2006, vol. 19, pp. 31–100.
  • 8X. 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

Articles in International Peer-Reviewed Journals

  • 11Y. 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
  • 12W. 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

  • 13C. 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

  • 14P. 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
  • 15M. 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)

Other Publications

References in notes
  • 20A. 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
  • 21P. 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
  • 22P. 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.
  • 23Y. 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
  • 24G. 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
  • 25P. 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
  • 26A. 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


previous Previous | up Home