( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications.

, , , и . MICRO, стр. 788-801. IEEE Computer Society, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Aarti Singh

Renee Gupta

Jan Chandra Gupta

Ajay Kumar Gupta

Ashutosh Kumar Gupta

 

Другие публикации лиц с тем же именем

A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale., , и . FJCC, стр. 325-334. IEEE Computer Society, (1986)Interprocedural Exception Analysis for C++., , , , и . ECOOP, том 6813 из Lecture Notes in Computer Science, стр. 583-608. Springer, (2011)Reasoning About Threads Communicating via Locks., , и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 505-518. Springer, (2005)Localization and Register Sharing for Predicate Abstraction., , , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 397-412. Springer, (2005)Model Checking Concurrent Programs.. VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 2. Springer, (2009)Efficient Modeling of Embedded Memories in Bounded Model Checking., , и . CAV, том 3114 из Lecture Notes in Computer Science, стр. 440-452. Springer, (2004)Program Analysis Using Symbolic Ranges, , и . SAS, том 4634 из LNCS, стр. 366-383. (2007)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , и . CAV'06, стр. 137-151. (2006)From Hardware Verification to Software Verification: Re-use and Re-learn.. Haifa Verification Conference, том 4899 из Lecture Notes in Computer Science, стр. 14-15. Springer, (2007)Introduction to special section on verification challenges in the concurrent world., , , , и . ACM Trans. Design Autom. Electr. Syst., 17 (3): 19:1-19:3 (2012)