Professor Tony Hosking
PhD (Massachusetts), MSc (Waikato), BSc (Adelaide), ACM Distinguished Scientist
Professor and Director, School of Computing
ANU College of Engineering, Computing and Cybernetics
T:
+61 468 302 825
Areas of expertise
- Computer Software 0803
- Computer System Architecture 080302
- Concurrent Programming 080304
- Programming Languages 080308
- Data Structures 080403
- Distributed Computing 0805
- Database Management 080604
- Memory Structures 100604
- Processor Architectures 100606
- Performance Evaluation; Testing And Simulation Of Reliability 100605
Publications
- Kunshan Wang, Stephen M. Blackburn, Antony L. Hosking, Michael Norrish, 2018, 'Hop, Skip, & Jump: Practical on-stack replacement for a cross-platform language-neutral VM', 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2018, Williamsburg, Virginia, pp. 1-16. doi: 10.1145/3186411.3186412
- A. Hussein, M. Payer, A. L. Hosking, and C. Vick. One process to reap them all: Garbage collection as-a-service. In ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE, pages 171–186, Xi’an, China, Apr. 2017. doi: 10.1145/3050748.3050754.
- K. Chapman, A. L. Hosking, and J. E. B. Moss. Hybrid STM/HTM for nested transactions on OpenJDK. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pages 569–585, Amsterdam, The Netherlands, Oct. 2016. doi: 10.1145/2983990.2984029. Distinguished Paper Award of OOPSLA 2016 and 21st Annual ACM Computing Reviews Best of Computing Notable Item
- K. Chapman, A. L. Hosking, and J. E. B. Moss. Extending OpenJDK to support hybrid STM/HTM: Preliminary design. In ACM SIGPLAN Workshop on Virtual Machines and Intermediate Languages, VMIL, Amsterdam, The Netherlands, Oct. 2016b. doi: 10.1145/2998415.2998417
- S. M. Blackburn, A. Diwan, M. Hauswirth, P. F. Sweeney, J. N. Amaral, T. Brecht, L. Bulej, C. Click, L. Eeckhout, S. Fischmeister, D. Frampton, L. J. Hendren, M. Hind, A. L. Hosking, R. E. Jones, T. Kalibera, N. Keynes, N. Nystrom, and A. Zeller. The truth, the whole truth, and nothing but the truth: A pragmatic guide to assessing empirical evaluations. ACM Trans. Prog. Lang. Syst., 38(4): 15:1–20, Oct. 2016. doi: 10.1145/2983574
- Y. Lin, S. M. Blackburn, A. L. Hosking, and M. Norrish. Rust as a language for high performance GC implementation. In ACM SIGPLAN International Symposium on Memory Management, ISMM, pages 89–98, Santa Barbara, California, June 2016. doi: 10.1145/2926697.2926707
- P. Gammie, A. L. Hosking, and K. Engelhardt. Relaxing safely: Verified on-the-fly garbage collection for x86-TSO. In ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI, pages 99–109, Portland, Oregon, June 2015. doi: 10.1145/2737924.2738006
- Y. Lin, K. Wang, S. M. Blackburn, A. L. Hosking, and M. Norrish. Stop and go: Understanding yieldpoint behavior. In ACM SIGPLAN International Symposium on Memory Management, ISMM, pages 70–80, Portland, Oregon, June 2015. doi: 10.1145/2754169.2754187
- A. Hussein, A. L. Hosking, M. Payer, and C. A. Vick. Don’t race the memory bus: Taming the GC leadfoot. In ACM SIGPLAN International Symposium on Memory Management, ISMM, pages 15–27, Portland, Oregon, June 2015. doi: 10.1145/ 2754169.2754182
- A. L. Hosking and M. Bond, editors. ACM SIGPLAN International Symposium on Memory Management, ISMM, Portland, Oregon, June 2015. doi: 10.1145/2754169
- A. Hussein, M. Payer, A. L. Hosking, and C. A. Vick. Impact of GC design on power and performance for Android. In ACM International Systems and Storage Conference, SYSTOR, pages 13:1–12, Haifa, Israel, May 2015. doi: 10.1145/ 2757667.2757674
- K. Wang, Y. Lin, S. M. Blackburn, M. Norrish, and A. L. Hosking. Draining the swamp: Micro virtual machines as solid foundation for language development. In T. Ball, R. Bodík, S. Krishnamurthi, B. S. Lerner, and G. Morrisett, editors, Inaugural Summit on Advances in Programming Languages, SNAPL, pages 321–336, Asilomar, California, May 2015. doi: 10.4230/LIPIcs.SNAPL.2015.321
- K. Chapman, A. L. Hosking, J. E. B. Moss, and T. Richards. Closed and open nested atomic actions for Java: Language design and prototype implementation. In International Conference on the Principles and Practice of Programming on the Java platform: virtual machines, languages, and tools, PPPJ, pages 169–180, Cracow, Poland, Sept. 2014. doi: 10.1145/2647508.2647525
- A. L. Hosking, P. Eugster, and C. Lopes, editors. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, Indianapolis, Indiana, Oct. 2013c. ACM. doi: 10.1145/2509136
- A. L. Hosking, P. Eugster, and R. Hirschfeld, editors. ACM Symposium on New Ideas in Programming and Reflections on Software, Onward!, Indianapolis, Indiana, Oct. 2013. ACM. doi: 10.1145/2509578
- A. L. Hosking and P. Eugster, editors. ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH, Indianapolis, Indiana, Oct. 2013. ACM. doi: 10.1145/2508075
- A. L. Hosking, P. Eugster, and C.-F. Bolz, editors. 9th Symposium on Dynamic Languages, DLS, Indianapolis, Indiana, Oct. 2013. ACM. doi: 10.1145/2508168
- Hosking, AL, 'Most influential papers of ICFP, OOPSLA, PLDI, and POPL', ACM SIGPLAN Notices, vol. 47, no. 4a, pp. 7-8, 2012.
- X. Yang, S. M. Blackburn, D. Frampton, and A. L. Hosking. Barriers reconsidered, friendlier still! In ACM SIGPLAN International Symposium on Memory Management, ISMM, pages 37–48, Beijing, China, June 2012.
- R. Jones, A. Hosking, and E. Moss. The Garbage Collection Handbook: The Art of Automatic Memory Management. CRC Applied Algorithms and Data Structures. Chapman and Hall/CRC Press, Aug. 2011. URL http://gchandbook.org
- P. McGachey, A. L. Hosking, and J. E. B. Moss. Class transformations for transparent distribution of java applications. Journal of Object Technology 10, pp. 9:1–35, Aug. 2011. doi: 10.5381/jot.2011.10.1.a9
- F. Pizlo, D. Frampton, and A. L. Hosking. Fine-grained adaptive biased locking. In International Conference on the Principles and Practice of Programming on the Java platform: virtual machines, languages, and tools, PPPJ, pages 171–181, Kongens Lyngby, Denmark, Aug. 2011. doi: 10.1145/2093157.2093184
- T. Kalibera, F. Pizlo, A. L. Hosking, and J. Vitek. Scheduling real-time garbage collection on uniprocessors. ACM Trans. Comput. Cyst., 29(3):8:1–29, Aug. 2011. doi: 10.1145/2003690.2003692
- K. Chapman, A. Hussein, and A. L. Hosking. X10 on the Single-chip Cloud Computer. In X10 Workshop, pages 7:1–8, San Jose, California, June 2011. doi: 10.1145/2212736.2212743
- F. Pizlo, L. Ziarek, P. Maj, A. L. Hosking, E. Blanton, and J. Vitek. Schism: Fragmentation-tolerant real-time garbage collection. In ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI, pages 146–159, Toronto, Canada, June 2010. doi: 10.1145/1806596.1806615
- L. Hellyer, R. Jones, and A. L. Hosking. The locality of concurrent write barriers. In ACM SIGPLAN International Symposium on Memory Management, ISMM, pages 83–92, Toronto, Canada, June 2010. doi: 10.1145/1806651.1806666
- P. McGachey, A. L. Hosking, and J. E. B. Moss. Pervasive load-time transformation for transparently distributed java. Electronic Notes in Theoretical Computer Science, 253(5):47–64, Dec. 2009. doi: 10.1016/j.entcs.2009.11.014
- T. Kalibera, F. Pizlo, A. L. Hosking, and J. Vitek. Scheduling hard real-time garbage collection. In IEEE Real-Time Systems Symposium, RTSS, pages 81–92, Washington, DC, Dec. 2009. doi: 10.1109/RTSS.2009.40
- P. McGachey, A. L. Hosking, and J. E. B. Moss. Classifying Java class transformations for pervasive virtualized access. In ACM SIGPLAN Conference on Generative Programming and Component Engineering, GPCE, pages 75–84, Denver, Colorado, Oct. 2009. doi: 10.1145/1621607.1621620
- A. L. Hosking, D. F. Bacon, and O. Krieger, editors. ACM SIGPLAN International Conference on Virtual Execution Environments, VEE, Washington, DC, Mar. 2009. doi: 10.1145/1508293
- S. E. Hambrusch, C. Hoffmann, J. T. Korb, M. Haugan, and A. L. Hosking. A multidisciplinary approach towards computational thinking for science majors. In ACM SIGCSE Technical Symposium on Computer Science Education, pages 183–187, Chattanooga, Tennessee, Mar. 2009. doi: 10.1145/1508865.1508931
Projects and Grants
Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.
- Verifying Concurrent Data Structures for Trustworthy Systems (Secondary Investigator)
- Verified Concurrent Memory Management on Modern Processors (Primary Investigator)
- Advanced Program Analysis for Software Vulnerability Discovery and Mitigation (Primary Investigator)
- Trustworthy High-Level Language Runtime (Primary Investigator)
- Micro Virtual Machine: Abstraction, contained (Secondary Investigator)
