Concepedia

Ashish Tiwari

AT

73

Publications

4.7K

Citations

37

H-Index

1995

Active since

Affiliations

SRI International(Current)

Microsoft (United States)

University of California, Berkeley

University of Iowa

Ashish Tiwari is an author at SRI International specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringProgram AnalysisComputer EngineeringSoftware AnalysisMachine Learning

Publications per year

1995–2024

73

Publications

73

Oracle-guided component-based program synthesis

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia et al. · 2010 · 471 citations

Program Checking, Engineering, Oracle-guided Learning +19

A greedy genetic algorithm for the quadratic assignment problem

Ravindra K. Ahuja, James B. Orlin, Ashish Tiwari · Computers & Operations Research · 2000 · 368 citations · Full text

Mathematical Programming, Engineering, Combinatorial Problem +7

Does Stock Return Momentum Explain the “Smart Money” Effect?

Travis Sapp, Ashish Tiwari · The Journal of Finance · 2004 · 314 citations

Economics, Financial Economics, Stock Prices +15

Synthesis of loop-free programs

Sumit Gulwani, Susmit Jha, Ashish Tiwari et al. · ACM SIGPLAN Notices · 2011 · 241 citations

Library Components, Engineering, Compiler Technology +20

Quote setting and price formation in an order driven market

Puneet Handa, Robert A. Schwartz, Ashish Tiwari · Journal of Financial Markets · 2002 · 214 citations

Economics, Financial Economics, Dynamic Pricing +9

Rows per page

1–5 of 73