ELVIS> Main>People>DavidPearce (11 Mar 2010, Main.djp)
dave2.jpg

Hello!

I'm interested in graph algorithms, program analysis and programming languages. If you're interested in finding out what projects I have available, have a look here.

Conferences

A list of conferences past and present which I am interested in.

Programming Language Conferences:

  • International Symposium on Software Testing and Analysis (ISSTA)
  • IEEE/ACM Conference on Automated Software Engineering (ASE)
  • ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA):
  • TOOLS EUROPE
  • European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE):
  • Verified Software: Theories, Tools and Experiments (VSTTE)
    • 2005 2006 2007 2008 2009 2010 (deadline March 29)
  • International Conference on Software Engineering and Formal Methods (SEFM)
  • IEEE Conference on Software Maintenance (ICSM)
  • ACM International Conference on Functional Programming (ICFP)
  • ACM Conference on Principles and Practices of Programming in Java (PPPJ)
  • ASIAN Symposium on Programming Languages and Systems (APLAS):
  • Conference on Software Language Engineering (SLE)
    • 2005? 2006? 2007? 2008 (deadline July 14th)
  • ACM symposium on the Principles Of Programming Languages (POPL):
  • ACM Symposium on Applied Computing (SAC) (Program Languages and Analysis, among other things):
  • ACM Internation Conference on Software Engineering (ICSE):
  • ACM Conference on Aspect-Oriented Software Development (AOSD):
  • European conference on Theory and Practice of Software (ETAPS):
  • Australian Conference on Software Engineering (ASWEC)
  • ACM conference on Programming Language Design and Implementation (PLDI):

Formal Verification Conferences

  • NASA Formal Methods Symposium
  • Conference on Computer Aided Verification (CAV):
  • Static Analysis Symposium (SAS):
  • Conference on Automated Deduction (CADE) (deadline feb 23rd) :
  • International Joint Conference on Automated Reasoning (IJCAR)
  • Symposium on the Integration of Symbolic Computation and Mechanised Reasoning (Calculemus)

  • International Symposium on Automated Technology for Verification and Analysis (ATVA)
  • Workshop on Systems Software Verification (SSV08)
  • International Conference on Verification, Model Checking, and Abstract Interpretation ( VMCAI)
  • ACM Workshop on Programming Languages Meets Verification ( PPV) (dealine 15th October)
  • Symposium on Formal Methods ( FM)

Algorithm / Theory Conferences:

  • Workshop on Experimental and efficient Algrothims (WEA):
  • International Symposium on Symbolic and Algebraic Computation (ISSAC):
  • Computing and Combinatorics Conference (COCOON):
  • Workshop on Algorithms and Data Structures (WADS) / Scandinavian Workshop on Algorithm Theory (SWAT):
  • Analysis of Algorithms (AofA)
  • Fundamentals of Computation Theory (FCT)
  • European Symposium on Algorithms (ESA):
  • IEEE Foundations of Computer Science (FOCS):
  • Conference on Graph Drawing (GD):
  • International Symposium on Algorithms and Computation (ISAAC):
  • Australasian Workshop on Combinatorial Algorithms (AWOCA):
    • 2005 2006? 2007? (deadline June 22nd)
  • ACM-SIAM Symposium on Discrete Algorithms (SODA):
  • The Australasian Theory Symposium (CATS):
  • Symposium on Theoretical Aspects of Computer Science (STACS):
  • ACM Workshop on Algorithm Engineering and Experiments (ALENEX):
  • ACM Symposium on Theory of Computing (STOC):
  • See also: Theory Calendar

Journals

Programming Language Journals:
  • Transactions On Programming Languages and Systems Link
  • Transactions on Architecture and Code Optimization (TACO) link
  • Software Practice and Experience Link
  • Science of Computer Programming Link
  • Transactions on Aspect-Oriented Software Development Link

Algorithm / Theory Journals:

  • SIAM Journal of Computing Link
  • Acta Informatica Link
  • Algorithmica Link
  • Theoretical Computer Science Link
  • Information Processing Letters Link
  • Journal of Algorithms Link
  • ACM Transactions on Algorithms Link
  • Journal of Graph Algorithms and Applications Link
  • Nordic Journal of Computing Link

  • Journal of Experimental Algorithmics Link

See also various lists: 1 2

Funding Opportunities

  • BuildIT link
    • BuildIT's task is to grow and strengthen the ICT research community in New Zealand. This initiative focuses on the development of young and emerging researchers to ensure a solid basis for the future of ICT research.
  • Marsden Fund Link
  • Marie-Curie Fellowship (EU FP7) NZ Link (deadline 19th August 2008)
    • 2 or 3 year grants for working at EU research institutions, or bring EU researchers outside the EU.
  • European Cooperation in Science and Technology (COST) Link
    • The arrangement provides for travel grants of up to $NZD5,000 each to supplement travel and subsistence expenses for New Zealand researchers to travel to Europe.
    • See Action IC0701: Formal Verification of Object-Oriented Software Link
  • The International Science and Technology (ISAT) Linkages Fund Link (deadline was July 2008)
    • The fund facilitates bilateral research through the provision of funding for New Zealand researchers to travel overseas or for overseas researchers to travel to New Zealand to work on joint projects.
  • The Charles Fleming Fund Link (deadline was 1 May 2008)
    • Travel Award. Up to $6,000 available annually to support a scientist(s) or technologist(s) to travel and attend scientific congresses, assemblies, or committees for the furtherance of science or technology.

Project Links

  • General Links
  • Querying
  • Relationships
  • Type inference in Java
    • JVer: A Java Verifier
    • Inferring Object Invariants
    • Non-null References by Default in the Java Modeling Language
    • ESC/Java Static Checker for Java.
    • JML
    • Semantic Type Qualifiers, Brian Chin, Shane Markstrum, and Todd Millstein.
  • Composite Types
    • Extented ML --- a framework for specification and formal development of Standard ML programs.
    • Expressive, Efficient instance variables. J. Dean, D. Grove, C. Chambers and V. Litvinov.
    • JML
    • Typestates for Object, Robert DeLine and Manual Fahndrich, ECOOP 2004.

Library of Dave

Because I have so many books. Not!

  • CraigAnslow
    • Object-Oriented Design and Patterns 2nd Edition - Cay Hortsmann COMP205 Textbook
  • Victoria Ozorio
    • Mastering AspectJ
  • Hui
    • Software Fundamentals, Dave Parnas
Print version | Backlinks
 
© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated