[ACM Press the 20th annual ACM symposium - Newport, Rhode Island, USA (2007.10.07-2007.10.10)] Proceedings of the 20th annual ACM symposium on User interface software and technology - UIST '07 - Multi-user interaction using handheld projectors
- 作者Cao, Xiang; Forlines, Clifton; Balakrishnan, Ravin
- 文件大小2666.45KB
- 发表时间2007
- DOI10.1145/1294211.1294220
Coherent clusters in source codeIslam, Syed; Krinke, Jens; Binkley, David; Harman, Mark · Journal of Systems and Software · 2014
Dependence clusters in source codeHarman, Mark; Binkley, David; Gallagher, Keith; Gold, Nicolas; Krinke, Jens · ACM Transactions on Programming Languages and Systems · 2009
Efficient Identification of Linchpin Vertices in Dependence ClustersBinkley, David; Gold, Nicolas; Harman, Mark; Islam, Syed; Krinke, Jens; Li, Zheng · ACM Transactions on Programming Languages and Systems · 2013
[ACM Press the 4th International Workshop - Cape Town, South Africa (2010.05.08-2010.05.08)] Proceedings of the 4th International Workshop on Software Clones - IWSC '10 - Issues in clone classification for dataflow languagesGold, Nicolas; Krinke, Jens; Harman, Mark; Binkley, David · 2010
[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - ORBS: language-independent program slicingBinkley, David; Gold, Nicolas; Harman, Mark; Islam, Syed; Krinke, Jens; Yoo, Shin · 2014
[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Generalized observational slicing for tree-represented modelling languagesGold, Nicolas E.; Binkley, David; Harman, Mark; Islam, Syed; Krinke, Jens; Yoo, Shin · 2017
[ACM Press the 9th ACM SIGPLAN-SIGSOFT workshop - Toronto, Ontario, Canada (2010.06.05-2010.06.06)] Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '10 - Coherent dependence clustersIslam, Syed S.; Krinke, Jens; Binkley, David; Harman, Mark · 2010
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007