Stefano Crespi-Reghizzi

Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella: Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113(7): 245-249 (2013)

Michele Tartara, Stefano Crespi-Reghizzi: Continuous learning of compiler heuristics. TACO 9(4): 46 (2013)

Stefano Crespi-Reghizzi, Pierluigi San Pietro: From Regular to Strictly Locally Testable Languages. Int. J. Found. Comput. Sci. 23(8): 1711-1728 (2012)

Stefano Crespi-Reghizzi, Dino Mandrioli: Operator precedence and the visibly pushdown property. J. Comput. Syst. Sci. 78(6): 1837-1867 (2012)

Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella: PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE 2012: 264-274

Stefano Crespi-Reghizzi, Pierluigi San Pietro: Strict Local Testability with Consensus Equals Regularity. CIAA 2012: 113-124

Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi: A unifying approach to picture grammars. Inf. Comput. 209(9): 1246-1267 (2011)

Stefano Crespi-Reghizzi, Pierluigi San Pietro: Consensual languages and matching finite-state computations. RAIRO - Theor. Inf. and Applic. 45(1): 77-97 (2011)

Cristina Silvano, William Fornaciari, Stefano Crespi-Reghizzi, Giovanni Agosta, Gianluca Palermo, Vittorio Zaccaria, Patrick Bellasi, Fabrizio Castro, Simone Corbetta, Ettore Speziale, Diego Melpignano, J. M. Zins, Heiko Hübert, Benno Stabernack, Jens Brandenburg, Martin Palkovic, Praveen Raghavan, Chantal Ykman-Couvreur, Iraklis Anagnostopoulos, Alexandros Bartzas, Dimitrios Soudris, Torsten Kempf, Gerd Ascheid, Junaid Ansari, Petri Mähönen, Bart Vanthournout: Invited paper: Parallel programming and run-time resource management framework for many-core platforms: The 2PARMA approach. ReCoSoC 2011: 1-7

Stefano Crespi-Reghizzi, Pierluigi San Pietro: From Regular to Strictly Locally Testable Languages. WORDS 2011: 103-111

Luca Breveglieri, Stefano Crespi-Reghizzi, Massimiliano Goldwurm: Efficient recognition of trace languages defined by repeat-until loops. Inf. Comput. 208(8): 969-981 (2010)

Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi, Andrea Di Biagio: A highly flexible, parallel virtual machine: design and experience of ILDJIT. Softw., Pract. Exper. 40(2): 177-207 (2010)

Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi: Parallelism and Retargetability in the ILDJIT Dynamic Compiler. ARCS Workshops 2010: 285-291

Mark Grechanik, Collin McMillan, Luca DeFerrari, Marco Comi, Stefano Crespi-Reghizzi, Denys Poshyvanyk, Chen Fu, Qing Xie, Carlo Ghezzi: An empirical investigation into a large-scale Java open source code repository. ESEM 2010

Cristina Silvano, William Fornaciari, Stefano Crespi-Reghizzi, Giovanni Agosta, Gianluca Palermo, Vittorio Zaccaria, Patrick Bellasi, Fabrizio Castro, Simone Corbetta, Andrea Di Biagio, Ettore Speziale, Michele Tartara, David Siorpaes, Heiko Hübert, Benno Stabernack, Jens Brandenburg, Martin Palkovic, Praveen Raghavan, Chantal Ykman-Couvreur, Alexandros Bartzas, Sotirios Xydis, Dimitrios Soudris, Torsten Kempf, Gerd Ascheid, Rainer Leupers, Heinrich Meyr, Junaid Ansari, Petri Mähönen, Bart Vanthournout: 2PARMA: Parallel Paradigms and Run-Time Management Techniques for Many-Core Architectures. ISVLSI 2010: 494-499

Stefano Crespi-Reghizzi, Dino Mandrioli: Operator Precedence and the Visibly Pushdown Property. LATA 2010: 214-226

Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi: Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment. CC 2009: 220-235

Simone Campanoni, Stefano Crespi-Reghizzi: Traces of Control-Flow Graphs. Developments in Language Theory 2009: 156-169

Stefano Crespi-Reghizzi, Pierluigi San Pietro: Languages defined by consensual computations. ICTCS 2009: 82-85

Stefano Crespi-Reghizzi, Dino Mandrioli: Algebraic properties of structured context-free languages: old approaches and novel developments. CoRR abs/0907.2130 (2009)

Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi: A unifying approach to picture grammars. CoRR abs/0910.2829 (2009)

Stefano Crespi-Reghizzi, Matteo Pradella: A CKY parser for picture grammars. Inf. Process. Lett. 105(6): 213-217 (2008)

Matteo Pradella, Stefano Crespi-Reghizzi: A SAT-based parser and completer for pictures specified by tiling. Pattern Recognition 41(2): 555-566 (2008)

Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi: A parallel dynamic compiler for CIL bytecode. SIGPLAN Notices 43(4): 11-20 (2008)

Stefano Crespi-Reghizzi, Pierluigi San Pietro: Consensual Definition of Languages by Regular Sets. LATA 2008: 196-208

Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella: Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS 2008: 253-264

Stefano Crespi-Reghizzi: Formal semantics of language and the Richard-Berry paradox. CoRR abs/0807.3845 (2008)

Martino Sykora, Davide Pavoni, Joel Cambonie, Roberto Costa, Stefano Crespi-Reghizzi: Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors. IPDPS 2007: 1-8

Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro: Picture languages: Tiling systems versus tile rewriting grammars. Theor. Comput. Sci. 356(1-2): 90-103 (2006)

Giovanni Agosta, Stefano Crespi-Reghizzi, P. Palumbo, Martino Sykora: Selective compilation via fast code analysis and bytecode tracing. SAC 2006: 906-911

Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora: JIST: Just-In-Time scheduling translation for parallel processors. Scientific Programming 13(3): 239-253 (2005)

Stefano Crespi-Reghizzi, Matteo Pradella: Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340(1): 257-272 (2005)

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)

Giovanni Agosta, Stefano Crespi-Reghizzi, Gerlando Falauto, Martino Sykora: JIST: Just-in-Time Scheduling Translation for Parallel Processors. ISPDC/HeteroPar 2004: 122-132

Stefano Crespi-Reghizzi, Valentino Braitenberg: Towards a Brain Compatible Theory of Syntax Based on Local Testability. Grammars and Automata for String Processing 2003: 17-32

Stefano Crespi-Reghizzi, Matteo Pradella: Tile Rewriting Grammars. Developments in Language Theory 2003: 206-217

Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro: Associative language descriptions. Theor. Comput. Sci. 270(1-2): 463-491 (2002)

Marco Garatti, Roberto Costa, Stefano Crespi-Reghizzi, Erven Rohou: The Impact of Alias Analysis on VLIW Scheduling. ISHPC 2002: 93-105

Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila: Partitioning of Hierarchical Automation Systems. ECRTS 2001: 143-

Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro: A Scalable Formal Method for Design and Automatic Checking of User Interfaces. ICSE 2001: 453-462

Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro: Some Structural Properties of Associative Language Descriptions. ICTCS 2001: 172-183

Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro: Associative definition of programming languages. Comput. Lang. 26(2-4): 105-123 (2000)

Luca Breveglieri, Stefano Crespi-Reghizzi, Alessandra Cherubini: Modeling Operating Systems Schedulers with Multi-Stack-Queue Grammars. FCT 1999: 161-172

Stefano Crespi-Reghizzi, Giuseppe Psaila: Grammar Partitioning and Modular Deterministic Parsing. Comput. Lang. 24(4): 197-227 (1998)

Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi: The Evolution of MML/MME towards Real Time and Heterogeneous Systems. EUROMICRO 1997: 606-613

Pietro Manzoni, Alberto Tonello, Stefano Crespi-Reghizzi: Supporting Highly Available Distributed Services Using Linda Paradigm. PDPTA 1997: 186-191

Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi: Multi-Push-Down Languages and Grammars. Int. J. Found. Comput. Sci. 7(3): 253-292 (1996)

Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi: Deterministic Parsing for Augmented Context-free Grammars. MFCS 1995: 326-336

Luca Breveglieri, Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi: Fair First Languages and Parallel Programme Schemes. Developments in Language Theory 1993: 389-418

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: The LOGRES prototype. SIGMOD Conference 1993: 550-551

Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi: Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. IEEE Trans. Software Eng. 18(6): 534-546 (1992)

Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi: Real-Time Scheduling by Queue Automata. FTRTFT 1992: 131-147

Stefano Crespi-Reghizzi, Marco De Michele, Stefano Perotta: Behavioral Inheritance: Concepts, Ada Implementation and Experience. TRI-Ada 1992: 200-210

Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli: QRT FIFO Automata, Breath-First Grammars and Their Relations. Theor. Comput. Sci. 85(1): 171-203 (1991)

Stefano Crespi-Reghizzi, Guido Galli de Paratesi, Stefano Genolini: Definition of Reusable Concurrent Software Components. ECOOP 1991: 148-166

Luca Breveglieri, Claudio Citrini, Stefano Crespi-Reghizzi: Deterministic Dequeue Automata and LL(1) Parsing of Breadth-Depth Grammars. FCT 1991: 146-156

Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli: Breath and Depth Grammars and Deque Automata. Int. J. Found. Comput. Sci. 1(3): 219-232 (1990)

Stefano Ceri, Stefano Crespi-Reghizzi, Roberto Zicari, Gianfranco Lamperti, Luigi Lavazza: Algres: An Advanced System for Complex Applications. IEEE Software 7(4): 68-78 (1990)

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari: ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. CA(i)SE 1989

Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza: Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. IEEE Trans. Software Eng. 14(11): 1597-1609 (1988)

Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555

E. Allevi, Alessandra Cherubini, Stefano Crespi-Reghizzi: Breadth-First Phrase Structure Grammars and Queue Automata. MFCS 1988: 162-170

Luigi Lavazza, Stefano Crespi-Reghizzi: Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. Algebraic Methods 1987: 419-446

Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli: On Deterministic Multi-Pass Analysis. SIAM J. Comput. 15(3): 668-693 (1986)

Stefano Crespi-Reghizzi: Automation in Software Development (Panel). IFIP Congress 1986: 171-172

Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Francesco Maderna, Antonio Natali: Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools. IEEE Computer 17(1): 47-59 (1984)

Maurelio Boari, Stefano Crespi-Reghizzi, Alberto Dasprá, Antonio Natali: MML: A programming line for multiple-microprocessors systems. ICDCS 1982: 680-688

A. Pistorello, C. Romoli, Stefano Crespi-Reghizzi: Threshold Nets and Cell-Assemblies. Information and Control 49(3): 239-264 (1981)

Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli: Operator Precedence Grammars and the Noncounting Property. SIAM J. Comput. 10(1): 174-191 (1981)

Augusto Celentano, Stefano Crespi-Reghizzi, Pierluigi Della Vigna, Carlo Ghezzi, G. Granata, F. Savoretti: Compiler Testing using a Sentence Generator. Softw., Pract. Exper. 10(11): 897-918 (1980)

Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin: Algebraic Properties of Operator Precedence Languages. Information and Control 37(2): 115-133 (1978)

Stefano Crespi-Reghizzi, Dino Mandrioli: A Class of Grammar Generating Non-Counting Languages. Inf. Process. Lett. 7(1): 24-26 (1978)

Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli: Noncounting Context-Free Languages. J. ACM 25(4): 571-580 (1978)

Stefano Crespi-Reghizzi: Petri Nets and Szilard Languages. Information and Control 33(2): 177-192 (1977)

Stefano Crespi-Reghizzi, Dino Mandrioli: A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(3): 78-80 (1975)

Stefano Crespi-Reghizzi, Dino Mandrioli: Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(5): 164 (1975)

Stefano Crespi-Reghizzi, Michel A. Melkanoff, Larry Lichten: The Use of Grammatical Inference for Designing Programming Languages. Commun. ACM 16(2): 83-90 (1973)

Stefano Crespi-Reghizzi: Approximation of Phrase Markers by Regular Sets. ICALP 1972: 367-376

Stefano Crespi-Reghizzi: An Effective Model for Grammar Interference. IFIP Congress (1) 1971: 524-529

Stefano Crespi-Reghizzi: Reduction of Enumeration in Grammar Acquisition. IJCAI 1971: 546-552

Stefano Crespi-Reghizzi, Rosamaria Morpurgo: A language for treating graphs. Commun. ACM 13(5): 319-323 (1970)