IBM Verification conference. Haifa 2005. Call for papers & tools.
14 Jul 2005, submitted by Shmuel Ur (UR at il.ibm.com)
Call for Papers and Tools
Verification conference (IBM verification 2005)
November 13-16, 2005, Haifa, Israel
Sponsored by Caesarea Rothschild Institute (CRI)
website: http://www.haifa.il.ibm.com/Workshops/verification2005/index.html
The Software and Verification Technologies Department at the IBM Haifa
Research Lab (HRL) cordially invites you to submit a paper to the IBM
verification conference.
The verification conference includes three full day sessions and a one day
tutorial focusing on verification technologies, software testing, and
testing of parallel systems (PADTAD). The seminars will involve the
presentation of original, peer reviewed, technical papers and lectures by
invited industrial and academic guests. Technical papers will be published
in a Springer proceeding. The event will take place at the IBM Research Lab
in Haifa, located on the University of Haifa campus, Mount Carmel, Haifa,
Israel and in Caesarea Rothschild Institute (CRI) at the University of
Haifa.
The three full-day sessions provide a forum for the academia and industry
research and development communities to share their work, exchange ideas,
discuss issues, problems, and work-in-progress, as well as future research
directions and trends. Participation is free. The official language of the
conference is English. Please confirm your participation by November 3 via
the seminar website:
http://www.haifa.il.ibm.com/Workshops/verification2005/registration.html
In addition to the call for papers, this conference has a call for tools.
Tool support is crucial for testing and verification. The IBM Verification
Conference will place specific focus on emerging tools, especially open
source and academic tools.
Tool presenters will be invited to submit a paper to a special issue of
Systems of Science of Computer Programming on testing and verification
tools, which will be dedicated to tools presented at the IBM Verification
Conference. These papers will be submitted following the conference and
will be reviewed by the conference committee. Open source and academic
tools are especially welcome, as the publication can include source code as
well.
Important dates (for papers and tools):
Paper due:
September 09, 2005
Notification of paper acceptance: October
02, 2005
Camera ready copy:
October 15, 2005
Conference start (Sunday): November 13, 2005
Major topics include, but are not limited to:
Verification Track Topics
Microprocessors, ASICs, SOCs, and system verification
Experiences with simulation-based and formal verification
Classification of hardware bugs
High-level test generation for functional verification
Simulation based verification
Emulation and acceleration techniques in verification
Post silicon debugging
Formal methods and their applications
Verification using SAT
Verification coverage
Equivalence checking
Path analysis for verification
Design for verifiability
Hardware/software co-verification and co-testing
Use of ESL for verification.
Simulation-checking: assertion based, high-level rule-based,
reference models, and score-boards
CSP applications in functional verification
Hybrid simulation and formal analysis methods
Software Testing Track Topics
Using static analysis in testing
Testing throughout the lifecycle
Business value (ROI) of testing
Risk-based testing
Defect prevention
Test-driven development
Developer testing
Technical review inspections
Pair testing
Automatic test generation
Test automation frameworks
Release and stopping criteria
Testing techniques
Test measurements and metrics
Exploratory testing
Component testing
Model-based testing
Automated functional testing
Performance, stress, and load testing
Testing Web services and other technologies
Testing in JAVA, .NET, and other environments
Testing embedded software
Testing in an agile environment
PADTAD Track Topics
Tools for the testing or debugging of MPD (
multi-threaded/parallel/distributed ) applications
Interactions between memory models and testing
Test generation algorithms for MPD applications
Debugging advanced network interface technologies (e.g., Myrinet,
VIA)
Debugging and testing MPD applications
Using static analysis or formal verification to enhance debugging
and testing of MPD applications
Detecting race conditions and deadlocks
Debugging and replay of MPD applications
Finding timing bugs early in the process
Testing real-time MPD applications
Fault injection of MPD applications
Testing the fault tolerance of MPD applications
Testing and debugging techniques for timing related bugs in hardware
Pilots in applying new testing techniques to MPD applications
Conference organizers:
Shmuel Ur (ur@il.ibm.com)
Eyal Bin (bin@il.ibm.com)
Eitan Farchi (farchi@il.ibm.com)
Yaron Wolfsthal (wolfstal@il.ibm.com)
Avi Ziv (aziv@il.ibm.com)
Program chair
Shmuel Ur, IBM Haifa Labs, Israel (ur@il.ibm.com)
Program commettee:
Jose Nelson Amaral, University of Alberta, Canada (
amaral@cs.ualberta.ca)
Yosi Ben-Asher, University of Haifa, Israel (yosi@cs.haifa.ac.il)
Valeria Bertachio, Department of Electrical Engineering and Computer
Science, University of Michigan (valeria@unich.edu)
Angelos Bilas, University of Toronto, Canada (bilas@eecg.toronto.edu
)
Eyal Bin, IBM Haifa Labs, Israel (bin@il.ibm.com)
Roderick Bloem, Graz University of Technology (
Roderick.Bloem@ist.TUGratz.at)
Alessandro Cimatti, IRST - Istituto per la Ricerca Scientifica e
Tecnologica, Italy (cimatti@itc.it)
Giorgio Delzanno, Universita di Genova, Italy (giorgio@disi.unige.it
)
Jong-Deok Choi, IBM Research, U.S.A. (jdchoi@us.ibm.com)
Jack Dongarra, University of Tennessee, U.S.A. (dongarra@cs.utk.edu)
Orit Edelstein, IBM Haifa Labs, Israel (edelstein@il.ibm.com)
Eitan Farchi, IBM Haifa Labs, Israel (farchi@il.ibm.com)
Mike Feeley, University of British Columbia, Canada (
feeley@cs.ubc.ca)
Bernd Finkbeiner, Universität des Saarlandes , Germany (
finkbeiner@cs.uni-sb.de)
Cormac Flanagan, University of California, Santa Cruz (
cormac@cs.ucsc.edu)
Ian Harris, University of California, Irvine (harris@ics.uci.edu)
Alan Hartman, IBM Haifa Labs, Israel (hartman@il.ibm.com)
Warren Hunt, The University of Texas, Austin (hunt@cs.utexas.edu)
Abraham Kandel, University of South Florida, U.S.A (
kandel@cse.usf.edu)
Tsvi Kuflik, University of Haifa, Israel (
tsvikak@mis.hevra.haifa.ac.il)
Mark Last, Ben Gurion University, Israel (mlast@bgumail.bgu.ac.il)
Mauro Pezze, Universita degli Studi di Milano, Bicocca (
pezze@disco.unimib.it)
Daniel J. Quinlan, Lawrence Livermore National Labratories, U.S.A (
dquinlan@llnl.gov)
Grigore Rosu, University of Illinois at Urbana-Champaign, U.S.A (
http://cs.uiuc.edu/grosu)
Yaron Wolfsthal , IBM Haifa Labs, Israel (wolfstal@il.ibm.com)
Simon Rushton, IBM England (RUSHTON@uk.ibm.com)
Frank Scholz, IBM, Germany (FSCHOLZ@de.ibm.com)
Assaf Schuster, Technion Institute, Haifa, Israel (
assaf@cs.technion.ac.il)
Scott Stoller, SUNY Stony Brook, U.S.A (stoller@cs.sunysb.edu)
Ofer Strichman, Technion, Israel (ofers@ie.technion.ac.il)
Paul Strooper, University of Queensland, Australia (
pstroop@itee.uq.edu.au)
Serdar Tasiran, Ko· University, Turkey (stasiran@ku.edu.tr)
Willem Visser, NASA, U.S.A (wvisser@email.arc.nasa.gov)
Avi Ziv, IBM Haifa Labs, Israel (aziv@il.ibm.com)
Local arrangements chair:
Yaniv Eytani (ieytani@cslx.haifa.ac.il)
Thank you,
Shmuel Ur
IBM Master Inventor
Tel: +972-4-82962500
Fax: +972-4-8296114
email: ur@il.ibm.com
============================================================
To contribute to SEWORLD, send your submission to
<seworld@cs.colorado.edu>.
http://www.cs.colorado.edu/serl/seworld provides more
information on SEWORLD as well as a complete archive of
messages posted to the list.
To subscribe to SEWORLD, send the following (as the body of
a message) to <seworld-subscribe@cs.colorado.edu>:
subscribe seworld <desired e-mail address>
end
To unsubscribe from SEWORLD, send the following (as the body
of a message) to <seworld-unsubscribe@cs.colorado.edu>:
unsubscribe seworld <registered e-mail address>
end
============================================================