Sorin Lerner

Artificial Intelligence · 2002–2010

A researcher in the Science corpus: 4 papers; trusts 18 researchers and is trusted by 18 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 22 citations into it; #8,283 of 35,345 by trust here, #12,580 by citations
• Hardware and Architecture — 14 citations into it
• Software — 13 citations into it; #976 of 1,227 by trust here, #870 by citations
• Information Systems — 12 citations into it
• Computational Theory and Mathematics — 6 citations into it; #2,067 of 12,182 by trust here, #2,565 by citations
• Computer Networks and Communications — 6 citations into it
• Signal Processing — 6 citations into it

Whom Sorin Lerner trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Greg Nelson
2. Cormac Flanagan
3. Dawson R. Engler
4. Manuvir Das
5. Thomas Ball
6. R. Deline
7. Tachio Terauchi
8. Jeffrey S. Foster
9. Glenn Ammons
10. George C. Necula

Who trusts Sorin Lerner overall

1. Dawson R. Engler
2. Patrice Godefroid
3. Ranjit Jhala
4. Shaz Qadeer
5. Zhendong Su
6. Gogul Balakrishnan
7. David Hovemeyer
8. Mark Gabel
9. Raymond P. L. Buse
10. Ghassan Misherghi

Papers from Sorin Lerner's perspective

Ordered by how strongly the researchers Sorin Lerner trusts endorse each paper. Same corpus, a different order for every researcher.

1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
5. Houdini, an Annotation Assistant for ESC/Java (FME)
6. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
7. Bugs as deviant behavior: a general approach to inferring errors in systems code
8. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Automatically validating temporal safety properties of interfaces (SPIN)

Their papers

• Equality saturation: a new approach to optimization (2009) — 337 citations
• ESP: path-sensitive program verification in polynomial time (2002) — 610 citations
• An empirical study of privacy-violating information flows in JavaScript web applications (2010) — 209 citations
• RELAY: static race detection on millions of lines of code (2007) — 367 citations