Tahina Ramananandro

878 total citations
22 papers, 389 citations indexed

About

Tahina Ramananandro is a scholar working on Artificial Intelligence, Hardware and Architecture and Computer Networks and Communications. According to data from OpenAlex, Tahina Ramananandro has authored 22 papers receiving a total of 389 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Artificial Intelligence, 9 papers in Hardware and Architecture and 7 papers in Computer Networks and Communications. Recurrent topics in Tahina Ramananandro's work include Security and Verification in Computing (16 papers), Logic, programming, and type systems (10 papers) and Parallel Computing and Optimization Techniques (9 papers). Tahina Ramananandro is often cited by papers focused on Security and Verification in Computing (16 papers), Logic, programming, and type systems (10 papers) and Parallel Computing and Optimization Techniques (9 papers). Tahina Ramananandro collaborates with scholars based in United States, France and India. Tahina Ramananandro's co-authors include Zhong Shao, Jérémie Koenig, Ronghui Gu, Xiongnan Wu, Shu-Chun Weng, Yu Guo, Jan Hoffmann, Nikhil Swamy, Jonathan Protzenko and Cédric Fournet and has published in prestigious journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages and Formal Aspects of Computing.

In The Last Decade

Tahina Ramananandro

22 papers receiving 379 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Tahina Ramananandro United States	12	335	167	114	107	75	22	389
Joseph Tassarotti United States	10	253 0.8×	149 0.9×	86 0.8×	80 0.7×	58 0.8×	24	308
Xiongnan Wu United States	7	284 0.8×	165 1.0×	80 0.7×	116 1.1×	80 1.1×	9	329
Lennart Beringer United States	12	384 1.1×	124 0.7×	197 1.7×	105 1.0×	62 0.8×	28	422
Ian Stark United Kingdom	12	414 1.2×	98 0.6×	213 1.9×	84 0.8×	36 0.5×	37	485
David Costanzo United States	8	214 0.6×	118 0.7×	59 0.5×	92 0.9×	68 0.9×	8	252
Sandrine Blazy France	7	253 0.8×	69 0.4×	131 1.1×	89 0.8×	56 0.7×	23	306
Jeehoon Kang South Korea	13	269 0.8×	251 1.5×	93 0.8×	268 2.5×	31 0.4×	33	442
Tej Chajed United States	9	191 0.6×	237 1.4×	43 0.4×	97 0.9×	43 0.6×	19	329
Gregory Malecha United States	10	236 0.7×	84 0.5×	128 1.1×	68 0.6×	45 0.6×	23	294
Leonid Ryzhyk Australia	12	215 0.6×	227 1.4×	64 0.6×	155 1.4×	90 1.2×	36	422

Countries citing papers authored by Tahina Ramananandro

Since Specialization

Citations

This map shows the geographic impact of Tahina Ramananandro's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Tahina Ramananandro with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Tahina Ramananandro more than expected).

Fields of papers citing papers by Tahina Ramananandro

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Tahina Ramananandro. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Tahina Ramananandro. The network helps show where Tahina Ramananandro may publish in the future.

Co-authorship network of co-authors of Tahina Ramananandro

This figure shows the co-authorship network connecting the top 25 collaborators of Tahina Ramananandro. A scholar is included among the top collaborators of Tahina Ramananandro based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Tahina Ramananandro. Tahina Ramananandro is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Rastogi, Aseem, et al.. (2025). PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs. Proceedings of the ACM on Programming Languages. 9(PLDI). 1516–1539. 1 indexed citations

Delignat-Lavaud, Antoine, et al.. (2023). ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. 275–289. 1 indexed citations

Arasu, Arvind, Tahina Ramananandro, Aseem Rastogi, et al.. (2023). FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores. SPIRE - Sciences Po Institutional REpository. 30–46. 3 indexed citations

Swamy, Nikhil, Tahina Ramananandro, Aseem Rastogi, et al.. (2022). Hardening attack surfaces with formally proven binary format parsers. 31–45. 12 indexed citations

Arasu, Arvind, Badrish Chandramouli, Johannes Gehrke, et al.. (2021). FastVer: Making Data Integrity a Commodity. 89–101. 8 indexed citations

Delignat-Lavaud, Antoine, et al.. (2021). A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. 1162–1178. 15 indexed citations

Rastogi, Aseem, et al.. (2021). Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proceedings of the ACM on Programming Languages. 5(ICFP). 1–30. 11 indexed citations

Ramananandro, Tahina, Antoine Delignat-Lavaud, Cédric Fournet, et al.. (2019). EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats. 1465–1482. 13 indexed citations

Gu, Ronghui, Zhong Shao, Jieung Kim, et al.. (2018). Certified concurrent abstraction layers. 646–661. 48 indexed citations

10.

Gu, Ronghui, Zhong Shao, Jieung Kim, et al.. (2018). Certified concurrent abstraction layers. ACM SIGPLAN Notices. 53(4). 646–661. 9 indexed citations

11.

Protzenko, Jonathan, Aseem Rastogi, Tahina Ramananandro, et al.. (2017). Verified low-level programming embedded in F*. Proceedings of the ACM on Programming Languages. 1(ICFP). 1–29. 38 indexed citations

12.

Baskaran, Muthu Manikandan, et al.. (2016). Accelerated low-rank updates to tensor decompositions. 37. 1–7. 6 indexed citations

13.

Ramananandro, Tahina, et al.. (2016). A unified Coq framework for verifying C programs with floating-point computations. 15–26. 12 indexed citations

14.

Ramananandro, Tahina, et al.. (2015). A Compositional Semantics for Verified Separate Compilation and Linking. 3–14. 12 indexed citations

15.

Hoffmann, Jan, et al.. (2014). End-to-end verification of stack-space bounds for C programs. 270–281. 32 indexed citations

16.

Gu, Ronghui, Jérémie Koenig, Tahina Ramananandro, et al.. (2014). Deep Specifications and Certified Abstraction Layers. 595–608. 105 indexed citations

17.

Hoffmann, Jan, et al.. (2014). End-to-end verification of stack-space bounds for C programs. ACM SIGPLAN Notices. 49(6). 270–281. 14 indexed citations

18.

Ramananandro, Tahina, Gabriel Dos Reis, & Xavier Leroy. (2012). A mechanized semantics for C++ object construction and destruction, with applications to resource management. ACM SIGPLAN Notices. 47(1). 521–532. 7 indexed citations

19.

Ramananandro, Tahina, Gabriel Dos Reis, & Xavier Leroy. (2011). Formal verification of object layout for c++ multiple inheritance. ACM SIGPLAN Notices. 46(1). 67–80. 7 indexed citations

20.

Ramananandro, Tahina. (2007). Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method. Formal Aspects of Computing. 20(1). 21–39. 19 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact