University home page

Find an ExpertProfiling the University of Melbourne's Researchers

DR BERNARD POPE



Contact Details

Organization: Computer Science and Software Engineering
Position: LECTURER - COMPUTER SCIENCE
Email:

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Bachelor of Science University of Melbourne 31-Dec-1999
DOCTOR OF PHILOSOPHY University of Melbourne 31-Dec-2006
Doctorate in Computer Science University of Melbourne 31-Dec-2007

Other Awards

Award Type Awarding Body Comments Date Awarded
Other (Award) Computing Research and Education Association of Australasia Australasian Distinguished Doctoral Dissertation Award for Best Phd thesis in the field of Computer Science 01-Jan-2007

Government Research Classifications

Research Fields, Courses and Discipline Classifications

Socio-Economic Objective Classifications

Publications

Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.

Publications in 2007

Conference Publications/Papers

  • A Lightweight Interactive Debugger for Haskell
    Year: 2007
    Event name: Haskell'07 - ACM SIGPLAN 2007 Haskell Workshop
    Conference Publication: Proceedings of the ACM SIGPLAN 2007 Haskell Worshop
    Page numbers: 13-24
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2005

Book Chapters

  • Declarative Debugging with Buddha
    Year: 2005
    Book: Advanced Functional Programming
    Publisher: Springer Verlag(Berlin)
    Authors(s):

Publications in 2003

Conference Publications/Papers

  • A Program Transformation for Debugging Haskell 98
    Year: 2003
    Event name: Twenty-Sixth Australasian Computer Science Conference
    Conference Publication: Computer Science 2003: Proceedings of the Twenty-Sixth Australasian Computer Science Conference
    Page numbers: 227-236
    Publisher: Australian Computer Society(Sydney)
    Author(s):
  • Practical Aspects of Declarative Debugging in Haskell 98
    Year: 2003
    Event name: Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Conference Publication: Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
    Page numbers: 230-240
    Publisher: ACM Press(New York)
    Author(s):
  • Practical Aspects of Declarative Debugging in Haskell-98
    Year: 2003
    Event name: the 5th ACM SigPlan International Conference on Principles and Practice of Declarative Programming
    Conference Publication: Proceedings of the 5th ACM SigPlan International Conference on Principles and Practice of Declarative Programming
    Page numbers: 230-40
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2001

Conference Publications/Papers

  • Specialisation of Higher Order Functions for Debugging
    Year: 2001
    Event name: the International Workshop on Functional and (Constraint) Logic Programming WFLP 2001
    Conference Publication: Proceedings of the International Workshop on Functional and (Constraint) Logic Programming
    Page numbers: 87-100
    Publisher: Elsevier(Amsterdam)
    Author(s):
top of page