Takip et
Ashish Tiwari
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
csl.sri.com üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20