Artigos com autorizações de acesso público - Koushik SenSaiba mais
1 artigo não disponível publicamente
Application of anisotropy of magnetic susceptibility (AMS) in understanding regional deformation, fabric development and granite emplacement: examples from Indian cratons
MA Mamtani, S Bhatt, V Rana, K Sen, TK Mondal
Geological Society, London, Special Publications 489 (1), 275-292, 2020
Autorizações: Department of Science & Technology, India
50 artigos disponíveis publicamente
Fairfuzz: A targeted mutation strategy for increasing greybox fuzz testing coverage
C Lemieux, K Sen
Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018
Autorizações: US National Science Foundation
Deepbugs: A learning approach to name-based bug detection
M Pradel, K Sen
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018
Autorizações: US National Science Foundation, German Research Foundation, Federal Ministry …
Ansor: Generating {High-Performance} tensor programs for deep learning
L Zheng, C Jia, M Sun, Z Wu, CH Yu, A Haj-Ali, Y Wang, J Yang, D Zhuo, ...
14th USENIX symposium on operating systems design and implementation (OSDI …, 2020
Autorizações: US National Science Foundation
Perffuzz: Automatically generating pathological inputs
C Lemieux, R Padhye, K Sen, D Song
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
Autorizações: US National Science Foundation, US Department of Defense
Semantic fuzzing with zest
R Padhye, C Lemieux, K Sen, M Papadakis, Y Le Traon
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
Autorizações: US National Science Foundation
RFUZZ: Coverage-directed fuzz testing of RTL on FPGAs
K Laeufer, J Koenig, D Kim, J Bachrach, K Sen
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2018
Autorizações: US National Science Foundation, US Department of Defense
Model-Checking ω-Regular Properties of Interval Markov Chains
K Chatterjee, K Sen, TA Henzinger
Foundations of Software Science and Computational Structures: 11th …, 2008
Autorizações: Swiss National Science Foundation
Jqf: Coverage-guided property-based testing in java
R Padhye, C Lemieux, K Sen
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
Autorizações: US National Science Foundation
AutoPandas: neural-backed generators for program synthesis
R Bavishi, C Lemieux, R Fox, K Sen, I Stoica
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019
Autorizações: US National Science Foundation
Efficient sampling of SAT solutions for testing
R Dutra, K Laeufer, J Bachrach, K Sen
Proceedings of the 40th international conference on software engineering …, 2018
Autorizações: US National Science Foundation, US Department of Defense
A survey of dynamic analysis and test generation for JavaScript
E Andreasen, L Gong, A Møller, M Pradel, M Selakovic, K Sen, CA Staicu
ACM Computing Surveys (CSUR) 50 (5), 1-36, 2017
Autorizações: US National Science Foundation, German Research Foundation, European …
Jitprof: Pinpointing jit-unfriendly javascript code
L Gong, M Pradel, K Sen
Proceedings of the 2015 10th joint meeting on foundations of software …, 2015
Autorizações: German Research Foundation
Floating-point precision tuning using blame analysis
C Rubio-González, C Nguyen, B Mehne, K Sen, J Demmel, W Kahan, ...
Proceedings of the 38th International Conference on Software Engineering …, 2016
Autorizações: US Department of Energy
TypeDevil: Dynamic type inconsistency analysis for JavaScript
M Pradel, P Schuh, K Sen
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
Autorizações: German Research Foundation
DLint: Dynamically checking bad coding practices in JavaScript
L Gong, M Pradel, M Sridharan, K Sen
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
Autorizações: German Research Foundation
Selecting fault revealing mutants
T Titcheu Chekam, M Papadakis, TF Bissyandé, Y Le Traon, K Sen
Empirical Software Engineering 25, 434-487, 2020
Autorizações: Luxembourg National Research Fund
Towards optimal topology aware quantum circuit synthesis
MG Davis, E Smith, A Tudor, K Sen, I Siddiqi, C Iancu
2020 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2020
Autorizações: US Department of Energy
Fuzzfactory: domain-specific fuzzing with waypoints
R Padhye, C Lemieux, K Sen, L Simon, H Vijayakumar
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
Autorizações: US National Science Foundation
Platform-independent dynamic taint analysis for javascript
R Karim, F Tip, A Sochůrková, K Sen
IEEE Transactions on Software Engineering 46 (12), 1364-1379, 2018
Autorizações: US National Science Foundation, European Commission
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador