text_combined: ec2 ib5cisudeledu call position papers exploiting concurrency efficiently correctly ec2 cav 2008 workshop july 78 2008 princeton nj httpwwwcsutaheduec2 ability effectively harness computational power next generation multiprocessor multicore architectures predicated upon advances programming languages tools developing concurrent software resulted surge concurrencyrelated research activity different viewpoints rethinking programming abstractions memory models standardization formalization commonly used apis eg mpi openmp new forms hardware support parallel processing developing tools verifying debugging concurrent systems important theme cav believe formal methods research go beyond checking existing codesystems play role identifying right abstractions concurrency goal workshop bring together cav researchers experts involved developing multicore architectures programming languages concurrency libraries invited speakers saman amarsinghe mit jim larus microsoft research edward lee uc berkeley vivek sarkar rice university michael scott university rochester format twoday workshop include five invited talks several panel sessions authors position papers given opportunity present ideas either short presentation poster booklet consisting position papers distributed workshop participants seek submissions position statements 2 4 pages many possible themes position paper including survey authors relevant recent research discussion deficiencies current languages tools challenges future verification research andor vision change submissions topics relevant workshop title welcome including transactional memory programming constructs concurrency formalization concurrency libraries verification tools hardware support correctness introducing concurrency education particular interest position statements engaged significant case studies submission deadline april 10 2008 notification acceptance april 25 2008 submission instructions prepare 24 page position paper pdf format using tool like title name authors appear top first page email pdf document ec2cisudeledu position papers compiled booklet handed workshop participants first day workshop papers published least one author position paper expected register attend present information visit httpwwwcsutaheduec2 organizers rajeev alur university pennsylvania ganesh gopalakrishnan university utah vineet kahlon nec labs stephen siegel university delaware fri 08 aug 2008 052913 0500 uai ec2 call position papers