Michael Pradel
发表
Benjamin Livshits,
Michael Pradel,
Cristian-Alexandru Staicu,
2018,
NDSS.
B. Livshits,
Cristian-Alexandru Staicu,
Michael Pradel,
.
Thomas R. Gross,
Michael Pradel,
Markus Huggler,
2014,
ISSTA 2014.
Ralph E. Johnson,
Yu Lin,
Michael Pradel,
2013,
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael Pradel,
2008
.
Michael Pradel,
2007
.
Claire Le Goues,
Michael Pradel,
Abhik Roychoudhury,
2019
.
Claire Le Goues,
Satish Chandra,
Michael Pradel,
2021,
IEEE Softw..
Michael Pradel,
Daniel Lehmann,
2022,
PLDI.
Michael Pradel,
Matteo Paltenghi,
2022,
ArXiv.
Michael Pradel,
Marcelo d’Amorim,
Patrick Bareiss,
2022,
ArXiv.
Michael Pradel,
Luca Di Grazia,
L. Grazia,
2022,
ACM Comput. Surv..
Michael Pradel,
Feng Chen,
Haipeng Cai,
2022,
ESEC/SIGSOFT FSE.
A. Eghbali,
Michael Pradel,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
A. Eghbali,
Michael Pradel,
2022,
ASE.
Michael Pradel,
Matteo Paltenghi,
Michael Pradel,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael Pradel,
Georgios Gousios,
S. Chandra,
2019,
ESEC/SIGSOFT FSE.
Michael Pradel,
Jibesh Patra,
Rabee Sohail Malik,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).
Michael Pradel,
Beatriz Souza,
2023,
ArXiv.
Michael Pradel,
Max Schäfer,
Yiu Wai Chow,
2023,
ISSTA.
Michael Pradel,
L. Grazia,
2022,
ESEC/SIGSOFT FSE.
Michael Pradel,
Jibesh Patra,
Michael Pradel,
2021,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Michael Pradel,
S. Chandra,
2020,
Commun. ACM.
Michael Pradel,
Yaza Wainakh,
Moiz Rauf,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Michael Pradel,
Vijayaraghavan Murali,
Satish Chandra,
2020,
ISSTA.
Michael Pradel,
Cristian-Alexandru Staicu,
Philippe Skolka,
2019,
WWW.
Koushik Sen,
Michael Pradel,
Koushik Sen,
2018,
Proc. ACM Program. Lang..
Michael Pradel,
Matteo Paltenghi,
2021,
Proc. ACM Program. Lang..
Michael Pradel,
Marija Selakovic,
Thomas Glaser,
2017,
ISSTA.
Markus Zimmermann,
Michael Pradel,
Cristian-Alexandru Staicu,
2019,
USENIX Security Symposium.
Claire Le Goues,
Michael Pradel,
Abhik Roychoudhury,
2019,
Commun. ACM.
Michael Pradel,
Dominik Huber,
Matteo Paltenghi,
2023,
ArXiv.
Michael Pradel,
Andrew Rice,
Ciera Jaspan,
2017,
Proc. ACM Program. Lang..
Yue Luo,
Michael Pradel,
Cristian-Alexandru Staicu,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Thomas R. Gross,
Michael Pradel,
Michael Pradel,
2013,
IEEE Transactions on Software Engineering.
Thomas R. Gross,
Michael Pradel,
Michael Pradel,
2011,
ISSTA '11.
Jeff Z. Pan,
Steffen Zschaler,
Jakob Henriksson,
2008,
RR.
Martin Odersky,
Michael Pradel,
Michael Pradel,
2008,
ICSOFT.
Martin Odersky,
Michael Pradel,
Michael Pradel,
2008,
ICSOFT.
Koushik Sen,
Liang Gong,
Michael Pradel,
2017,
ACM Comput. Surv..
Yingfei Xiong,
Michael Pradel,
Lu Zhang,
2019
.
Michael Pradel,
Satia Herfert,
Jibesh Patra,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Lehmann,
Michael Pradel,
Johannes Kinder,
2020,
USENIX Security Symposium.
Michael Pradel,
Kexin Pei,
Baishakhi Ray,
2023,
2304.12743.
Michael Pradel,
Cristian-Alexandru Staicu,
Cristian-Alexandru Staicu,
2018,
USENIX Security Symposium.
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts
pdf
Koushik Sen,
Michael Pradel,
Rohan Bavishi,
2017,
ArXiv.
Michael Pradel,
Dileep Ramachandrarao Krishna Murthy,
Michael Pradel,
2018,
2018 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Michael Pradel,
Nikos Vasilakis,
André DeHon,
2021,
CCS.
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
pdf
Michael Pradel,
Nikos Vasilakis,
Ben Karel,
2020,
ArXiv.
Michael Pradel,
Anders Møller,
Marina Billes,
2017,
PLDI.
Michael Pradel,
Martin Hirzel,
Avraham Shinnar,
2021,
ISSTA.
Koushik Sen,
Michael Pradel,
Koushik Sen,
2017
.
Michael Pradel,
Jibesh Patra,
Michael Pradel,
2016
.
Michael Pradel,
Andrew Habib,
Michael Pradel,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Thomas R. Gross,
Michael Pradel,
Luca Della Toffola,
2018,
CGO.
Tingting Yu,
Michael Pradel,
Michael Pradel,
2016,
ISSTA.
Michael Pradel,
Marija Selakovic,
Michael Pradel,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Michael Pradel,
Musard Balliu,
Andrei Sabelfeld,
2019,
PLAS@CCS.
Michael Pradel,
Daniel Lehmann,
Aaron Hilbig,
2021,
WWW.
Michael Pradel,
Max Schäfer,
Cristian-Alexandru Staicu,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Thomas R. Gross,
Michael Pradel,
Michael Pradel,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Michael Pradel,
Tingting Yu,
2018,
Empirical Software Engineering.
Michael Pradel,
Jibesh Patra,
Pooja N. Dixit,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Michael Pradel,
Matteo Paltenghi,
2022,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Michael Pradel,
Jibesh Patra,
Michael Pradel,
2021,
ESEC/SIGSOFT FSE.
Thomas R. Gross,
Michael Pradel,
Severin Heiniger,
2012,
ISSTA 2012.
Daniel Lehmann,
Michael Pradel,
Michael Pradel,
2018,
ASPLOS.
Thomas R. Gross,
Michael Pradel,
Luca Della Toffola,
2015,
OOPSLA.
Michael Pradel,
Lingming Zhang,
Chun Xia,
2023,
ArXiv.
Shan Lu,
Michael Pradel,
Ankit Choudhary,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Thomas R. Gross,
Michael Pradel,
Michael Pradel,
2013
.
Daniel Lehmann,
Michael Pradel,
Michael Pradel,
2018,
ESEC/SIGSOFT FSE.
Manu Sridharan,
Koushik Sen,
Liang Gong,
2015,
ISSTA.
Michael Pradel,
Haipeng Cai,
Yu Nong,
2023,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Tingting Yu,
Michael Pradel,
Xue Han,
2021,
ICPE.
Michael Pradel,
Islem Bouzenia,
2023,
International Conference on Software Engineering.
Michael Pradel,
Cong Pan,
2021,
ISSTA.
Claire Le Goues,
Michael Pradel,
Sunghun Kim,
2017,
Dagstuhl Reports.
Frank Tip,
Michael Pradel,
Marija Selakovic,
2018,
Proc. ACM Program. Lang..
Michael Pradel,
Andrew Habib,
Michael Pradel,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Uwe Aßmann,
Jakob Henriksson,
Michael Pradel,
2010,
Int. J. Enterp. Inf. Syst..
Michael Pradel,
Dan Hao,
Lu Zhang,
2020,
ACM Comput. Surv..
Cristian-Alexandru Staicu,
Michael Pradel,
M. Bhuiyan,
2023,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Thomas R. Gross,
Michael Pradel,
Michael Pradel,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Thomas R. Gross,
Michael Pradel,
Jonathan Aldrich,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Thomas R. Gross,
Michael Pradel,
Philipp Bichsel,
2010,
2010 IEEE International Conference on Software Maintenance.
Koushik Sen,
Michael Pradel,
Koushik Sen,
2015,
ECOOP.
Koushik Sen,
Liang Gong,
Michael Pradel,
2015,
ESEC/SIGSOFT FSE.
Michael Pradel,
T. Gross,
M. Huggler,
2014,
ISSTA 2014.
Michael Pradel,
Andrew Habib,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
George C. Necula,
Koushik Sen,
Michael Pradel,
2014,
OOPSLA.
Thomas R. Gross,
Michael Pradel,
Michael Pradel,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Michael Pradel,
T. Gross,
2012,
ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
Thomas R. Gross,
Darko Marinov,
Michael Pradel,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Michael Pradel,
Martin Toldam Torp,
Daniel Lehmann,
2021,
ArXiv.
Michael Pradel,
Weihang Wang,
Daniel Lehmann,
2022,
2022 IEEE Symposium on Security and Privacy (SP).
Felix Wolf,
Michael Pradel,
Marija Selakovic,
2021,
MAPS@PLDI.
Michael Pradel,
Aryaz Eghbali,
A. Eghbali,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael Pradel,
Michael Pradel,
2012
.
Michael Pradel,
Cristian-Alexandru Staicu,
Luca Della Toffola,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Michael Pradel,
Cristian-Alexandru Staicu,
Cristian-Alexandru Staicu,
2019,
USENIX Security Symposium.
Michael Pradel,
Andrew Habib,
Michael Pradel,
2019,
ArXiv.