Michael Pradel
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 112
Publications (10 Years): 112
Publications
- Islem Bouzenia, Michael Pradel
- Yiu Wai Chow, Luca Di Grazia, Michael Pradel
- Islem Bouzenia, Premkumar T. Devanbu, Michael Pradel
- Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
- Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Susmit Jha, Prem Devanbu, Toufique Ahmed
- Matteo Paltenghi, Michael Pradel
- Yiu Wai Chow, Luca Di Grazia, Michael Pradel
- Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
- Aryaz Eghbali, Michael Pradel
- Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
- Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
- Islem Bouzenia, Michael Pradel
- Matteo Paltenghi, Michael Pradel
- Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
- Yiu Wai Chow, Max Schäfer, Michael Pradel
- Beatriz Souza, Michael Pradel
- Islem Bouzenia, Yangruibo Ding, Kexin Pei, Baishakhi Ray, Michael Pradel
- Matteo Paltenghi, Michael Pradel
- Beatriz Souza, Michael Pradel
- Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav
- Yiu Wai Chow, Max Schäfer, Michael Pradel
- Luca Di Grazia, Michael Pradel
- Luca Di Grazia, Paul Bredl, Michael Pradel
- Luca Di Grazia, Michael Pradel
- Matteo Paltenghi, Michael Pradel
- Aryaz Eghbali, Michael Pradel
- Luca Di Grazia, Paul Bredl, Michael Pradel
- Moiz Rauf, Sebastian Padó, Michael Pradel
- Aryaz Eghbali, Michael Pradel
- Matteo Paltenghi, Michael Pradel
- Daniel Lehmann, Michael Pradel
- Luca Di Grazia, Michael Pradel
- Michael Pradel, Satish Chandra
- Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
- Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
- Cong Pan, Michael Pradel
- Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
- Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
- Xue Han, Tingting Yu, Michael Pradel
- Matteo Paltenghi, Michael Pradel
- Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang
- Aryaz Eghbali, Michael Pradel
- Michael Pradel, Satish ChandraNeural Software Analysis. CoRR (2020)
- Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
- Claire Le Goues, Michael Pradel, Abhik Roychoudhury
- Andrew Habib, Michael Pradel
- Yaza Wainakh, Moiz Rauf, Michael Pradel
- Daniel Lehmann, Michael Pradel
- Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
- Sandro Tolksdorf, Daniel Lehmann, Michael Pradel
- Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra
- Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
- Andrew Habib, Michael Pradel
- Daniel Lehmann, Michael Pradel
- Michael Pradel, Koushik Sen
- Andrew Habib, Michael Pradel
- Daniel Lehmann, Michael Pradel
- Michael Pradel, Koushik Sen
- Tingting Yu, Michael Pradel
- Luca Della Toffola, Michael Pradel, Thomas R. Gross
- Marija Selakovic, Michael Pradel, Rezwana Karim, Frank Tip
- Dileep Ramachandrarao Krishna Murthy, Michael Pradel
- Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, Yulissa Arroyo-Paredes
- Satia Herfert, Jibesh Patra, Michael Pradel