Abhik Roychoudhury
发表
Thuan Quang Huynh,
Abhik Roychoudhury,
2007,
Formal Methods Syst. Des..
Abhik Roychoudhury,
Abhik Roychoudhury,
2009,
The Morgan Kaufmann series in systems on silicon.
Amey Karkare,
Abhik Roychoudhury,
Jooyong Yi,
2017,
ESEC/SIGSOFT FSE.
Bruno C. d. S. Oliveira,
Abhik Roychoudhury,
Marcel Böhme,
2013,
Adv. Comput..
Abhik Roychoudhury,
Van-Thuan Pham,
Sakaar Khurana,
2017,
FASE.
Ting Chen,
Tulika Mitra,
Abhik Roychoudhury,
2005,
26th IEEE International Real-Time Systems Symposium (RTSS'05).
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Lee Kee Chong,
2013,
LCTES '13.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2009,
2009 46th ACM/IEEE Design Automation Conference.
Xiang Gao,
Zhen Dong,
Abhik Roychoudhury,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2011,
LCTES '11.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Abhik Roychoudhury,
1998,
Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
pdf
Guanhua Wang,
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2019,
ACM Trans. Softw. Eng. Methodol..
Xianfeng Li,
Tulika Mitra,
Abhik Roychoudhury,
2004,
ICS '04.
Abhik Roychoudhury,
Jooyong Yi,
Robby,
2013,
AOSD.
Yun Liang,
Tulika Mitra,
Abhik Roychoudhury,
2009,
RTSS.
Tulika Mitra,
Abhik Roychoudhury,
Liang Yun,
2007,
WCET.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2009
.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
K. Narayan Kumar,
1999,
PPDP.
Yingfei Xiong,
Abhik Roychoudhury,
2019,
Science China Information Sciences.
Peter Marwedel,
Heiko Falk,
Abhik Roychoudhury,
2012,
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.
I. V. Ramakrishnan,
Abhik Roychoudhury,
Terrance Swift,
2001
.
Deepak D'Souza,
Abhik Roychoudhury,
Arnab De,
2008,
PASTE '08.
Bikram Sengupta,
Abhik Roychoudhury,
Abhik Roychoudhury,
2011,
PESOS '11.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lothar Thiele,
2007,
19th Euromicro Conference on Real-Time Systems (ECRTS'07).
Xiang Gao,
Abhik Roychoudhury,
Shin Hwei Tan,
2017,
ArXiv.
Abhik Roychoudhury,
Shin Hwei Tan,
Abhik Roychoudhury,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Abhik Roychoudhury,
Jooyong Yi,
Shin Hwei Tan,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Tulika Mitra,
Guanhua Wang,
Abhik Roychoudhury,
2018
.
Supratik Mukhopadhyay,
Sandro Etalle,
Abhik Roychoudhury,
2003
.
Abhik Roychoudhury,
Marcel Böhme,
Van-Thuan Pham,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Zhen Dong,
Abhik Roychoudhury,
Xiao Liang Yu,
2020,
ArXiv.
Peter Marwedel,
Heiko Falk,
Abhik Roychoudhury,
2011,
2011 23rd Euromicro Conference on Real-Time Systems.
I. V. Ramakrishnan,
Abhik Roychoudhury,
2001,
CAV.
Tulika Mitra,
Abhik Roychoudhury,
S. R. Karri,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Abhik Roychoudhury,
Abhijeet Banerjee,
2014,
DeMobile@SIGSOFT FSE.
C. R. Ramakrishnan,
Abhik Roychoudhury,
Abhik Roychoudhury,
2004,
Program Development in Computational Logic.
Xianfeng Li,
Tulika Mitra,
Prabhat Mishra,
2007,
2007 Asia and South Pacific Design Automation Conference.
Tao Wang,
Abhik Roychoudhury,
Abhik Roychoudhury,
2008,
TOPL.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
V. N. Venkatakrishnan,
2000,
CAV.
Tulika Mitra,
Guanhua Wang,
Abhik Roychoudhury,
2018,
ArXiv.
Tulika Mitra,
Abhik Roychoudhury,
2002,
ICSE '02.
Dawei Qi,
Abhik Roychoudhury,
Jooyong Yi,
2013,
ISSTA.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Abhik Roychoudhury,
2000,
PPDP '00.
Adish Singla,
Abhik Roychoudhury,
Umair Z. Ahmed,
2020,
NeurIPS.
Tulika Mitra,
Abhik Roychoudhury,
Hemendra Singh Negi,
2003,
First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems
P. S. Thiagarajan,
Abhik Roychoudhury,
2003,
Lectures on Concurrency and Petri Nets.
Abhik Roychoudhury,
Marcel Böhme,
Abhik Roychoudhury,
2014,
ISSTA 2014.
Abhik Roychoudhury,
Jooyong Yi,
Shin Hwei Tan,
2018,
ICSE.
Tao Wang,
Roland H. C. Yap,
Abhik Roychoudhury,
2004,
PADL.
Sandeep Kumar,
Siau-Cheng Khoo,
David Lo,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Lothar Thiele,
Tulika Mitra,
Samarjit Chakraborty,
2007,
ECRTS.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2008,
CODES+ISSS '08.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott A. Smolka,
1998,
PLILP/ALP.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhijeet Banerjee,
2013,
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Lee Kee Chong,
2013,
LCTES.
Hai-Feng Guo,
Abhik Roychoudhury,
Abhijeet Banerjee,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
Andreas Zeller,
Abhik Roychoudhury,
A. Zeller,
2016,
ISSTA 2016.
Tulika Mitra,
Qinghua Shen,
Abhik Roychoudhury,
2004,
IEEE PACT.
Tulika Mitra,
Abhik Roychoudhury,
Ankit Goel,
2003,
PPoPP '03.
Claire Le Goues,
Michael Pradel,
Abhik Roychoudhury,
2019,
Commun. ACM.
Abhik Roychoudhury,
Abhijeet Banerjee,
Abhik Roychoudhury,
2016,
2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft).
I. V. Ramakrishnan,
Abhik Roychoudhury,
Abhik Roychoudhury,
2000
.
Bruno C. d. S. Oliveira,
Abhik Roychoudhury,
Marcel Böhme,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Xianfeng Li,
Tulika Mitra,
Abhik Roychoudhury,
2002,
15th International Symposium on System Synthesis, 2002..
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2013,
Real-Time Systems.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2008,
2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
Abhik Roychoudhury,
Shiqi Shen,
Prateek Saxena,
2020,
ArXiv.
Daniel M. Johnson,
Insup Lee,
Le Yi Wang,
2012,
IEEE Real-Time and Embedded Technology and Applications Symposium.
Dawei Qi,
Tao Sun,
Abhik Roychoudhury,
2011,
PASTE '11.
Tulika Mitra,
Abhik Roychoudhury,
2006
.
David Lo,
Abhik Roychoudhury,
Xiao Liang Yu,
2020,
ACM Trans. Softw. Eng. Methodol..
Abhik Roychoudhury,
Naipeng Dong,
Manh-Dung Nguyen,
2017
.
Dawei Qi,
Satish Chandra,
Abhik Roychoudhury,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Susmita Sur-Kolay,
Abhik Roychoudhury,
1995,
FSTTCS.
Abhik Roychoudhury,
Marcel Böhme,
Van-Thuan Pham,
2017,
CCS.
Tao Wang,
Abhik Roychoudhury,
2004,
Proceedings. 26th International Conference on Software Engineering.
Ting Chen,
Tulika Mitra,
Abhik Roychoudhury,
2005,
WCET.
Tulika Mitra,
Abhik Roychoudhury,
2002
.
P. S. Thiagarajan,
Abhik Roychoudhury,
2003,
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
Petru Eles,
Zebo Peng,
Abhik Roychoudhury,
2014,
Found. Trends Electron. Des. Autom..
Thuan Quang Huynh,
Abhik Roychoudhury,
2006,
FM.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Lee Kee Chong,
2014,
SIGSOFT FSE.
Tulika Mitra,
Abhik Roychoudhury,
Vivy Suhendra,
2008,
CODES+ISSS '08.
Dawei Qi,
Abhik Roychoudhury,
Hoang D. T. Nguyen,
2013,
TSEM.
Liang Guo,
Tao Wang,
Abhik Roychoudhury,
2006,
CC.
Abhik Roychoudhury,
Meenakshi D’Souza,
2012
.
P. S. Thiagarajan,
Abhik Roychoudhury,
Ankit Goel,
2009,
TSEM.
Clément Ballabriga,
Abhik Roychoudhury,
Van-Thuan Pham,
2013,
2013 IEEE 34th Real-Time Systems Symposium.
Amy P. Felty,
Abhik Roychoudhury,
Douglas J. Howe,
1999,
CADE.
P. S. Thiagarajan,
Abhik Roychoudhury,
2002,
10th Anniversary Colloquium of UNU/IIST.
Shweta Shinde,
Prateek Saxena,
Soundarya Ramesh,
2018,
ArXiv.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhik Roychoudhury,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Zhenkai Liang,
Dawei Qi,
Abhik Roychoudhury,
2009,
ESEC/FSE '09.
Zhenkai Liang,
Ansuman Banerjee,
Abhik Roychoudhury,
2010,
FSE '10.
Dawei Qi,
Abhik Roychoudhury,
Jooyong Yi,
2015,
TSEM.
Ting Chen,
Tulika Mitra,
Abhik Roychoudhury,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Shweta Shinde,
Prateek Saxena,
Shengyi Wang,
2018,
ArXiv.
Yun Liang,
Tulika Mitra,
Samarjit Chakraborty,
2008,
CODES+ISSS '08.
Abhik Roychoudhury,
Van-Thuan Pham,
Konstantin Rubinov,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2010,
Design Automation Conference.
I. V. Ramakrishnan,
Abhik Roychoudhury,
2004,
Automated Software Engineering.
Jun Sun,
Yang Liu,
Jin Song Dong,
2009,
FM.
Shweta Shinde,
Prateek Saxena,
Soundarya Ramesh,
2019,
NDSS.
Abhik Roychoudhury,
Van-Thuan Pham,
Marcel Böhme,
2016,
IEEE Transactions on Software Engineering.
Abhik Roychoudhury,
2002,
ICFEM.
Xianfeng Li,
Tulika Mitra,
Abhik Roychoudhury,
2004,
Real-Time Systems.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhijeet Banerjee,
2013,
2013 IEEE 34th Real-Time Systems Symposium.
Clément Ballabriga,
Abhik Roychoudhury,
Lee Kee Chong,
2014,
LCTES '14.
Alberto Griggio,
Alessandro Cimatti,
Abhik Roychoudhury,
2018,
ESEC/SIGSOFT FSE.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott A. Smolka,
2000,
TACAS.
Bikram Sengupta,
Abhik Roychoudhury,
Ankit Goel,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
K. Narayan Kumar,
2004,
TOPL.
Andrew E. Santosa,
Abhik Roychoudhury,
Marcel Böhme,
2018,
IEEE Transactions on Software Engineering.
Bikram Sengupta,
Abhik Roychoudhury,
Ankit Goel,
2012,
TSEM.
Dawei Qi,
Abhik Roychoudhury,
Hoang D. T. Nguyen,
2011,
ESEC/FSE '11.
Hiroaki Yoshida,
Abhik Roychoudhury,
Shin Hwei Tan,
2016,
SIGSOFT FSE.
Zhenkai Liang,
Dawei Qi,
Abhik Roychoudhury,
2012,
TSEM.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
K. Narayan Kumar,
1999,
ASIAN.
I. V. Ramakrishnan,
K. Narayan Kumar,
Abhik Roychoudhury,
1999,
ICLP.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2008,
CODES+ISSS '08.
Abhik Roychoudhury,
Jooyong Yi,
Shin Hwei Tan,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott A. Smolka,
1998,
TAPD.
Abhik Roychoudhury,
Lei Ju,
Bach Khoa Huynh,
2011,
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.
Abhik Roychoudhury,
Marcel Böhme,
Van-Thuan Pham,
2017,
IEEE Trans. Software Eng..
Abhik Roychoudhury,
2016,
ForMABS@ASE.
Bruno C. d. S. Oliveira,
Abhik Roychoudhury,
Marcel Böhme,
2013,
ESEC/FSE 2013.
Xianfeng Li,
Tulika Mitra,
Abhik Roychoudhury,
2006,
Real-Time Systems.
Peter Marwedel,
Heiko Falk,
Abhik Roychoudhury,
2012,
IEEE Real-Time and Embedded Technology and Applications Symposium.
Peter Marwedel,
Heiko Falk,
Abhik Roychoudhury,
2013,
Real-Time Systems.
Sandro Etalle,
Abhik Roychoudhury,
Supratik Mukhopadhyay,
2005,
Electron. Notes Theor. Comput. Sci..
I. V. Ramakrishnan,
Abhik Roychoudhury,
1999
.
Dawei Qi,
Abhik Roychoudhury,
Jooyong Yi,
2012,
SIGSOFT FSE.
Tulika Mitra,
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2010,
SCOPES.
Tulika Mitra,
Abhik Roychoudhury,
Vivy Suhendra,
2010,
TOPL.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Tulika Mitra,
Abhik Roychoudhury,
Konstantin Rubinov,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Xianfeng Li,
Tulika Mitra,
Abhik Roychoudhury,
2004,
25th IEEE International Real-Time Systems Symposium.
Abhik Roychoudhury,
2017,
SoICT.
Yun Liang,
Tulika Mitra,
Samarjit Chakraborty,
2009,
Des. Autom. Embed. Syst..
Xiang Gao,
Zhen Dong,
Abhik Roychoudhury,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Clément Ballabriga,
Abhik Roychoudhury,
Lee Kee Chong,
2018,
IEEE Transactions on Software Engineering.
Abhik Roychoudhury,
Jooyong Yi,
Sergey Mechtaev,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Xiang Gao,
Abhik Roychoudhury,
Sergey Mechtaev,
2019,
ISSTA.
Ben Leong,
Abhik Roychoudhury,
Umair Z. Ahmed,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Samarjit Chakraborty,
Abhik Roychoudhury,
2007,
20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).
Abhik Roychoudhury,
Ankit Goel,
2006,
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Tulika Mitra,
Prabhat Mishra,
Abhik Roychoudhury,
2009,
2009 46th ACM/IEEE Design Automation Conference.
Tao Wang,
Abhik Roychoudhury,
Abhik Roychoudhury,
2007,
ISSTA '07.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2007
.
Liang Guo,
Abhik Roychoudhury,
2008,
ISoLA.
Zhenkai Liang,
Dawei Qi,
Abhik Roychoudhury,
2010,
ASE '10.
Gernot Heiser,
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2011,
2011 IEEE 32nd Real-Time Systems Symposium.
Bikram Sengupta,
Abhik Roychoudhury,
Lei Ju,
2012,
2012 IEEE 19th International Conference on Web Services.
Samarjit Chakraborty,
Abhik Roychoudhury,
Lei Ju,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Abhik Roychoudhury,
T. Mitra,
Q. Shen,
2004,
Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004..
Xianfeng Li,
Tulika Mitra,
Abhik Roychoudhury,
2003,
DAC '03.
Abhik Roychoudhury,
Abhijeet Banerjee,
Abhik Roychoudhury,
2017,
2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft).
David Lo,
Ferdian Thung,
Abhik Roychoudhury,
2014,
2014 IEEE International Conference on Software Maintenance and Evolution.
Lars Grunske,
Yannic Noller,
Abhik Roychoudhury,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Tao Wang,
Abhik Roychoudhury,
2005,
ASE '05.
Tulika Mitra,
Abhik Roychoudhury,
Hemendra Singh Negi,
2005,
ICDCIT.
Xiang Gao,
Gregory J. Duck,
Abhik Roychoudhury,
2020,
PLDI.
Xianfeng Li,
Tulika Mitra,
Abhik Roychoudhury,
2007,
Sci. Comput. Program..
Abhik Roychoudhury,
Jooyong Yi,
Sergey Mechtaev,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Xiangyu Zhang,
Dawei Qi,
Feng Qin,
2012,
2012 19th Working Conference on Reverse Engineering.
Abhik Roychoudhury,
Sudipta Chattopadhyay,
2014,
TECS.
Ting Chen,
Tulika Mitra,
Abhik Roychoudhury,
2006,
19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06).
Abhik Roychoudhury,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Abhik Roychoudhury,
Deepak D'Souza,
Arnab De,
2010,
ISoLA.
Sun Meng,
P. S. Thiagarajan,
Abhik Roychoudhury,
2006,
ICSE '06.
C. R. Ramakrishnan,
I. V. Ramakrishnan,
K. Narayan Kumar,
2002,
Int. J. Found. Comput. Sci..
Claire Le Goues,
Michael Pradel,
Sunghun Kim,
2017,
Dagstuhl Reports.
Abhik Roychoudhury,
Zhiming Liu,
2012,
International Journal on Software Tools for Technology Transfer.
Sandeep Kumar,
Siau-Cheng Khoo,
David Lo,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Yun Liang,
Tulika Mitra,
Abhik Roychoudhury,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Tulika Mitra,
Abhik Roychoudhury,
T. Mitra,
2007,
The Compiler Design Handbook, 2nd ed..
Abhik Roychoudhury,
2010,
Electron. Notes Theor. Comput. Sci..
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhik Roychoudhury,
2011,
2011 IEEE 32nd Real-Time Systems Symposium.
Xiang Gao,
Abhik Roychoudhury,
Shin Hwei Tan,
2018,
ACM Trans. Softw. Eng. Methodol..
Abhik Roychoudhury,
Sudipta Chattopadhyay,
Abhijeet Banerjee,
2016,
Adv. Comput..
Zijiang Yang,
Abhik Roychoudhury,
Supratik Mukhopadhyay,
2006,
Electron. Notes Theor. Comput. Sci..
Claire Le Goues,
Satish Chandra,
Michael Pradel,
2021,
IEEE Softw..
Sumit Gulwani,
Abhik Roychoudhury,
Gustavo Soares,
2021,
Proc. ACM Program. Lang..
Ilya Sergey,
Abhishek Tiwari,
Abhik Roychoudhury,
2021,
ACM Trans. Softw. Eng. Methodol..
Abhik Roychoudhury,
Jooyong Yi,
Umair Z. Ahmed,
2021,
ACM Trans. Softw. Eng. Methodol..
Gregory J. Duck,
Abhik Roychoudhury,
Shin Hwei Tan,
2021,
ISSTA.
Abhik Roychoudhury,
Xiang Gao,
Ridwan Shariffdeen,
2021
.
Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing
pdf
Ivan Beschastnikh,
Abhik Roychoudhury,
Ruijie Meng,
2021,
ArXiv.
Gregory J. Duck,
Abhik Roychoudhury,
Xiang Gao,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
How to trust auto-generated code patches? A developer survey and empirical assessment of existing program repair tools
pdf
Yannic Noller,
Abhik Roychoudhury,
Xiang Gao,
2021,
ArXiv.
Abhishek Tiwari,
Abhik Roychoudhury,
Xiao Liang Yu,
2021,
ESEC/SIGSOFT FSE.
Tulika Mitra,
Abhik Roychoudhury,
Hemendra Singh Negi,
2004
.
P. S. Thiagarajan,
Abhik Roychoudhury,
Tuan-Anh Tran,
2004,
25th IEEE International Real-Time Systems Symposium.
Abhik Roychoudhury,
Deepak D’Souza,
2008
.
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
pdf
Tulika Mitra,
Guanhua Wang,
Abhik Roychoudhury,
2020,
ACM Trans. Softw. Eng. Methodol..
I. V. Ramakrishnan,
Abhik Roychoudhury,
Abhik Roychoudhury,
2001
.