( en | de | ru )

 

Disambiguierung von "Jhala, Ranjit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lazy counterfactual symbolic execution.

, , , , und . PLDI, Seite 411-424. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jamsinhji Jhala

Ranjit Bhardwaj

Chirag Ashokkumar Jhala

Ranjit Kumaresan

Ranjit Bhardwaj

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanizing Refinement Types., , und . Proc. ACM Program. Lang., 8 (POPL): 2099-2128 (Januar 2024)Lazy abstraction., , , und . POPL, Seite 58-70. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.Type-based data structure verification., , und . PLDI, Seite 304-315. ACM, (2009)STORM: Refinement Types for Secure Web Applications., , , , , , , und . OSDI, Seite 441-459. USENIX Association, (2021)Invited talk: the blast query language for software verification., , , , und . PEPM, Seite 201-202. ACM, (2004)Building Distributed Systems Using Mace., , , , und . Peer-to-Peer Computing, Seite 91-92. IEEE, (2009)Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong)., , und . J. Funct. Program., (2018)Structural Invariants., , und . SAS, Volume 4134 von Lecture Notes in Computer Science, Seite 71-87. Springer, (2006)Flux: Liquid Types for Rust., , , , und . CoRR, (2022)Counterexample-guided Planning., , , und . UAI, Seite 104-111. AUAI Press, (2005)