[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] TMC 2011 Call for Papers
- To: acl2@xxxxxxxxxxxxxxxxxx, agents@xxxxxxxxxxxxx, ai@xxxxxxxxxxxx, aiia@xxxxxxxxxxx, arw-committee@xxxxxxxxxxxxx, asl@xxxxxxxxxx, calculemus-ig@xxxxxxxxxxxxx, concurrency@xxxxxx, coq-club@xxxxxxxxxxxxxxxxx, elsnet-list@xxxxxxxxx, fm-discussion@xxxxxxxxxxxx, fm-info@xxxxxxxxxxxxxxxxxxx, fmcad@xxxxxxxxxxxxxxxxxx, fom@xxxxxxxxxx, haskell@xxxxxxxxxxx, hol-info@xxxxxxxxxxxxxxxxxxxxx, img@xxxxxxxxxxxx, isabelle-users@xxxxxxxxxxxx, kgs-list@xxxxxxxx, ki-inf@xxxxxxxxxxxxxx, kr@xxxxxx, lfcs-interest@xxxxxxxxxxxx, lics@xxxxxxxxxxxxxxxxxxxxxxx, lics@xxxxxxxxxxxxxxxxxxxxxx, loco@xxxxxxxxxxxxx, loginf@xxxxxxxxxxxxxxxxxxxxx, math.logik@xxxxxxx, metaprl@xxxxxxxxxxx, mizar-forum@xxxxxxxxxxxxxxxx, mowgli-dev@xxxxxxxxxxx, newsletter@xxxxxxxxxx, om-announce@xxxxxxxxxxxx, omdoc@xxxxxxxxxxx, pvs@xxxxxxxxxxx, relmics-l@xxxxxxxxxxx, rewriting@xxxxxxxxxxx, theorem-provers@xxxxxxxxxx, theory-logic@xxxxxxxxxx, twelf-list@xxxxxxxxx, types-announce@xxxxxxxxxxxxxxxxxxxx, vdm-forum@xxxxxxxxxxxxxx, w3c-math-wg@xxxxxx, zforum@xxxxxxxxxxxx
- Subject: [PVS] TMC 2011 Call for Papers
- From: Sandip Ray <sandip@xxxxxxxxxxxxx>
- Date: Wed, 27 Jul 2011 12:12:19 -0500
- Cc: Caitlin Sadowski <supertri@xxxxxxxxxxx>, Jaeheon Yi <jaeheon@xxxxxxxxxxxx>, Ganesh Gopalakrishnan <ganesh@xxxxxxxxxxx>
- List-Archive: <http://lists.csl.sri.com/mailman/private/pvs>
- List-Help: <mailto:firstname.lastname@example.org?subject=help>
- List-Id: PVS <pvs.csl.sri.com>
- List-Post: <mailto:email@example.com>
- List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:firstname.lastname@example.org?subject=subscribe>
- List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:email@example.com?subject=unsubscribe>
- Sender: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx
If you work with multicores, we would like to invite you share your
insights with us, and submit a workshop paper to TMC 2011!
Workshop on Transitioning to Multicore (TMC 2011)
Held at Portland, Oregon, October 23, 2011.
Co-located with SPLASH/OOPSLA.
Submission deadline: August 5, 2011.
Call for Papers:
TMC is focused on tools and systems for parallel programming that are
interoperable with legacy code, minimize the annotation burden for
developers, and match well with current industry practice. We solicit
industry experience reports about working or unworkable examples of
such tools or systems, as well as research reports on topics
* Surveys or empirical studies measuring current practice for
multicore programming in industry
* Field studies identifying barriers and benefits to using existing
* Analysis tools focused on correctness, performance, or
understandability of existing programs
* New programming models which are interoperable with legacy
The goal of TMC is to foster critical industry-research dialogue on
transitioning to multicore. Industry participants will have the
opportunity to potentially influence future research
directions. Research participants will have the opportunity to put
their work into industry context and learn about interesting research
This workshop will comprise paper presentations, followed by a panel
presentation focused on describing some of the challenges with
transitioning to multicore that have been under-discussed within the
research community, and ending with a group discussion.
- Please share this CFP with interested colleagues.