Panagiotis Vekris

Artificial Intelligence · 2015–2017

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

Subfields

• Artificial Intelligence — 29 citations into it; #18,760 of 35,345 by trust here, #27,551 by citations
• Information Systems — 21 citations into it
• Program Analysis & Verification — 19 citations into it; #141 of 301 by trust here, #248 by citations
• Software — 17 citations into it
• Software Engineering — 11 citations into it; #39 of 113 by trust here, #76 by citations
• Computational Theory and Mathematics — 9 citations into it; #6,386 of 12,182 by trust here, #9,306 by citations
• Hardware and Architecture — 8 citations into it

Whom Panagiotis Vekris trusts overall

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

1. Patrick Maxim Rondon
2. Greg Nelson
3. Ravi Chugh
4. Asger Feldthaus
5. Benjamin S. Lerner
6. Michael Furr
7. Ranjit Jhala
8. Arjun Guha
9. Anders Møller
10. David Herman

Who trusts Panagiotis Vekris overall

1. Ming-Ho Yee
2. Erik Krogh Kristensen
3. Arjun Guha
4. Anders Møller
5. Benjamin Cosman

Papers from Panagiotis Vekris's perspective

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

1. Towards Type Inference for JavaScript
2. Static type inference for Ruby
3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Dependent types for JavaScript
5. Towards a program logic for JavaScript
6. Understanding TypeScript
7. Trust, but Verify: Two-Phase Typing for Dynamic Languages
8. Refinement types for Haskell (ACM SIGPLAN International Conference on Functional Programming)
9. Type inference for static compilation of JavaScript
10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Trust, but Verify: Two-Phase Typing for Dynamic Languages (2015) — 8 citations
• Refinement types for TypeScript (2016) — 59 citations
• Fast and precise type checking for JavaScript (2017) — 58 citations