G. Agosta, A. Barenghi, G. Pelosi, M. Scandale. Towards Transparently Tackling Functionality and Performance Issues Across Different OpenCL Platforms. To appear in proceedings of the Second International Symposium on Computing and Networking — Across Practical Development and Theoretical Research (CANDAR 2014), December 2014

G. Agosta, A. Barenghi, G. Pelosi, M. Scandale. Differential Fault Analysis for Block Ciphers: An Automated Conservative Analysis. To appear in Proceedings of the 7th International Conference of Security of Information and Networks (SIN'14), September 2014 (Best Paper Award).

G. Agosta, A. Barenghi, G. Pelosi, M. Scandale. A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software. In 51th Annual ACM/IEEE Design Automation Conference (DAC'14), June 2014.

G. Agosta, A. Barenghi, M. Maggi, G. Pelosi. Compiler-based Side Channel Vulnerability Analysis and Optimized Countermeasures Application. In 50th Annual ACM/IEEE Design Automation Conference (DAC'13), June 2013.

G. Agosta, A. Barenghi, G. Pelosi. A Code Morphing Methodology to Automate Power Analysis Countermeasures. In 49th Annual ACM/IEEE Design Automation Conference (DAC'12), June 2012.

A. Di Biagio, E. Speziale, G. Agosta. Exploiting Thread-Data Affinity in OpenMP with Data Access Patterns. In proceedings of Euro-Par 2011, Bordeaux, August/September 2011.

Simone Campanoni and Stefano Crespi Reghizzi, Traces of control-flow graphs, DLT 2009, Stuttgart University, Germany, June, 2009.

Vijay Janapa Reddi, Meeta S. Gupta, Krishna K. Rangan, Simone Campanoni, Glenn Holloway, Michael D. Smith, Gu-Yeon Wei and David Brooks, Voltage Noise: Why It’s Bad, and What To Do About It, SELSE 2009, Stanford University, March, 2009.

Vijay Janapa Reddi, Simone Campanoni, Meeta S. Gupta, Michael D. Smith, Gu-Yeon Wei, and David Brooks, Software-Assisted Hardware Reliability at Reduced Operating Margins, DAC 2009, San Francisco, July, 2009.

S. Campanoni, M. Sykora, G. Agosta and S. Crespi Reghizzi, Dynamic Lookahead Compilation, CC 2009, York, March 2009.

A. Cherubini, S. Crespi-Reghizzi and M. Pradella; Regional languages and tiling: a unifying approach to picture grammars, MFCS 2008, Torun August 2008.

S. Crespi Reghizzi and P.L. San Pietro, Consensual definition of languages by regular sets, LATA 2008, Tarragona, March 2008.

G. Agosta and G. Pelosi. A Domain Specific Language for Cryptography. In proceedings of the Forum on specification and Design Languages (FDL 07), Barcelona, Sep 2007.

Martino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi: “Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors”. IPDPS 2007, Long Beach, Mar 2007.

G. Agosta, S. Crespi Reghizzi, D. Domizioli and M. Sykora. Global Instruction Scheduling in Dynamic Compilation for Embedded Systems. In proceedins of the 4th Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2006), Paris, Oct 2006.

Anna Beletska, Pierluigi San Pietro. “Using the Affine Transformation Framework for Computer Simulation”. In Proceedings of International Conference on Advanced Computer Systems (ACS'2006)

Giovanni Agosta, Stefano Crespi Reghizzi, Paolo Palumbo, Martino Sykora. “Selective Compilation via Fast Code Analysis and Bytecode Tracing”. In 21st ACM Symposium on Applied Computing, April 2006, Dijon, France

Giovanni Agosta, Stefano Crespi Reghizzi, Gerlando Falauto, Martino Sykora. “Just-In-Time Scheduling Translation for Parallel Processors”. In 3rd International Symposium on Parallel and Distributed Computing (ISPDC 2004), July 2004, Cork, Ireland

G. Agosta, G. Palermo, and C. Silvano. ``Multi-Objective Co-Exploration of Source Code Transformations and Design Space Architectures for Low-Power Embedded Systems''. In 19th Annual ACM Symposium on Applied Computing, Special Track on Embedded Systems, Mar 2004

Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro. “Experiences with a Formal Method for Design and Automatic Checking of User Interfaces”. In Workshop on Making model-based user interface design practical: usable and open methods and tools, Funchal, Madeira, Portugal, January 13, 2004

Marco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou. “The Impact of Alias Analysis on VLIW Scheduling”. In Proceedings of the 4th International Symposium on High Performance Computing, Kansai Science City, Japan, May 15-17, 2002

E. Ciapessoni, S. Crespi Reghizzi et al., Partitioning of hierarchical automation systems, 13th Euromicro Conf. on Real-Time Systems, Delft, 2001

Vincenzo Martena, Pierluigi San Pietro: Alias Analysis by Means of a Model Checker. Compiler Construction 2001: 3-19