H. Ma, R. Zhao, X. Gao, and Y. Zhang. Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS International Conference on, (2009)
P. Rogers, and A. Wellings. Reliable Software Technologies - Ada-Europe 2004, volume 3063 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2004)
L. Deutsch, and A. Schiffman. POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, page 297--302. ACM, (1984)
K. Barabash, and E. Petrank. ISMM '10: Proceedings of the 2010 international symposium on Memory management, page 1--10. New York, NY, USA, ACM, (2010)
V. St-Amour, S. Tobin-Hochstadt, and M. Felleisen. Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 163--178. ACM, (2012)
R. Golbeck, and G. Kiczales. VMIL '07: Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms, page 2. New York, NY, USA, ACM, (2007)
G. Wagner, A. Gal, and M. Franz. PPPJ '08: Proceedings of the 6th international symposium on Principles and practice of programming in Java, page 117--126. New York, NY, USA, ACM, (2008)
L. Zhang, C. Krintz, and P. Nagpurkar. PACT '07: Proceedings of the 16th International Conference on Parallel Architecture and Compilation Techniques, page 130--139. Washington, DC, USA, IEEE Computer Society, (2007)
M. Ertl, and D. Gregg. PACT '04: Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, page 41--50. Washington, DC, USA, IEEE Computer Society, (2004)
T. Zhou, M. Jantz, P. Kulkarni, K. Doshi, and V. Sarkar. Proceedings of the 28th International Conference on Compiler Construction, page 147--158. New York, NY, USA, ACM, (2019)