[ACM Press the 9th European Workshop - London, United Kingdom (2016.04.18-2016.04.21)] Proceedings of the 9th European Workshop on System Security - EuroSec '16 - Why allowing profile name reuse is a bad idea
- 作者Mariconti, Enrico; Onaolapo, Jeremiah; Ahmad, Syed Sharique; Nikiforou, Nicolas; Egele, Manuel; Nikiforakis, Nick; Stringhini, Gianluca
- 文件大小377.37KB
- 发表时间2016
- DOI10.1145/2905760.2905762
- 页码1-6
CommunicationsArgus Tresidder, Saul Bellow, Russell M. Cooper, Ralph G. Ross and Allen Tate · The Hudson Review · 1957
Equality saturationTate, Ross; Stepp, Michael; Tatlock, Zachary; Lerner, Sorin · ACM SIGPLAN Notices · 2009
Generating compiler optimizations from proofsTate, Ross; Stepp, Michael; Lerner, Sorin · ACM SIGPLAN Notices · 2010
Do Nursing Homes Reduce Hospital Use?Shapiro, Evelyn; Tate, Robert B.; Ross, Noralou P. · Medical Care · 1987
Coronary Thrombolysis in Rural HospitalsTate, David A.; Rowe, William W.; Simpson, Ross J.; Nichols, Timothy C. · Southern Medical Journal · 1989
Taming wildcards in Java's type systemTate, Ross; Leung, Alan; Lerner, Sorin · ACM SIGPLAN Notices · 2011
Taming wildcards in Java's type systemTate, Ross; Leung, Alan; Lerner, Sorin · ACM SIGPLAN Notices · 2012
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013