João Costa Seco

According to our database1, João Costa Seco authored at least 16 papers between 2000 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode.
CoRR, 2019

Software Evolution with a Typeful Version Control System.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

2017
Capability-based localization of distributed and heterogeneous queries.
J. Funct. Program., 2017

Type-Safe Evolution of Web Services.
Proceedings of the 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, 2017

2015
A common data manipulation language for nested data in heterogeneous environments.
Proceedings of the 15th Symposium on Database Programming Languages, 2015

2013
Concurrent typed intermediate language.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

The type discipline of behavioral separation.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012
Verification of Snapshot Isolation in Transactional Memory Java Programs.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Type-Based Access Control in Data-Centric Systems.
Proceedings of the Programming Languages and Systems, 2011

2010
Profiling of real-world web applications.
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

2008
Component J: A component-based programming language with dynamic reconfiguration.
Comput. Sci. Inf. Syst., 2008

The Conversation Calculus: A Model of Service-Oriented Computation.
Proceedings of the Programming Languages and Systems, 2008

2006
Types for Dynamic Reconfiguration.
Proceedings of the Programming Languages and Systems, 2006

2005
Subtyping First-Class Polymorphic Components.
Proceedings of the Programming Languages and Systems, 2005

2000
A Basic Model of Typed Components.
Proceedings of the ECOOP 2000, 2000


  Loading...