Luca Padovani

According to our database1, Luca Padovani authored at least 74 papers between 2001 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Deadlock-Free Typestate-Oriented Programming.
Programming Journal, 2018

Deadlock-Free Typestate-Oriented Programming.
CoRR, 2018

Mailbox Types for Unordered Interactions.
CoRR, 2018

A core calculus for dynamic delta-oriented programming.
Acta Inf., 2018

Mailbox Types for Unordered Interactions.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
The Chemical Approach to Typestate-Oriented Programming.
ACM Trans. Program. Lang. Syst., 2017

Chaperone contracts for higher-order sessions.
PACMPL, 2017

On Sessions and Infinite Data.
Logical Methods in Computer Science, 2017

A simple library implementation of binary sessions.
J. Funct. Program., 2017

Context-Free Session Type Inference.
Proceedings of the Programming Languages and Systems, 2017

2016
Fair subtyping for multi-party session types.
Mathematical Structures in Computer Science, 2016

Global progress for dynamically interleaved multiparty sessions.
Mathematical Structures in Computer Science, 2016

Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

On Sessions and Infinite Data.
CoRR, 2016

On the chemistry of typestate-oriented actors.
CoRR, 2016

On Sessions and Infinite Data.
Proceedings of the Coordination Models and Languages, 2016

2015
An algebraic theory for web service contracts.
Formal Asp. Comput., 2015

Qsmodels: ASP Planning in Interactive Gaming Environment.
CoRR, 2015

Type Reconstruction for the Linear π-Calculus with Composite Regular Types.
Logical Methods in Computer Science, 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.
Proceedings of the Formal Methods for Multicore Programming, 2015

The chemical approach to typestate-oriented programming.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Types for Deadlock-Free Higher-Order Programs.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.
Proceedings of the Coordination Models and Languages, 2015

2014
Exception handling for copyless messaging.
Sci. Comput. Program., 2014

Session Type Isomorphisms.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

Deadlock and lock freedom in the linear π-calculus.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Typing Liveness in Multiparty Communicating Systems.
Proceedings of the Coordination Models and Languages, 2014

2013
From Lock Freedom to Progress Using Session Types.
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

An Algebraic Theory for Web Service Contracts.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Fair Subtyping for Open Session Types.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
On projecting processes into session types.
Mathematical Structures in Computer Science, 2012

On Global Types and Multi-Party Session
Logical Methods in Computer Science, 2012

Typing Copyless Message Passing
Logical Methods in Computer Science, 2012

Exception handling for copyless messaging.
Proceedings of the Principles and Practice of Declarative Programming, 2012

A formal foundation for dynamic delta-oriented software product lines.
Proceedings of the Generative Programming and Component Engineering, 2012

2011
Polymorphic Endpoint Types for Copyless Message Passing
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

On Global Types and Multi-party Sessions.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Typing Copyless Message Passing.
Proceedings of the Programming Languages and Systems, 2011

Fair Subtyping for Multi-party Session Types.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010
Contract-based discovery of Web services modulo simple orchestrators.
Theor. Comput. Sci., 2010

Session Types = Intersection Types + Union Types
Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of the 11th WOA 2010 Workshop, 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

2009
A theory of contracts for Web services.
ACM Trans. Program. Lang. Syst., 2009

PiDuce - A project for experimenting Web services technologies.
Sci. Comput. Program., 2009

Session Types at the Mirror
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009

Contract-Based Discovery and Adaptation of Web Services.
Proceedings of the Formal Methods for Web Services, 2009

Foundations of session types.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Contracts for Mobile Processes.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
A theory of contracts for web services.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Contract-Directed Synthesis of Simple Orchestrators.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

The Pairing of Contracts and Session Types.
Proceedings of the Concurrency, 2008

2007
A Theory of Contracts for Web Services.
Proceedings of the PLAN-X 2007, 2007

Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

The Must Preorder Revisited.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
A Formal Account of Contracts for Web Services.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

From Notation to Semantics: There and Back Again.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Smooth Orchestrators.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
A Distributed Implementation of Mobile Nets as Mobile Agents.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

Compilation of Generic Regular Path Expressions Using C++ Class Templates.
Proceedings of the Compiler Construction, 14th International Conference, 2005

2004
Interactive Editing of MathML Markup Using TEX Syntax.
Proceedings of the TeX, 2004

An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Qsmodels: ASP Planning in Interactive Gaming Environment.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

2003
Mathematical Knowledge Management in HELM.
Ann. Math. Artif. Intell., 2003

On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2001
HELM and the Semantic Math-Web.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

The Gnome DOM Engine.
Proceedings of the Extreme Markup Languages® 2001 Conference, 2001

XML, Stylesheets and the Re-mathematization of Formal Content.
Proceedings of the Extreme Markup Languages® 2001 Conference, 2001


  Loading...