University home page

Find an ExpertProfiling the University of Melbourne's Researchers

MR NICHOLAS NETHERCOTE



Contact Details

Organization: Electrical and Electronic Engineering, Computer Science and Software Engineering
Position: Honorary (Fellow), Honorary (Fellow)
Email:

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 2008

Journal Articles

  • The Design of the Zinc Modelling Language
    Year: 2008
    Journal: Constraints
    Volume: 13
    Issue: 3
    Page numbers: 229-267
    Author(s):
    Super Search Source this item in the University's Catalouge locate this resource.

Conference Publications/Papers

  • Adding Search to Zinc


    Year: 2008
    Event name: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
    Conference Publication: Lecture Notes in Computer Science: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008
    Volume: 5202
    Page numbers: 624-629
    Publisher: Springer-Verlag Heidelberg(Heidelberg)
    Author(s):
  • The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers
    Year: 2008
    Event name: The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08)
    Conference Publication: The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08): Collocated with the Special Session on Declarative Programming Paradigms and Systems for Non-Monotonic Reasoning at NMR'08
    Page numbers: 1-20
    Publisher: The Association for Constraint Programming(Padova)
    Author(s):

Publications in 2007

Conference Publications/Papers

  • How to Shadow Every Byte of Memory Used by a Program
    Year: 2007
    Event name: Third International ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments (VEE 2007)
    Conference Publication: Proceedings of the Third International ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments (VEE 2007)
    Page numbers: 65-74
    Publisher: ACM Press(New York)
    Author(s):
  • MiniZinc: Towards a Standard CP Modelling Language
    Year: 2007
    Event name: the 13th International Conference on Principles and Practice of Constraint Programming
    Conference Publication: Principles and Practice of Constraint Programming
    Volume: LNCS 4741
    Page numbers: 529-543
    Publisher: Springer Verlag(Berlin)
    Author(s):
  • Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors
    Year: 2007
    Event name: OOPSLA 2007 - International Conference on Object-Orientated Programming, Systems, Languages and Applications
    Conference Publication: Proceedings of the ACM SIGPLAN International Conference on Object-Orientated Programming, Systems, Languages and Applications (OOPSLA 2007)
    Page numbers: 405-422
    Publisher: ACM Press(New York)
    Author(s):
  • Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation
    Year: 2007
    Event name: ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007)
    Conference Publication: Proceedings of ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007)
    Page numbers: 89-100
    Publisher: ACM Press(New York)
    Author(s):

Publications in 2006

Conference Publications/Papers

  • Building Workload Characterization Tools with Valgrind
    Year: 2006
    Event name: 2006 IEEE International Symposium on Workload characterization
    Conference Publication: 2006 IEEE International Symposium on Workload characterization
    Page numbers: 2-2
    Publisher: IEEE Computer Society(California)
    Author(s):
top of page