Amal Ahmed
Publication Activity (10 Years)
Years Active: 2007-2022
Publications (10 Years): 29
Publications (10 Years): 29
Publications
- Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
- Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg
- Max S. New, Daniel R. Licata, Amal Ahmed
- Max S. New, Dustin Jamner, Amal Ahmed
- Amal Ahmed
- Max S. New, Daniel R. Licata, Amal Ahmed
- Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, Amal AhmedOxide: The Essence of Rust. CoRR (2019)
- Daniel Patterson, Amal Ahmed
- Max S. New, Daniel R. Licata, Amal Ahmed
- Aaron Weiss, Daniel Patterson, Amal Ahmed
- William J. Bowman, Amal Ahmed
- William J. Bowman, Amal Ahmed
- Max S. New, Amal Ahmed
- William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
- Max S. New, Amal Ahmed
- Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
- Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed
- Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler
- Max S. New, William J. Bowman, Amal Ahmed
- Amal Ahmed
- William J. Bowman, Amal Ahmed
- Amal Ahmed
- James Cheney, Amal Ahmed, Umut A. Acar
- James T. Perconti, Amal Ahmed
- James Cheney, Amal Ahmed, Umut A. Acar
- Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
- Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
- Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
- Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
- James Cheney, Amal Ahmed, Umut A. Acar
- Derek Dreyer, Amal Ahmed, Lars Birkedal
- Derek Dreyer, Amal Ahmed, Lars Birkedal
- Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler
- Amal Ahmed, Derek Dreyer, Andreas Rossberg
- Umut A. Acar, Amal Ahmed, Matthias Blume
- Amal Ahmed, Matthias Blume
- James Cheney, Umut A. Acar, Amal AhmedProvenance Traces CoRR (2008)
- James Cheney, Amal Ahmed, Umut A. Acar
- Amal Ahmed, Matthew Fluet, Greg Morrisett: A Linear Language with Locations. Fundam. Informaticae 77 (4) (2007)
- James Cheney, Amal Ahmed, Umut A. Acar