CS 7123: Programming Languages

Recent Research Papers

• Terauchi, T. 2008. Checking race freedom via linear programming. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 1-10.
• Pizlo, F., Petrank, E., and Steensgaard, B. 2008. A study of concurrent real-time garbage collectors. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 33-44.
• Boehm, H. and Adve, S. V. 2008. Foundations of the C++ concurrency memory model. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 68-78.
• Pouchet, L., Bastoul, C., Cohen, A., and Cavazos, J. 2008. Iterative optimization in the polyhedral model: part ii, multidimensional time. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 90-100.
• Prakash Prabhu and Priti Shankar. Field Flow Sensitive Pointer and Escape Analysis for Java using Heap Array SSA. In Proceedings of Static Analysis Symposium 2008.
• Solar-Lezama, A., Jones, C. G., and Bodik, R. 2008. Sketching concurrent data structures. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 136-148.
• Hack, S. and Goos, G. 2008. Copy coalescing by graph recoloring. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 227-237.
• von Dincklage, D. and Diwan, A. 2008. Explaining failures of program analyses. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 260-269.
• Halbwachs, N. and Péron, M. 2008. Discovering properties about arrays in simple programs. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 339-348.
• Guerraoui, R., Henzinger, T. A., Jobstmann, B., and Singh, V. 2008. Model checking transactional memories. In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation (Tucson, AZ, USA, June 07 - 13, 2008). PLDI '08. ACM, New York, NY, 372-382.
• Georges, A., Buytaert, D., and Eeckhout, L. 2007. Statistically rigorous java performance evaluation. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (Montreal, Quebec, Canada, October 21 - 25, 2007). OOPSLA '07. ACM, New York, NY, 57-76.
• Greenfieldboyce, D. and Foster, J. S. 2007. Type qualifier inference for java. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (Montreal, Quebec, Canada, October 21 - 25, 2007). OOPSLA '07. ACM, New York, NY, 321-336.
• Bond, M. D. and McKinley, K. S. 2007. Probabilistic calling context. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object Oriented Programming Systems and Applications (Montreal, Quebec, Canada, October 21 - 25, 2007). OOPSLA '07. ACM, New York, NY, 97-112.
• Parkinson, M. J. and Bierman, G. M. 2008. Separation logic, abstraction and inheritance. In Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (San Francisco, California, USA, January 07 - 12, 2008). POPL '08. ACM, New York, NY, 75-86.
• Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic. Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. Compiler Construction, 17th International Conference, CC 2008. Proceedings. Lecture Notes in Computer Science 4959 Springer 2008.