Aseem Rastogi

1.7k total citations
18 papers, 451 citations indexed

About

Aseem Rastogi is a scholar working on Artificial Intelligence, Information Systems and Computer Networks and Communications. According to data from OpenAlex, Aseem Rastogi has authored 18 papers receiving a total of 451 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Artificial Intelligence, 6 papers in Information Systems and 5 papers in Computer Networks and Communications. Recurrent topics in Aseem Rastogi's work include Security and Verification in Computing (12 papers), Logic, programming, and type systems (9 papers) and Advanced Malware Detection Techniques (5 papers). Aseem Rastogi is often cited by papers focused on Security and Verification in Computing (12 papers), Logic, programming, and type systems (9 papers) and Advanced Malware Detection Techniques (5 papers). Aseem Rastogi collaborates with scholars based in United States, India and France. Aseem Rastogi's co-authors include Rahul Sharma, Nishanth Chandran, Divya Gupta, Mayank Rathee, Matthew A. Hammer, Michael Hicks, Nishant Kumar, Deevashwer Rathee, Nikhil Swamy and Avik Chaudhuri and has published in prestigious journals such as ACM SIGPLAN Notices, Proceedings of the ACM on Programming Languages and arXiv (Cornell University).

In The Last Decade

Aseem Rastogi

17 papers receiving 430 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Aseem Rastogi United States	9	404	118	72	62	46	18	451
Erik Meijer United States	6	148 0.4×	84 0.7×	103 1.4×	50 0.8×	22 0.5×	8	242
Dafna Sheinwald Israel	9	201 0.5×	99 0.8×	123 1.7×	37 0.6×	47 1.0×	21	326
Susan Eisenbach United Kingdom	10	241 0.6×	142 1.2×	108 1.5×	74 1.2×	27 0.6×	54	336
Erik Stenman Sweden	4	196 0.5×	108 0.9×	110 1.5×	53 0.9×	19 0.4×	6	318
Stephan Tobies Germany	8	287 0.7×	93 0.8×	111 1.5×	106 1.7×	29 0.6×	16	361
Vincent Cremet	4	206 0.5×	112 0.9×	109 1.5×	58 0.9×	18 0.4×	5	323
Burak Emir Switzerland	4	195 0.5×	108 0.9×	105 1.5×	53 0.9×	17 0.4×	4	310
Shachar Itzhaky United States	10	140 0.3×	79 0.7×	154 2.1×	67 1.1×	22 0.5×	26	316
Ravi Chugh United States	9	246 0.6×	207 1.8×	78 1.1×	52 0.8×	148 3.2×	21	382
Jieke Shi Singapore	12	209 0.5×	157 1.3×	65 0.9×	13 0.2×	69 1.5×	28	343

Countries citing papers authored by Aseem Rastogi

Since Specialization

Citations

This map shows the geographic impact of Aseem Rastogi'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 Aseem Rastogi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Aseem Rastogi more than expected).

Fields of papers citing papers by Aseem Rastogi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Aseem Rastogi. 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 Aseem Rastogi. The network helps show where Aseem Rastogi may publish in the future.

Co-authorship network of co-authors of Aseem Rastogi

This figure shows the co-authorship network connecting the top 25 collaborators of Aseem Rastogi. A scholar is included among the top collaborators of Aseem Rastogi 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 Aseem Rastogi. Aseem Rastogi 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:

18 of 18 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

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

Rastogi, Aseem, et al.. (2021). Celestial: A Smart Contracts Verification Framework. reposiTUm (TU Wien). 7 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

Rathee, Deevashwer, Mayank Rathee, Nishant Kumar, et al.. (2020). CrypTFlow2: Practical 2-Party Secure Inference. arXiv (Cornell University). 325–342. 163 indexed citations

Swamy, Nikhil, et al.. (2020). SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proceedings of the ACM on Programming Languages. 4(ICFP). 1–30. 18 indexed citations

Lal, Akash, et al.. (2019). Reliable State Machines: A Framework for Programming Reliable Cloud Services. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 29. 1 indexed citations

10.

Garg, Deepak, et al.. (2019). ConfLLVM. 1–15. 7 indexed citations

11.

Hawblitzel, Chris, et al.. (2019). A verified, efficient embedding of a verifiable assembly language. Proceedings of the ACM on Programming Languages. 3(POPL). 1–30. 12 indexed citations

12.

Chandran, Nishanth, et al.. (2019). EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning. 496–511. 58 indexed citations

13.

Fournet, Cédric, Cătălin Hriţcu, Matteo Maffei, et al.. (2017). A Monadic Framework for Relational Verification (Functional Pearl).. arXiv (Cornell University). 1 indexed citations

14.

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

15.

Rastogi, Aseem, et al.. (2015). Safe & Efficient Gradual Typing for TypeScript. ACM SIGPLAN Notices. 50(1). 167–180. 7 indexed citations

16.

Rastogi, Aseem, Matthew A. Hammer, & Michael Hicks. (2014). Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. 655–670. 70 indexed citations

17.

Swamy, Nikhil, Cédric Fournet, Aseem Rastogi, et al.. (2014). Gradual typing embedded securely in JavaScript. ACM SIGPLAN Notices. 49(1). 425–437. 4 indexed citations

18.

Rastogi, Aseem, et al.. (2012). The ins and outs of gradual type inference. ACM SIGPLAN Notices. 47(1). 481–494. 30 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