دنبال کردن
Ashish Tiwari
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
ایمیل تأیید شده در csl.sri.com - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Oracle-guided component-based program synthesis‏
S Jha, S Gulwani, SA Seshia, A Tiwari‏
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010‏
6682010
A greedy genetic algorithm for the quadratic assignment problem‏
RK Ahuja, JB Orlin, A Tiwari‏
Computers & Operations Research 27 (10), 917-934, 2000‏
5502000
Synthesis of loop-free programs‏
S Gulwani, S Jha, A Tiwari, R Venkatesan‏
ACM SIGPLAN Notices 46 (6), 62-73, 2011‏
4632011
Output range analysis for deep feedforward neural networks‏
S Dutta, S Jha, S Sankaranarayanan, A Tiwari‏
NASA Formal Methods Symposium, 121-138, 2018‏
4032018
SAL 2‏
L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari‏
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004‏
3762004
Series of abstractions for hybrid automata‏
A Tiwari, G Khanna‏
International Workshop on Hybrid Systems: Computation and Control, 465-478, 2002‏
2622002
An overview of SAL‏
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...‏
NASA CONFERENCE PUBLICATION, 187-195, 2000‏
2422000
Termination of linear programs‏
A Tiwari‏
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004‏
2372004
Synchromesh: Reliable code generation from pre-trained language models‏
G Poesia, O Polozov, V Le, A Tiwari, G Soares, C Meek, S Gulwani‏
arXiv preprint arXiv:2201.11227, 2022‏
2292022
Lifting abstract interpreters to quantified logical domains‏
S Gulwani, B McCloskey, A Tiwari‏
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008‏
2072008
Constraint-based approach for analysis of hybrid systems‏
S Gulwani, A Tiwari‏
International Conference on Computer Aided Verification, 190-203, 2008‏
1772008
Synthesizing geometry constructions‏
S Gulwani, VA Korthikanti, A Tiwari‏
ACM SIGPLAN Notices 46 (6), 50-61, 2011‏
1762011
Reverse engineering digital circuits using structural and functional analyses‏
P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ...‏
IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013‏
1752013
Curcumin encapsulated zeolitic imidazolate frameworks as stimuli responsive drug delivery system and their interaction with biomimetic environment‏
A Tiwari, A Singh, N Garg, JK Randhawa‏
Scientific reports 7 (1), 12598, 2017‏
1632017
Abstractions for hybrid systems‏
A Tiwari‏
Formal Methods in System Design 32, 57-83, 2008‏
1532008
Wordrev: Finding word-level structures in a sea of bit-level gates‏
W Li, A Gascon, P Subramanyan, WY Tan, A Tiwari, S Malik, N Shankar, ...‏
2013 IEEE international symposium on hardware-oriented security and trust …, 2013‏
1292013
Box invariance in biologically-inspired dynamical systems‏
A Abate, A Tiwari, S Sastry‏
Automatica 45 (7), 1601-1610, 2009‏
1292009
Symbolic systems biology: Hybrid modeling and analysis of biological networks‏
P Lincoln, A Tiwari‏
International Workshop on Hybrid Systems: Computation and Control, 660-672, 2004‏
1252004
A technique for invariant generation‏
A Tiwari, H Rueß, H Saïdi, N Shankar‏
International Conference on Tools and Algorithms for the Construction and …, 2001‏
1252001
Output range analysis for deep neural networks‏
S Dutta, S Jha, S Sanakaranarayanan, A Tiwari‏
arXiv preprint arXiv:1709.09130, 2017‏
1212017
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20