Selected Publications

Books

  1. Stefano Crespi Reghizzi, Formal Languages and Compilation, Texts in Computer Science series, Springer, 2009.

In Italian, the book is published by Pitagora.

Selected Publications on Transactions and Journals

  1. G. Agosta, A. Barenghi, G. Pelosi, and M. Scandale. Trace-based Schedulability Analysis to Enhance Passive Side-Channel Attack Resilience of Embedded Software. To appear in Information Processing Letters, Elsevier (accepted September 2014).
  2. G. Agosta, A. Barenghi, M. Maggi, and G. Pelosi. Design Space Extension for Secure Implementation of Block Ciphers. To appear in IET Computers & Digital Techniques (accepted September 2014).
  3. G. Agosta, A. Barenghi, A. Di Federico, and G. Pelosi. OpenCL Performance Portability for GPGPUs: an Exploration on Cryptographic Primitives. In Concurrency and Computation: Practice and Experience (accepted July 2014, published online August 2014).
  4. A. Di Biagio, G. Agosta, C. Silvano, M. Sykora. Architecture Optimization of Application-Specific Implicit Instructions. In ACM Transaction on Embedded Computing Systems, Volume 11 Issue S2, August 2012 Article No. 44 (accepted January 2010).
  5. S. Campanoni, A. Di Biagio, G. Agosta and S. Crespi Reghizzi: A highly flexible, parallel virtual machine: design and experience of ILDJIT. To appear in Software – Practice and Experience, accepted June 2009.
  6. M. Pradella and S. Crespi Reghizzi: A SAT-based parser and completer for pictures specified by tiling, Pattern Recognition, Volume 41, Issue 2, February 2008, pages 555-566.
  7. S. Crespi Reghizzi and M. Pradella:A CKY parser for picture grammars, Information Processing Letters, Volume 105, 213-217, March 2008.
  8. G. Agosta, G. Palermo and C. Silvano. Efficient Architecture/Compiler Co-Exploration Using Analytical Models. In Design Automation for Embedded Systems, Vol 11, No 1, Mar 2006, Springer.
  9. Anna Beletska. “Extracting coarse-grained parallelism with the Affine Transformation Framework and its limitations”. In Electronic Modelling, no.5, (2006)
  10. Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro: A scalable formal method for design and automatic checking of user interfaces. ACM Trans. Softw. Eng. Methodol. 14(2): 124-167 (2005)
  11. Giovanni Agosta, Stefano Crespi Reghizzi, Gerlando Falauto, Martino Sykora. “Just-In-Time Scheduling Translation for Parallel Processors”. In Scientific Programming 3(13), 2005, IOS Press
  12. S. Crespi Reghizzi and M. Pradella, Tile rewriting grammars and picture languages, Theoretical Computer Science, Vol. 340/2 pp 257-272, 2005.

Selected Publications on Conference Proceedings

  1. 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
  2. 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).
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. Simone Campanoni and Stefano Crespi Reghizzi, Traces of control-flow graphs, DLT 2009, Stuttgart University, Germany, June, 2009.
  8. 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.
  9. 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.
  10. S. Campanoni, M. Sykora, G. Agosta and S. Crespi Reghizzi, Dynamic Lookahead Compilation, CC 2009, York, March 2009.
  11. A. Cherubini, S. Crespi-Reghizzi and M. Pradella; Regional languages and tiling: a unifying approach to picture grammars, MFCS 2008, Torun August 2008.
  12. S. Crespi Reghizzi and P.L. San Pietro, Consensual definition of languages by regular sets, LATA 2008, Tarragona, March 2008.
  13. 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.
  14. 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.
  15. 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.
  16. Anna Beletska, Pierluigi San Pietro. “Using the Affine Transformation Framework for Computer Simulation”. In Proceedings of International Conference on Advanced Computer Systems (ACS'2006)
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. E. Ciapessoni, S. Crespi Reghizzi et al., Partitioning of hierarchical automation systems, 13th Euromicro Conf. on Real-Time Systems, Delft, 2001
  23. Vincenzo Martena, Pierluigi San Pietro: Alias Analysis by Means of a Model Checker. Compiler Construction 2001: 3-19

PhD Dissertations

  1. M. Sykora. , Politecnico di Milano, 2007
  2. G. Agosta. Dynamic Compilation for Architectures with Instruction-Level Parallelism. Politecnico di Milano, 2004
  3. Vincenzo Martena, Alias Analysis by Means of a Model Checker. Politecnico di Milano, 2003
  4. Marco Garatti, On-demand Alias Analysis Impact on VLIW Instruction Scheduling. Politecnico di Milano, 2002
· %2013/%04/%16 %03:%Apr

Laurea Theses

  1. Michele Tartara. “ARM Code Generation and Optimization in a Dynamic Compiler”, Politecnico di Milano, April 2009
  2. Antonio Parata. “Individuazione automatica di vulnerabilita' in applicazioni PHP mediante Static Taint Analysis”, Politecnico di Milano, April 2009
  3. Andrea Di Biagio. “Unmanaged Code Support in a Distributed JIT Compiler”, Politecnico di Milano, July 2007
  4. Simone Campanoni. “A Distributed Just-in-Time for CIL Bytecode”, Politecnico di Milano, July 2006
  5. Gabriele Svelto. “A Java Virtual Machine implementation for small embedded systems”, Politecnico di Milano, July 2006
  6. Dario Domizioli. “Superblock Scheduling in Just-in-Time Compilation of Java Bytecode for a VLIW processor”, Politecnico di Milano, July 2005
  7. Paolo Palumbo. “Profile-Guided Selective Run-Time Compilation of Java Bytecode”, Politecnico di Milano, July 2005
  8. Gerlando Falauto, Martino Sykora. “Run-time compilation and scheduling of Java Bytecode for a VLIW machine”, Politecnico di Milano, December 2003
  9. Roberto Costa, “Integrating On-demand Alias Analysis into Schedulers for Advanced Microprocessors”, Politecnico di Milano, July 2001
· %2013/%04/%16 %03:%Apr

Free Software Development

The Formal Languages & Compilers Group is active in the development of free software, through student projects and thesis works.

  1. PULP LLVM Backend by Michele Scandale, Michele Beretta and Alessandro Di Federico: a backend for the open source OpenRISC ISA, designed for OR10n, the core processor of the PULP platform.
  2. OpenCRun by Ettore Speziale, Michele Scandale, Giulio Sichel, Marco Bonacina: an OpenCL Runtime for NUMA x86_64 and STM P2012/STHORM.
  3. ILDJIT, by Simone Campanoni: a JIT compiler for the CIL bytecode based on Portable.Net (Technical Report 2008.3).
  4. Jelatine VM, by Gabriele Svelto: a VM based on the J2ME CLCD specifications, featuring a fast interpreter and a zero-overhead precise garbage collector, suitable for embedded applications.
  5. SeleKaffe, by Paolo Palumbo: a variant of the Kaffe implementation of the Java VM Specification featuring selective compilation.
  6. A collection of SUIF Passes, written by students of the Software Compilers course at ALaRI and the Program Analysis and Optimization course at Politecnico di Milano, including:
    • Loop Flattening
    • Loop Unrolling
    • Loop Peeling
    • Program instrumentation and profiling tools
    • A simplified C front-end
  7. Forson, by Alfonso Tarantini: a program for syntactically correct sentence generation. Guided by a Bison grammar file as input, it provides random or coverage testing sentences. The program can be used for compiler or parser testing or didactical purposes.
  8. Elcc, by Andrea Mocci: an Earley parser generator written in Python and compatible with Yacc/Bison Syntax.
· %2013/%04/%16 %03:%Apr
publications/index.txt · Last modified: 2010/07/07 12:16 (external edit)
Recent changes RSS feed Creative Commons License Donate Driven by DokuWiki