[sts] PROHA 2016 (@ CGO'16): Early Registration Deadline (Feb 3)

Guillermo Vigueras guillermo.vigueras at imdea.org
Tue Feb 2 21:52:37 GMT 2016


[Apologies if you receive multiple copies of this announcement.]

******************************************************************************

		 PROHA 2016 -- CALL FOR PARTICIPATION

	       First Workshop on Program Transformation
	  for Programmability in Heterogeneous Architectures

		    Website: http://goo.gl/RzGbzY

		      Barcelona, 12th March 2016
	      In conjunction with the CGO'16 Conference

	==== Early Bird Registration: February 3rd, 2016 ====

	       For registration information, please see
		 http://cgo.org/cgo2016/registration/

******************************************************************************

The PROHA  workshop focuses on  techniques and foundations to  make it
possible  to perform  source  code transformations  that preserve  the
intended  semantics  of  the original  code  and  improve  efficiency,
portability  or  maintainability.   The  topics of  interest  for  the
workshop  include,  non-exclusively:  program annotations  to  capture
algorithmic  properties   and intended  code   semantics;  programming
paradigms  able to  express  underlying  (mathematical) properties  of
code; usage  of dynamic and  static mechanisms to infer  relevant code
properties;   transformations  which   preserve  intended   semantics;
strategies  to  apply  transformations; heuristics  to  guide  program
transformation and techniques to  synthesize / learn these heuristics;
tools supporting the aforementioned topics.

Venue: Gran Hotel Princesa Sofia, Barcelona, Spain.

Please consult the workshop website (http://goo.gl/RzGbzY) for an
up-to-date program.

******************************************************************************


-- 
Dr. Guillermo Vigueras (PhD)
Research Associate
IMDEA Software Institute
Campus Montegancedo s/n
28223 Pozuelo de Alarcon, Madrid
SPAIN
Tel: +34911012202 (ext. 4165)
Fax: +34911011358



More information about the sts mailing list