default search action

combined dblp search
author search
venue search
publication search

ask others

Compiler Optimization Meets Compiler Verification (COCV)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of: European Joint Conferences on Theory And Practice of Software (ETAPS)

6th COCV@ETAPS 2007: Braga, Portugal

- view
- export record
  dblp key:
  - conf/cocv/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocv/2007
Sabine Glesner, Jens Knoop, Rolf Drechsler:
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007. Electronic Notes in Theoretical Computer Science 190(4), Elsevier 2007 [contents]

5th COCV@ETAPS 2006: Vienna, Austria

- view
- export record
  dblp key:
  - conf/cocv/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocv/2006
Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006. Electronic Notes in Theoretical Computer Science 176(3), Elsevier 2007 [contents]

4th COCV@ETAPS 2005: Edinburgh, UK

- view
- export record
  dblp key:
  - conf/cocv/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocv/2005
Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005. Electronic Notes in Theoretical Computer Science 141(2), Elsevier 2005 [contents]

3rd COCV@ETAPS 2004: Barcelona, Spain

- view
- export record
  dblp key:
  - conf/cocv/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocv/2004
Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 132(1), Elsevier 2005 [contents]

2nd COCV@ETAPS 2003: Warsaw, Poland

- view
- export record
  dblp key:
  - conf/cocv/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocv/2003
Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003. Electronic Notes in Theoretical Computer Science 82(2), Elsevier 2004 [contents]

1st COCV@ETAPS 2002: Grenoble, France

- view
- export record
  dblp key:
  - conf/cocv/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocv/2002
Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(2), Elsevier 2002 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.