Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Godbole, Adwait
52  Ergebnisse:
Personensuche X
?
1

Fairness and Liveness Under Weak Consistency:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Godbole, Adwait.. - p. 1-21 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Lifting Micro-Update Models from RTL for Formal Security An..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,
Godbole, Adwait ; Cheang, Kevin ; Manerkar, Yatin A.. - p. 631-648 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

S-adenosylmethionine synthases specify distinct H3K4me3 pop..:

Godbole, Adwait A ; Gopalan, Sneha ; Nguyen, Thien-Kim...
eLife.  12 (2023)  - p. , 2023
Link: https://doi.org/10.7554/..
 
?
4

PipeSynth: Automated Synthesis of Microarchitectural Axioms..:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Norman, Chase ; Godbole, Adwait ; Manerkar, Yatin A. - p. 513-527 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Parameterized Verification under TSO with Data Types:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamad Faouzi ; Furbach, Florian... - p. 588-606 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Overcoming Memory Weakness with Unified Fairness: Systemati..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Godbole, Adwait.. - p. 184-205 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Towards A Formally Verified Fully Homomorphic Encryption Co..:

, In: 2023 60th ACM/IEEE Design Automation Conference (DAC),
Casas, Jeremy ; Yang, Zhenkun ; Wang, Wen.. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Modelling and Verification of Security-Oriented Resource Pa..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Godbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A.. - p. 268-273 , 2023
Link: https://doi.org/10.34727..
 
?
9

Parameterized Verification under Release Acquire is PSPACE-..:

, In: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing,
Krishna, Shankaranarayanan ; Godbole, Adwait ; Meyer, Roland. - p. 482-492 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Automated Conversion of Axiomatic to Operational Models: Th..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Godbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. - p. 331-342 , 2022
Link: https://doi.org/10.34727..
 
?
11

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav... - p. 538-551 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Probabilistic Total Store Ordering:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Agarwal, Raj Aryan.. - p. 317-345 , 2022
Link: https://doi.org/10.1007/..
 
?
13

The Decidability of Verification under PS 2.0:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Godbole, Adwait.. - p. 1-29 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Stress-responsive and metabolic gene regulation are altered..:

Ding, Wei ; Higgins, Daniel P. ; Yadav, Dilip K....
PLOS Genetics.  14 (2018)  11 - p. e1007812 , 2018
Link: https://doi.org/10.1371/..
 
?
15

DNA topoisomerase I and DNA gyrase as targets for TB therap:

Nagaraja, Valakunja ; Godbole, Adwait A. ; Henderson, Sara R..
Drug Discovery Today.  22 (2017)  3 - p. 510-518 , 2017
Link: https://doi.org/10.1016/..
 
1-15