Michael Y. Levin

3.0k total citations · 3 hit papers
18 papers, 1.9k citations indexed

About

Michael Y. Levin is a scholar working on Artificial Intelligence, Software and Computer Networks and Communications. According to data from OpenAlex, Michael Y. Levin has authored 18 papers receiving a total of 1.9k indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Artificial Intelligence, 8 papers in Software and 6 papers in Computer Networks and Communications. Recurrent topics in Michael Y. Levin's work include Software Reliability and Analysis Research (8 papers), Software Testing and Debugging Techniques (8 papers) and Logic, programming, and type systems (7 papers). Michael Y. Levin is often cited by papers focused on Software Reliability and Analysis Research (8 papers), Software Testing and Debugging Techniques (8 papers) and Logic, programming, and type systems (7 papers). Michael Y. Levin collaborates with scholars based in United States, United Kingdom and Israel. Michael Y. Levin's co-authors include Patrice Godefroid, Dávid Molnár, Adam Kieżun, Benjamin C. Pierce, Nikolai Tillmann, Wolfram Schulte, Peli de Halleux, Sriram K. Rajamani, Aditya V. Nori and Alan Schmitt and has published in prestigious journals such as Communications of the ACM, IEEE Software and ACM SIGPLAN Notices.

In The Last Decade

Michael Y. Levin

17 papers receiving 1.8k citations

Hit Papers

align trajectories

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

Automated Whitebox Fuzz Testing.

2008 679 citations Patrice Godefroid, Michael Y. Levin et al. Network and Distributed System Security Symposium profile →
SAGE

2012 330 citations Patrice Godefroid, Michael Y. Levin et al. Communications of the ACM profile →
Grammar-based whitebox fuzzing

2008 300 citations Patrice Godefroid, Adam Kieżun et al. profile →

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Michael Y. Levin United States	12	1.5k	819	807	552	297	18	1.9k
Carlos Pacheco United States	8	1.6k 1.1×	1.3k 1.5×	305 0.4×	449 0.8×	411 1.4×	9	2.0k
Jeff Perkins United States	14	1.1k 0.7×	1.0k 1.3×	576 0.7×	705 1.3×	540 1.8×	22	1.8k
Nils Klarlund United States	13	2.5k 1.7×	1.4k 1.7×	614 0.8×	806 1.5×	462 1.6×	50	3.1k
Vu Le United States	16	922 0.6×	760 0.9×	256 0.3×	426 0.8×	259 0.9×	43	1.4k
Seth Hallem United States	12	1.3k 0.9×	1.3k 1.6×	603 0.7×	1.0k 1.8×	937 3.2×	14	2.5k
Saswat Anand United States	11	1.0k 0.7×	731 0.9×	714 0.9×	221 0.4×	447 1.5×	19	1.3k
Stephen McCamant United States	21	1.1k 0.8×	1.2k 1.5×	1.3k 1.6×	1.5k 2.7×	792 2.7×	60	2.6k
Benjamin Chelf United States	12	1.0k 0.7×	1.0k 1.2×	489 0.6×	894 1.6×	833 2.8×	14	2.0k
Aditya V. Nori United States	20	901 0.6×	642 0.8×	271 0.3×	585 1.1×	280 0.9×	45	1.4k
John Penix United States	15	926 0.6×	888 1.1×	194 0.2×	385 0.7×	292 1.0×	46	1.4k

Countries citing papers authored by Michael Y. Levin

Since Specialization

Citations

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

Fields of papers citing papers by Michael Y. Levin

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michael Y. Levin

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

1.

Talwar, Vanish, Michael Y. Levin, Gabriela Jacques-Silva, et al.. (2020). Turbine: Facebook’s Service Management Platform for Stream Processing. 20 indexed citations

2.

Godefroid, Patrice, Michael Y. Levin, & Dávid Molnár. (2012). SAGE: Whitebox Fuzzing for Security Testing. Queue. 10(1). 20–27. 201 indexed citations

3.

Godefroid, Patrice, Michael Y. Levin, & Dávid Molnár. (2012). SAGE. Communications of the ACM. 55(3). 40–44. 330 indexed citations breakdown →

4.

Godefroid, Patrice, et al.. (2009). Precise pointer reasoning for dynamic test generation. 129–140. 48 indexed citations

5.

Godefroid, Patrice, et al.. (2008). Automated Whitebox Fuzz Testing.. Network and Distributed System Security Symposium. 679 indexed citations breakdown →

6.

Godefroid, Patrice, Adam Kieżun, & Michael Y. Levin. (2008). Grammar-based whitebox fuzzing. ACM SIGPLAN Notices. 43(6). 206–215. 82 indexed citations

7.

Godefroid, Patrice, et al.. (2008). Active property checking. 207–216. 45 indexed citations

8.

Godefroid, Patrice, Peli de Halleux, Aditya V. Nori, et al.. (2008). Automating Software Testing Using Program Analysis. IEEE Software. 25(5). 30–37. 74 indexed citations

9.

Godefroid, Patrice, Adam Kieżun, & Michael Y. Levin. (2008). Grammar-based whitebox fuzzing. 206–215. 300 indexed citations breakdown →

10.

Pierce, Benjamin C. & Michael Y. Levin. (2005). Run, xtatic, run: efficient implementation of an object-oriented language with regular pattern matching. 2 indexed citations

11.

Levin, Michael Y., et al.. (2004). The XTATIC Experience. ScholarlyCommons (University of Pennsylvania). 10 indexed citations

12.

Levin, Michael Y. & Benjamin C. Pierce. (2003). TinkerType: a language for playing with formal systems. Journal of Functional Programming. 13(2). 295–316. 25 indexed citations

13.

Levin, Michael Y.. (2003). Compiling regular patterns. 65–77. 9 indexed citations

14.

Levin, Michael Y.. (2003). Compiling regular patterns. ACM SIGPLAN Notices. 38(9). 65–77. 1 indexed citations

15.

Levin, Michael Y., et al.. (2002). Recursive subtyping revealed. Journal of Functional Programming. 12(6). 511–548. 48 indexed citations

16.

Levin, Michael Y., et al.. (2000). Recursive subtyping revealed. ACM SIGPLAN Notices. 35(9). 221–231. 1 indexed citations

17.

Levin, Michael Y., et al.. (2000). Recursive subtyping revealed. 221–231. 16 indexed citations

18.

Levin, Michael Y.. (1974). MATHEMATICAL LOGIC FOR COMPUTER SCIENTISTS. DSpace@MIT (Massachusetts Institute of Technology). 10 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