Ramarathnam Venkatesan
Artificial Intelligence · 2000–2011
A researcher in the Science corpus: 2 papers; trusts 3 researchers and is trusted by 5 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 6 citations into it; #20,794 of 35,345 by trust here, #17,110 by citations
- Software — 5 citations into it; #602 of 1,227 by trust here, #512 by citations
Whom Ramarathnam Venkatesan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Ramarathnam Venkatesan overall
Papers from Ramarathnam Venkatesan's perspective
Ordered by how strongly the researchers Ramarathnam Venkatesan trusts endorse each paper. Same corpus, a different order for every researcher.
- Programming by sketching for bit-streaming programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Handbook of Applied Cryptography
- Combinatorial sketching for finite programs
- Oracle-guided component-based program synthesis
- The Art of Computer Programming
- Denali: a goal-directed superoptimizer
- Jungloid mining: helping to navigate the API jungle (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Spreadsheet table transformations from examples
- Dimensions in program synthesis
- Practical cryptography
Their papers
- Synthesis of loop-free programs (2011) — 367 citations
- Robust image hashing (2000) — 586 citations