Bernardo Toninho

Orcid: 0000-0002-0746-7514

Affiliations:
  • NOVA LINCS, Portugal


According to our database1, Bernardo Toninho authored at least 37 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Session Abstract Machine (Extended Version).
CoRR, 2024

The Session Abstract Machine.
Proceedings of the Programming Languages and Systems, 2024

2023
Intuitionistic Metric Temporal Logic.
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact).
Dagstuhl Artifacts Ser., 2022

Derivations with Holes for Concept-Based Program Synthesis.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Ferrite: A Judgmental Embedding of Session Types in Rust.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.
ACM Trans. Program. Lang. Syst., 2021

A Decade of Dependent Session Types.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020
Featherweight go.
Proc. ACM Program. Lang., 2020

2019
Refinement kinds: type-safe programming with practical type-level computation.
Proc. ACM Program. Lang., 2019

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version).
CoRR, 2019

Domain-Aware Session Types (Extended Version).
CoRR, 2019

Manifest Deadlock-Freedom for Shared Session Types.
Proceedings of the Programming Languages and Systems, 2019

Domain-Aware Session Types.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

Polymorphic Session Processes as Morphisms.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018
Interconnectability of Session-Based Logical Processes.
ACM Trans. Program. Lang. Syst., 2018

A static verification framework for message passing in Go using behavioural types.
Proceedings of the 40th International Conference on Software Engineering, 2018

Depending on Session-Typed Processes.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

A Universal Session Type for Untyped Asynchronous Communication.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Report on POPL 2017.
ACM SIGLOG News, 2017

Certifying data in multiparty session types.
J. Log. Algebraic Methods Program., 2017

Fencing off go: liveness and safety for channel-based programming.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Linear logic propositions as session types.
Math. Struct. Comput. Sci., 2016

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).
CoRR, 2016

2015
Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program., 2015

2014
Linear logical relations and observational equivalences for session-based concurrency.
Inf. Comput., 2014

Corecursion and Non-divergence in Session-Typed Processes.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

2013
Higher-Order Processes, Functions, and Sessions: A Monadic Integration.
Proceedings of the Programming Languages and Systems, 2013

Behavioral Polymorphism and Parametricity in Session-Based Communication.
Proceedings of the Programming Languages and Systems, 2013

2012
Constructive Provability Logic
CoRR, 2012

Towards concurrent type theory.
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Functions as Session-Typed Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

Linear Logical Relations for Session-Based Concurrency.
Proceedings of the Programming Languages and Systems, 2012

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
Proceedings of the Computer Science Logic (CSL'12), 2012

2011
Dependent session types via intuitionistic linear type theory.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Proof-Carrying Code in a Session-Typed Process Calculus.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010


  Loading...