===== Selected Publications on Conference Proceedings =====
  - 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 ([[http://www.sinconf.org/sin2014/index.php/78-sin2014/24-mainpage|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