Community initiatives
- 期刊名称XRDS: Crossroads, The ACM Magazine for Students
- 作者Deverett, Ben
- 卷第18卷
- 期第4期
- 印刷ISSN1528-4972
- 文件大小1443.93KB
- 发表时间2012-06-01
- DOI10.1145/2173637.2173643
Multiple Facets for Dynamic Information Flow with ExceptionsAustin, Thomas H.; Schmitz, Tommy; Flanagan, Cormac · ACM Transactions on Programming Languages and Systems · 2017
[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Multiple facets for dynamic information flowAustin, Thomas H.; Flanagan, Cormac · 2012
Virtual values for language extensionAustin, Thomas H.; Disney, Tim; Flanagan, Cormac · ACM SIGPLAN Notices · 2011
Efficient purely-dynamic information flow analysisAustin, Thomas H.; Flanagan, Cormac · ACM SIGPLAN Notices · 2009
Multiple Facets for Dynamic Information Flow with ExceptionsAustin, Thomas H.; Schmitz, Tommy; Flanagan, Cormac · ACM Transactions on Programming Languages and Systems · 2017
[ACM Press the 2017 Workshop - Dallas, Texas, USA (2017.10.30-2017.10.30)] Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security - PLAS '17 - Using Precise Taint Tracking for Auto-sanitizationSaoji, Tejas; Austin, Thomas H.; Flanagan, Cormac · 2017
[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Virtual values for language extensionAustin, Thomas H.; Disney, Tim; Flanagan, Cormac · 2011
[ACM Press the ACM SIGPLAN Fourth Workshop - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09 - Efficient purely-dynamic information flow analysisAustin, Thomas H.; Flanagan, Cormac · 2009
[ACM Press the Eighth ACM SIGPLAN workshop - Seattle, Washington, USA (2013.06.20-2013.06.20)] Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '13 - Faceted execution of policy-agnostic programsAustin, Thomas H.; Yang, Jean; Flanagan, Cormac; Solar-Lezama, Armando · 2013
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