( en | de | ru )

 

Disambiguierung von "Sen, Koushik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.

, , und . TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 11-25. Springer, (2011)

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.

Koushik Biswas

Koushik Chakrabarty

Nikhilranjan Sen

Ramen Sen

Sen Ye

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient and transferable adversarial examples from bayesian neural networks., , , , und . UAI, Volume 180 von Proceedings of Machine Learning Research, Seite 738-748. PMLR, (2022)When deep learning met code search., , , , und . ESEC/SIGSOFT FSE, Seite 964-974. ACM, (2019)Asserting and checking determinism for multithreaded programs., und . ESEC/SIGSOFT FSE, Seite 3-12. ACM, (2009)Runtime safety analysis of multithreaded programs., , und . ESEC / SIGSOFT FSE, Seite 337-346. ACM, (2003)DART: directed automated random testing., , und . PLDI, Seite 213-223. ACM, (2005)DART: Directed Automated Random Testing.. Haifa Verification Conference, Volume 6405 von Lecture Notes in Computer Science, Seite 4. Springer, (2009)JQF: coverage-guided property-based testing in Java., , und . ISSTA, Seite 398-401. ACM, (2019)GuideSE: Annotations for Guiding Concolic Testing., , , und . AST@ICSE, Seite 23-27. IEEE Computer Society, (2015)Heuristics for Scalable Dynamic Test Generation., und . ASE, Seite 443-446. IEEE Computer Society, (2008)LLM-Assisted Code Cleaning For Training Accurate Code Generators., , , , , und . CoRR, (2023)