×
Author ID: weimer.westley Recent zbMATH articles by "Weimer, Westley"
Published as: Weimer, Westley
External Links: MGP
Documents Indexed: 7 Publications since 2002
Co-Authors: 16 Co-Authors with 7 Joint Publications
477 Co-Co-Authors

Serials

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 59 times in 57 Documents Cited by Year
CIL: Intermediate language and tools for analysis and transformation of C programs. Zbl 1051.68756
Necula, George C.; McPeak, Scott; Rahul, Shree P.; Weimer, Westley
28
2002
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
10
2002
CCured, type-safe retrofitting of legacy code. Zbl 1323.68382
Necula, George C.; McPeak, Scott; Weimer, Westley
8
2002
Mining temporal specifications for error detection. Zbl 1087.68600
Weimer, Westley; Necula, George C.
7
2005
Speeding up dataflow analysis using flow-insensitive pointer analysis. Zbl 1015.68515
Adams, Stephen; Ball, Thomas; Das, Manuvir; Lerner, Sorin; Rajamani, Sriram K.; Seigle, Mark; Weimer, Westley
3
2002
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Zbl 1361.68050
Seidel, Eric L.; Jhala, Ranjit; Weimer, Westley
2
2016
Connecting program synthesis and reachability: automatic program repair using test-input generation. Zbl 1452.68052
Nguyen, Thanhvu; Weimer, Westley; Kapur, Deepak; Forrest, Stephanie
1
2017
Connecting program synthesis and reachability: automatic program repair using test-input generation. Zbl 1452.68052
Nguyen, Thanhvu; Weimer, Westley; Kapur, Deepak; Forrest, Stephanie
1
2017
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong). Zbl 1361.68050
Seidel, Eric L.; Jhala, Ranjit; Weimer, Westley
2
2016
Mining temporal specifications for error detection. Zbl 1087.68600
Weimer, Westley; Necula, George C.
7
2005
CIL: Intermediate language and tools for analysis and transformation of C programs. Zbl 1051.68756
Necula, George C.; McPeak, Scott; Rahul, Shree P.; Weimer, Westley
28
2002
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
10
2002
CCured, type-safe retrofitting of legacy code. Zbl 1323.68382
Necula, George C.; McPeak, Scott; Weimer, Westley
8
2002
Speeding up dataflow analysis using flow-insensitive pointer analysis. Zbl 1015.68515
Adams, Stephen; Ball, Thomas; Das, Manuvir; Lerner, Sorin; Rajamani, Sriram K.; Seigle, Mark; Weimer, Westley
3
2002
all top 5

Cited by 149 Authors

3 Alur, Rajeev
2 Černý, Pavol
2 Chen, Sheng
2 El-Zawawy, Mohamed A.
2 Groce, Alex
2 Gupta, Aarti
2 Havelund, Klaus
2 Joshi, Rajeev
2 La Torre, Salvatore
2 Leroy, Xavier
2 Wang, Chao
1 Akhundov, Murad
1 Angluin, Dana
1 Bansal, Kshitij
1 Barrett, Clark W.
1 Behrends, Reimer
1 Beyer, Dirk
1 Blazy, Sandrine
1 Blot, Arthur
1 Boker, Udi
1 Boldo, Sylvie
1 Bouajjani, Ahmed
1 Braunsdorf, Oliver
1 Brutschy, Lucas
1 Catalano, Dario
1 Chang, Bor-Yuh Evan
1 Chatterjee, Krishnendu
1 Chechik, Marsha
1 Chen, Liqian
1 Chroboczek, Juliusz
1 de Alfaro, Luca
1 Debbabi, Mourad
1 Della Penna, Giuseppe
1 Dixit, Ketan
1 Dos Reis, Gabriel
1 Duan, Zhenhua
1 Elkind, Edith
1 Erwig, Martin
1 Esparza, Javier
1 Evans, Jacob
1 Faella, Marco
1 Faust, Sebastian
1 Feng, Nick
1 Fiore, Dario
1 Fisman, Dana
1 Forrest, Stephanie
1 Foster, Jeffrey S.
1 Frenkel, Hadar
1 Ganai, Malay K.
1 Genest, Blaise
1 Godefroid, Patrice
1 Gopalakrishnan, Ganesh Lalitha
1 Grosu, Radu
1 Grumberg, Orna
1 Gulwani, Sumit
1 Holzmann, Gerard J.
1 Horsch, Julian
1 Horwitz, Susan
1 Hsiao, Michael S.
1 Huang, Xiaowan
1 Hui, Vincent W. H.
1 Igarashi, Atsushi
1 Imanishi, Akifumi
1 Jakobs, Marie-Christine
1 Jeannet, Bertrand
1 Jiang, Jiahong
1 Kapur, Deepak
1 Kerneis, Gabriel
1 Kiselyov, Oleg
1 Kojima, Kensuke
1 Koskinen, Eric
1 Krishnamoorthy, Saparya
1 Kröning, Daniel
1 Kundu, Sudipta
1 Lazard, Sylvain
1 Lenhart, William J.
1 Limaye, Rhishikesh
1 Ling, Hai Zhou
1 Lingappan, Loganathan
1 Liotta, Giuseppe
1 Lumezanu, Cristian
1 Madhusudan, Parthasarathy
1 Majumdar, Rupak
1 Mandrykin, M. U.
1 Marché, Claude
1 Masny, Daniel
1 Miné, Antoine
1 Mora, Federico
1 Mutilin, V. S.
1 Napoli, Margherita
1 Nguyen, Thanhvu H.
1 Noor, Md Rabib
1 Oh, Hakjoo
1 Ouadjaout, Abdelraouf
1 Parente, Mimmo
1 Peled, Doron A.
1 Peleg, Hila
1 Qu, Hongyang
1 Raman, Vishwanath
1 Rinderknecht, Christian
...and 49 more Authors

Citations by Year