( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Jalangi: a selective record-replay and dynamic analysis framework for JavaScript.

, , , и . ESEC/SIGSOFT FSE, стр. 488-498. ACM, (2013)

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.

Koushik Biswas

Koushik Chakrabarty

Nikhilranjan Sen

Sen Ye

Ramen Sen

 

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

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions., , и . FMCAD, стр. 203-211. IEEE, (2019)Repairing Event Race Errors by Controlling Nondeterminism, , , , , и . Proceedings of the 39th International Conference on Software Engineering, стр. 289--299. Piscataway, NJ, USA, IEEE Press, (2017)Maximizing Communication Overlap with Dynamic Program Analysis., , , и . HPC Asia, стр. 1-11. ACM, (2018)Learning to Verify Safety Properties., , , и . ICFEM, том 3308 из Lecture Notes in Computer Science, стр. 274-289. Springer, (2004)Rule-Based Runtime Verification., , , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 44-57. Springer, (2004)Online Efficient Predictive Safety Analysis of Multithreaded Programs., , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 123-138. Springer, (2004)Model-Checking omega-Regular Properties of Interval Markov Chains., , и . FoSSaCS, том 4962 из Lecture Notes in Computer Science, стр. 302-317. Springer, (2008)ScalaPy: seamless Python interoperability for cross-platform Scala programs., и . SCALA@SPLASH, стр. 2-13. ACM, (2020)Fluid quotes: metaprogramming across abstraction boundaries with dependent types., и . GPCE, стр. 98-110. ACM, (2020)Semantic fuzzing with zest., , , , и . ISSTA, стр. 329-340. ACM, (2019)