This is an old revision of the document!
Selected Publications on Conference Proceedings
- 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