Davide Sangiorgi

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 38

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Ken Sakayori, Davide Sangiorgi
Extensional and Non-extensional Functions as Processes. CoRR (2024)
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
EXPRESSing Session Types. EXPRESS/SOS (2023)
Ken Sakayori, Davide Sangiorgi
Extensional and Non-extensional Functions as Processes. LICS (2023)
Davide Sangiorgi
Enhanced Induction in Behavioural Relations (Invited Talk). CSL (2023)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes (long version). CoRR (2022)
Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi
CONCUR Test-Of-Time Award 2022 (Invited Paper). CONCUR (2022)
Davide Sangiorgi
From enhanced coinduction towards enhanced induction. Proc. ACM Program. Lang. 6 (POPL) (2022)
Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi
Interviews with the 2022 CONCUR Test-of-Time Award Recipients. Bull. EATCS 138 (2022)
Guilhem Jaber, Davide Sangiorgi
Games, Mobile Processes, and Functions. CSL (2022)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager functions as processes. Theor. Comput. Sci. 913 (2022)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session Types Revisited: A Decade Later. PPDP (2022)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On sequentiality and well-bracketing in the π-calculus. CoRR (2021)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes. CoRR (2021)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On sequentiality and well-bracketing in the π-calculus. LICS (2021)
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Modular coinduction up-to for higher-order languages via first-order transition systems. Log. Methods Comput. Sci. 17 (3) (2021)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
On the Representation of References in the Pi-Calculus. CONCUR (2020)
Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift (2020)
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Modular coinduction up-to for higher-order languages via first-order transition systems. CoRR (2020)
Chun Tian, Davide Sangiorgi
Unique solutions of contractions, CCS, and their HOL formalisation. Inf. Comput. 275 (2020)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Towards 'up to context' reasoning about higher-order processes. Theor. Comput. Sci. 807 (2020)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and unique solution of equations. Log. Methods Comput. Sci. 15 (3) (2019)
Davide Sangiorgi
Asynchronous \pi -calculus at Work: The Call-by-Need Strategy. The Art of Modelling Computational Systems (2019)
Davide Sangiorgi, Valeria Vignudelli
Environmental Bisimulations for Probabilistic Higher-order Languages. ACM Trans. Program. Lang. Syst. 41 (4) (2019)
Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi
Modeling Imperative Constructs in the Pi-Calculus. ICTCS (2019)
Damien Pous, Davide Sangiorgi
Bisimulation and Coinduction Enhancements: A Historical Perspective. Formal Aspects Comput. 31 (6) (2019)
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Davide Sangiorgi, Xian Xu
Trees from Functions as Processes. CoRR (2018)
Davide Sangiorgi
Bisimilarity Via Unique-Solution Techniques. ICTCS (2018)
Davide Sangiorgi, Xian Xu
Trees from Functions as Processes. Log. Methods Comput. Sci. 14 (3) (2018)
Chun Tian, Davide Sangiorgi
Unique Solutions of Contractions, CCS, and their HOL Formalisation. EXPRESS/SOS (2018)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes. LICS (2018)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and unique solution of equations. CoRR (2018)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session types revisited. Inf. Comput. 256 (2017)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and Unique Solution of Equations. CONCUR (2017)
Davide Sangiorgi
Equations, Contractions, and Unique Solutions. ACM Trans. Comput. Log. 18 (1) (2017)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Name-passing calculi: From fusions to preorders and types. Inf. Comput. 251 (2016)
Davide Sangiorgi, Valeria Vignudelli
Environmental bisimulations for probabilistic higher-order languages. POPL (2016)
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
Light logics and higher-order processes. Math. Struct. Comput. Sci. 26 (6) (2016)
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
On Applicative Similarity, Sequentiality, and Full Abstraction. Correct System Design (2015)
Ivan Lanese, Davide Sangiorgi
Preface: Special issue on objects and services. Math. Struct. Comput. Sci. 25 (3) (2015)
Davide Sangiorgi
Equations, Contractions, and Unique Solutions. POPL (2015)
Davide Sangiorgi
The Proof Technique of Unique Solutions of Contractions. ICTAC (2015)
Davide Sangiorgi, Xian Xu
Trees from Functions as Processes. CONCUR (2014)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Symmetries and Dualities in Name-Passing Process Calculi. Computing with New Resources (2014)
Davide Sangiorgi
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract). CMCS (2014)
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
On coinductive equivalences for higher-order probabilistic functional programs. POPL (2014)
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. QEST (2014)
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Bisimulations Up-to: Beyond First-Order Transition Systems. CONCUR (2014)
Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
On the discriminating power of passivation and higher-order interaction. CSL-LICS (2014)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Name-Passing Calculi: From Fusions to Preorders and Types. LICS (2013)
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti
On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version). CoRR (2013)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session types revisited. PPDP (2012)
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi
Duality and i/o-Types in the π-Calculus. CONCUR (2012)
Michael Lienhardt, Mario Bravetti, Davide Sangiorgi
An Object Group-Based Component Model. ISoLA (1) (2012)
Davide Sangiorgi
Concurrency theory: timed automata, testing, program synthesis. Distributed Comput. 25 (1) (2012)
Marco Patrignani, Dave Clarke, Davide Sangiorgi
Ownership Types for the Join Calculus. FMOODS/FORTE (2011)
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Environmental bisimulations for higher-order languages. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209 (2) (2011)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Strong Normalisation in λ-Calculi with References. FSEN (2011)
Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
HATS Abstract Behavioral Specification: The Architectural View. FMCO (2011)
Fabrizio Montesi, Davide Sangiorgi
A Model of Evolvable Components. TGC (2010)
Ivan Lanese, Davide Sangiorgi
An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411 (19) (2010)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. ICALP (2) (2010)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in higher-order concurrent calculi. J. Log. Algebraic Methods Program. 79 (7) (2010)
Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi
Functions as Processes: Termination and the lm[(m)\tilde]\lambda\mu\widetilde{\mu}-Calculus. TGC (2010)
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
Light Logics and Higher-Order Processes EXPRESS (2010)
Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter
A Component Model for the ABS Language. FMCO (2010)
Naoki Kobayashi, Davide Sangiorgi
A hybrid type system for lock-freedom of mobile processes. ACM Trans. Program. Lang. Syst. 32 (5) (2010)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in Impure Concurrent Languages. CONCUR (2010)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS (2009)
Davide Sangiorgi
On the origins of bisimulation and coinduction. ACM Trans. Program. Lang. Syst. 31 (4) (2009)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Termination in Higher-Order Concurrent Calculi. FSEN (2009)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Mobile Processes and Termination. Semantics and Algebraic Specification (2009)
Naoki Kobayashi, Davide Sangiorgi
A Hybrid Type System for Lock-Freedom of Mobile Processes. CAV (2008)
Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi
Separability in the Ambient Logic. Log. Methods Comput. Sci. 4 (3) (2008)
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
Static and dynamic typing for the termination of mobile processes. IFIP TCS (2008)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
Separability in the Ambient Logic CoRR (2008)
Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi
Type Systems for Bigraphs. TGC (2008)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS (2008)
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Environmental Bisimulations for Higher-Order Languages. LICS (2007)
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
An efficient abstract machine for Safe Ambients. J. Log. Algebraic Methods Program. 71 (2) (2007)
Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
On the Complexity of Termination Inference for Processes. TGC (2007)
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Logical Bisimulations and Functional Languages. FSEN (2007)
Yuxin Deng, Davide Sangiorgi
Ensuring termination by typability. Inf. Comput. 204 (7) (2006)
Davide Sangiorgi
Bisimulation and Co-induction: Some Problems. Electron. Notes Theor. Comput. Sci. 162 (2006)
Paola Giannini, Davide Sangiorgi, Andrea Valente
Safe Ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59 (3) (2006)
Nicola Mezzetti, Davide Sangiorgi
Towards a Calculus For Wireless Systems. MFPS (2006)
Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
SCC: A Service Centered Calculus. WS-FM (2006)
Davide Sangiorgi
Termination of processes. Math. Struct. Comput. Sci. 16 (1) (2006)
Davide Sangiorgi
The Bisimulation Proof Method: Enhancements and Open Problems. FMOODS (2006)
Yuxin Deng, Davide Sangiorgi
Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci. 350 (2-3) (2006)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
On the Expressiveness of the Ambient Logic. Log. Methods Comput. Sci. 2 (2) (2006)
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
A Correct Abstract Machine for Safe Ambients. COORDINATION (2005)
Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
On the Expressiveness of the Ambient Logic CoRR (2005)
Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi
On the representation of McCarthy's amb in the Pi-calculus. Theor. Comput. Sci. 330 (3) (2005)
Davide Sangiorgi
Beyond Bisimulation: The "up-to" Techniques. FMCO (2005)
Rocco De Nicola, Davide Sangiorgi
Types in concurrency. Acta Informatica 42 (2-3) (2005)
Davide Sangiorgi
Bisimulation: From The Origins to Today. LICS (2004)
Yuxin Deng, Davide Sangiorgi
Ensuring Termination by Typability. IFIP TCS (2004)
Yuxin Deng, Davide Sangiorgi
Towards an Algebraic Theory of Typed Mobile Processes. ICALP (2004)

Davide Sangiorgi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Davide Sangiorgi