Koushik Sen

发表

Ajay Chander, Dinakar Dhurjati, Koushik Sen, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.
Koushik Sen, Nicholas Jalbert, Koushik Sen, 2010, FSE '10.
Gul Agha, Koushik Sen, Darko Marinov, 2006 .
Koushik Sen, Pallavi Joshi, Chang-Seo Park, 2009, PLDI '09.
George C. Necula, Koushik Sen, Jacob Burnim, 2011, ASPLOS XVI.
Frank Tip, Manu Sridharan, Koushik Sen, 2016, ECOOP.
Gul Agha, Koushik Sen, G. Agha, 2005 .
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Koushik Sen, Tegawendé F. Bissyandé, Mike Papadakis, 2018, Empirical Software Engineering.
Koushik Sen, Satish Chandra, Hongyu Li, 2019, ESEC/SIGSOFT FSE.
Koushik Sen, Xiaojing Zhang, Takashi Hoshino, 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test.
George C. Necula, Koushik Sen, Michael Pradel, 2014, OOPSLA.
Koushik Sen, Koushik Sen, 2007, ASE.
Koushik Sen, Pallavi Joshi, Mark Shlimovich, 2007, ESEC-FSE '07.
George C. Necula, Koushik Sen, Jacob Burnim, 2012, HotPar'12.
Koushik Sen, Costin Iancu, Wim Lavrijsen, 2018, HPC Asia.
Mahesh Viswanathan, Koushik Sen, Mahesh Viswanathan, 2006, CAV.
Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2005 .
José Meseguer, Koushik Sen, Gul A. Agha, 2006, QAPL.
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2004, FSTTCS.
Koushik Sen, Klaus Havelund, Allen Goldberg, 2003 .
Koushik Sen, Grigore Rosu, Gul A. Agha, 2004, Proceedings. 26th International Conference on Software Engineering.
George C. Necula, Koushik Sen, Jacob Burnim, 2012, PPoPP '12.
Koushik Sen, Costin Iancu, Wim Lavrijsen, 2019 .
James Demmel, Koushik Sen, Costin Iancu, 2018 .
Koushik Sen, Grigore Rosu, Koushik Sen, 2003, RV@CAV.
Koushik Sen, Jacob Burnim, Christos Stergiou, 2011, TACAS.
Koushik Sen, Hiroaki Yoshida, Cuong Nguyen, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011, OOPSLA '11.
Koushik Sen, Caroline Lemieux, 2020, International Journal on Software Tools for Technology Transfer.
Koushik Sen, Howard Barringer, Klaus Havelund, 2003 .
Koushik Sen, Roy Fox, Ion Stoica, 2019, Proc. ACM Program. Lang..
Koushik Sen, Nicholas Jalbert, Gilles Pokam, 2011, HotPar.
Koushik Sen, Howard Barringer, Klaus Havelund, 2004, VMCAI.
Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, 2011, NSDI.
Koushik Sen, Jonathan Bachrach, Rafael Dutra, 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Koushik Sen, Xuehai Qian, Costin Iancu, 2016 .
Koushik Sen, Costin Iancu, Ethan Smith, 2019, ArXiv.
Yves Le Traon, Koushik Sen, Rohan Padhye, 2018, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Gul Agha, Koushik Sen, Grigore Rosu, 2004, TACAS.
Koushik Sen, Narciso Martí-Oliet, Prasanna Thati, 2002, Electron. Notes Theor. Comput. Sci..
Koushik Sen, 2015, WODA@SPLASH.
George C. Necula, Koushik Sen, Wenyu Wang, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Koushik Sen, Liang Gong, Michael Pradel, 2017, ACM Comput. Surv..
Koushik Sen, Prasad Naldurg, Prasanna Thati, 2004, FORTE.
Koushik Sen, Howard Barringer, Klaus Havelund, 2003 .
Koushik Sen, Cristian Cadar, Koushik Sen, 2013, CACM.
Koushik Sen, Grigore Rosu, Koushik Sen, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Koushik Sen, Vijay Ganesh, Cristian Cadar, 2014, Dagstuhl Reports.
Koushik Sen, Grigore Rosu, Gul A. Agha, 2003, ESEC/FSE-11.
Koushik Sen, Cristian Cadar, 2012, RV.
Koushik Sen, Jacob Burnim, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2006, TACAS.
Dawn Xiaodong Song, Koushik Sen, Rohan Padhye, 2018, ISSTA.
Sarfraz Khurshid, Koushik Sen, Hiroaki Yoshida, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).
Koushik Sen, Gul A. Agha, 2006, Haifa Verification Conference.
Koushik Sen, Chang-Seo Park, Chang-Seo Park, 2008, SIGSOFT '08/FSE-16.
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2004, CAV.
Frank Tip, Koushik Sen, Rezwana Karim, 2020, IEEE Transactions on Software Engineering.
Koushik Sen, Shaunak Chatterjee, Sudeep Juvekar, 2009, FASE.
Frank Tip, Manu Sridharan, Koushik Sen, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Koushik Sen, Hongyu Li, Satish Chandra, 2018, MAPL@PLDI.
Krishnendu Chatterjee, Thomas A. Henzinger, Koushik Sen, 2008, FoSSaCS.
George C. Necula, Koushik Sen, Satish Chandra, 2015 .
Koushik Sen, Rohan Padhye, Koushik Sen, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Koushik Sen, Satish Chandra, Di Yang, 2018, Proc. ACM Program. Lang..
Koushik Sen, Liang Gong, Wontae Choi, 2015, ESEC/SIGSOFT FSE.
Koushik Sen, Rohan Padhye, Laurent Simon, 2019, Proc. ACM Program. Lang..
Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2004 .
Koushik Sen, Nils Klarlund, Patrice Godefroid, 2005, PLDI '05.
Koushik Sen, 2013, PLDI 2013.
Koushik Sen, Rohan Padhye, Willem Visser, 2019, SOEN.
Koushik Sen, Jonathan Bachrach, Rafael Dutra, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Sarfraz Khurshid, Ji Wang, Koushik Sen, 2020, ACM SIGSOFT Softw. Eng. Notes.
Koushik Sen, Joseph E. Gonzalez, Joseph M. Hellerstein, 2020, ArXiv.
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Koushik Sen, Koushik Sen, 2008, PLDI '08.
Koushik Sen, Patrice Godefroid, Patrice Godefroid, 2018, Handbook of Model Checking.
Sarfraz Khurshid, Koushik Sen, Nikolai Tillmann, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Koushik Sen, Rohan Padhye, Paul N. Hilfinger, 2019, SPLASH-E.
Katherine Yelick, Koushik Sen, Costin Iancu, 2020, 2003.04462.
Yves Le Traon, Koushik Sen, Rohan Padhye, 2018, ISSTA.
Koushik Sen, Xuehai Qian, Costin Iancu, 2016, ICS.
Koushik Sen, Jacob Burnim, Tayfun Elmas, 2013, PLDI.
Koushik Sen, Jacob Burnim, Sudeep Juvekar, 2009, 2009 IEEE 31st International Conference on Software Engineering.
Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011 .
Koushik Sen, Shoaib Kamil, Armando Fox, 2012 .
Cody Hao Yu, Jun Yang, Koushik Sen, 2020, OSDI.
Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, 2013, ESEC/FSE 2013.
Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, 2010, HotDep.
Koushik Sen, 2009, Haifa Verification Conference.
Koushik Sen, Darko Marinov, Gul A. Agha, 2005, ESEC/FSE-13.
Koushik Sen, Rohan Padhye, Hayawardh Vijayakumar, 2020, USENIX Security Symposium.
Koushik Sen, Koushik Sen, 2007, ASE.
Frank Tip, Koushik Sen, Esben Andreasen, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Koushik Sen, Björn Hartmann, Rastislav Bodík, 2014, ICSE.
Koushik Sen, Gul A. Agha, G. Agha, 2006, FASE.
Koushik Sen, Pallavi Joshi, Mark Shlimovich, 2007, ESEC/SIGSOFT FSE.
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2005, CAV.
Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011 .
Koushik Sen, Chang-Seo Park, Chang-Seo Park, 2012, PPoPP '12.
Koushik Sen, Jacob Burnim, Koushik Sen, 2009, ESEC/FSE '09.
James Demmel, Kurt Keutzer, Katherine A. Yelick, 2022 .
Suresh Jagannathan, Koushik Sen, Ananth Grama, 2008, SAS.
Rupak Majumdar, Koushik Sen, Koushik Sen, 2007, 29th International Conference on Software Engineering (ICSE'07).
David Gay, Koushik Sen, Chang-Seo Park, 2009, 2009 IEEE 31st International Conference on Software Engineering.
Koushik Sen, Jonathan Bachrach, Rafael Dutra, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).
Koushik Sen, Howard Barringer, Klaus Havelund, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Koushik Sen, Grigore Rosu, Gul A. Agha, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Koushik Sen, Xiaojing Zhang, Takashi Hoshino, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
José Meseguer, Koushik Sen, Gul A. Agha, 2003, FMOODS.
George C. Necula, Koushik Sen, Jacob Burnim, 2013, PLDI.
Koushik Sen, Grigore Rosu, Gul A. Agha, 2003, ASIAN.
Koushik Sen, Caroline Lemieux, Koushik Sen, 2017, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
David Gay, Koushik Sen, Pallavi Joshi, 2010, FSE '10.
Rupak Majumdar, Koushik Sen, Rupak Majumdar, 2007 .
Sarfraz Khurshid, Koushik Sen, Koushik Sen, 2011 .
James Demmel, William Kahan, Koushik Sen, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Michael R. Lowry, Sarfraz Khurshid, Koushik Sen, 2005, Theor. Comput. Sci..
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2004, ICFEM.
Koushik Sen, John M. Mellor-Crummey, Milind Chabbi, 2015, PPoPP.
Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2005, TACAS.
Manu Sridharan, Koushik Sen, Satish Chandra, 2015, ESEC/SIGSOFT FSE.
Koushik Sen, Pallavi Joshi, Koushik Sen, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Koushik Sen, Rohan Padhye, Caroline Lemieux, 2019, ISSTA.
Koushik Sen, Michael Pradel, Koushik Sen, 2017 .
George C. Necula, Koushik Sen, Satish Chandra, 2015, SAS.
Koushik Sen, Grigore Rosu, 2007, Concurr. Comput. Pract. Exp..
Koushik Sen, Caroline Lemieux, Koushik Sen, 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
James Demmel, William Kahan, Koushik Sen, 2013, 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
Koushik Sen, Michael Pradel, Parker Schuh, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Armando Solar-Lezama, Sriram Krishnamoorthy, Koushik Sen, 2017, ArXiv.
Vinay Kulkarni, Koushik Sen, Dharanipragada Janakiram, 2014, ISEC 2014.
Rupak Majumdar, Koushik Sen, Michael Emmi, 2007, ISSTA '07.
Koushik Sen, Koushik Sen, 2015, ISEC.
Gul Agha, Koushik Sen, G. Agha, 2006 .
Koushik Sen, Liang Gong, Michael Pradel, 2015, ESEC/SIGSOFT FSE.
Koushik Sen, Chang-Seo Park, Costin Iancu, 2011, 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC).
Koushik Sen, Rohan Padhye, 2019, VMIL@SPLASH.
Koushik Sen, Jacob Burnim, Koushik Sen, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
George C. Necula, Koushik Sen, Wontae Choi, 2013, OOPSLA.
Manu Sridharan, Koushik Sen, Liang Gong, 2015, ISSTA.
Koushik Sen, Chang-Seo Park, Costin Iancu, 2013, PPoPP '13.
Koushik Sen, Chang-Seo Park, Costin Iancu, 2013, ICS '13.
Koushik Sen, Jacob Burnim, Christos Stergiou, 2011, ISSTA '11.
Koushik Sen, Pallavi Joshi, Chang-Seo Park, 2009, CAV.
Koushik Sen, Michael Pradel, Koushik Sen, 2018, Proc. ACM Program. Lang..
Koushik Sen, Nicholas Jalbert, Jacob Burnim, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
Koushik Sen, Grigore Rosu, Gul A. Agha, 2005, International Journal on Software Tools for Technology Transfer.
Koushik Sen, Donggyu Kim, Jonathan Bachrach, 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Koushik Sen, Rohan Padhye, Vasudev Vikram, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Koushik Sen, Rishabh Poddar, Raluca Ada Popa, 2021, USENIX Security Symposium.
Katherine A. Yelick, Koushik Sen, Costin Iancu, 2021, 2021 IEEE International Conference on Quantum Computing and Engineering (QCE).
Koushik Sen, Caroline Lemieux, Neil Kulkarni, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Koushik Sen, Ion Stoica, Caroline Lemieux, 2021, Proc. ACM Program. Lang..
Koushik Sen, Mukul R. Prasad, Rohan Bavishi, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Gul Agha, José Meseguer, Koushik Sen, 2003 .
Koushik Sen, Howard Barringer, Klaus Havelund, 2003 .