University home page

Find an ExpertProfiling the University of Melbourne's Researchers

DR LEE NAISH



Contact Details

Organization: Computer Science and Software Engineering
Position: SENIOR LECTURER
Email:
Homepage: http://www.cs.mu.oz.au/~lee
Work: 83441343
Fax: 93481184
Room: 525
Level: 05
Building: 111-117 Barry St.
Campus: Parkville

Research Expertise and International Linkages

Research Expertise

Research Interest Country of Expertise
Declarative programming languages Australia, Belgium, Spain, Sweden
Debugging France

International Linkages

Country Establishment Collaboration
Belgium Katholiek Universiteit Leuven Exchange, Research
Spain Polytechnic University of Madrid Exchange, Research

Qualifications, Honours, Fellowships and Other Awards

Qualifications

Title Institution Date Awarded Abbreviation
Bachelor of Science University of Melbourne
Doctor of Philosophy University of Melbourne

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 2009

Conference Publications/Papers

  • Study of the Relationship of Bug Consistency with respect to Performance of Spectra Metrics
    Year: 2009
    Event name: 2nd IEEE International Conference on Computer Science and Information Technology, 2009. ICCSIT 2009
    Conference Publication: 2nd IEEE International Conference on Computer Science and Information Technology, 2009. ICCSIT 2009
    Page numbers: 501-508
    Publisher: IEEE - Institute of Electrical and Electronic Engineers(Piscataway)
    Author(s):
  • The Effectiveness of Using Non redundant Test Cases with Program Spectra for Bug Localization
    Year: 2009
    Event name: 2nd IEEE International Conference on Computer Science and Information Technology, 2009. ICCSIT 2009
    Conference Publication: 2nd IEEE International Conference on Computer Science and Information Technology, 2009. ICCSIT 2009
    Page numbers: 127-134
    Publisher: IEEE - Institute of Electrical and Electronic Engineers(Piscataway)
    Author(s):

Publications in 2008

Journal Articles

  • Probabilistic Declarative Debugging
    Year: 2008
    Journal: Journal of Functional and Logic Programming
    Volume: 2008
    Issue: 1
    Page numbers: 1-29
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Coercion-Resistant tallying for STV voting
    Year: 2008
    Event name: EVT '08 - 2008 USENIX/ACCURATE Electronic Voting Technology Workshop
    Conference Publication: Proceedings of the 2008 USENIX/ACCURATE Electronic Voting Workshop
    Page numbers: 1-14
    Publisher: USENIX Association(California)
    Author(s):

Publications in 2007

Conference Publications/Papers

  • Resource-Oriented Deadlock Analysis
    Year: 2007
    Event name: ICLP 2007 - 23rd International Conference
    Conference Publication: Logic Programming - 23rd International Conference, ICLP 2007
    Page numbers: 302-316
    Publisher: Springer Verlag(Berlin)
    Author(s):

Publications in 2006

Journal Articles

Publications in 2005

Publications in 2004

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):
  • Approximating the Success Set of Logic Programs Using Constrained Regular Types
    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: 61-67
    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 2002

Journal Articles

  • Animating recursive algorithms
    Year: 2002
    Journal: Interactive Multimedia Electronic Journal of Computer-Enhanced Learning
    Volume: 4
    Issue: 2
    Page numbers: 1
    Publisher: Wake Forest University(Winston Salem)
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Visual Representation for Recursive Algorithms
    Year: 2002
    Event name: 33rd Annual SIGCSE Technical Symposium on Computer Science Education
    Conference Publication: Proceedings of the 33rd Annual SIGCSE Technical Symposium on Computer Science Education
    Page numbers: 196-200
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2001

Journal Articles

  • Special Issue on Logic Programming and the INTERNET
    Year: 2001
    Journal: Theory and Practice of Logic Programming
    Volume: 1
    Issue: 3
    Page numbers: 249 - 250
    Publisher: Cambridge University Press(Cambridge)
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.
  • TPLP pearls submission guidelines
    Year: 2001
    Journal: Theory and Practice of Logic Programming
    Volume: 1
    Issue: 1
    Page numbers: 127 - 128
    Publisher: Cambridge University Press(Cambridge)
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

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