Guido Salvaneschi

According to our database1, Guido Salvaneschi authored at least 57 papers between 2010 and 2019.

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

2019
Type-safe, Polyvariadic Event Correlation.
CoRR, 2019

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
CoRR, 2019

On Context-Orientation in Aggregate Programming.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Language support for multiple privacy enhancing technologies.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Multitier Modules.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Developing Distributed Systems with Multitier Programming.
Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

2018
On the Semantics of Distributed Reactive Programming: The Cost of Consistency.
IEEE Trans. Software Eng., 2018

Distributed system development with ScalaLoci.
PACMPL, 2018

Thread-safe reactive programming.
PACMPL, 2018

Versatile event correlation with algebraic effects.
PACMPL, 2018

Reactive programming experience with REScala.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Towards safe modular composition of network functions.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Static latency tracking with placement types.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Fault-tolerant Distributed Reactive Programming.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms.
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

Multimodal Complex Event Processing on Mobile Devices.
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

2017
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.
IEEE Trans. Software Eng., 2017

Editorial: Introducing The Art, Science, and Engineering of Programming - An Open Access Journal for All-Things Programming.
Programming Journal, 2017

Quality-Aware Runtime Adaptation in Complex Event Processing.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Consistency Types for Safe and Efficient Distributed Programming.
Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016
CPL: A Core Language for Cloud Computing - Technical Report.
CoRR, 2016

SecureScala: Scala embedding of secure computations.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Reactive Async: expressive deterministic concurrency.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Accepting blame for safe tunneled exceptions.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

What do we really know about data flow languages?
Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016

Debugging reactive programming with reactive inspector.
Proceedings of the 38th International Conference on Software Engineering, 2016

Debugging for reactive programming.
Proceedings of the 38th International Conference on Software Engineering, 2016

CPL: a core language for cloud computing.
Proceedings of the 15th International Conference on Modularity, 2016

2015
ContextErlang: A language for distributed context-aware self-adaptive applications.
Sci. Comput. Program., 2015

Lightweight, flexible object-oriented generics.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Reactive Programming: A Walkthrough.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Programming with Implicit Flows.
IEEE Software, 2014

An empirical study on program comprehension with reactive programming.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

i3QL: language-integrated live data views.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Distributed REScala: an update algorithm for distributed reactive programming.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

We have a DREAM: distributed reactive programming with consistency guarantees.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

REScala: bridging between object-oriented and functional style in reactive applications.
Proceedings of the 13th International Conference on Modularity, 2014

JEScala: modular coordination with declarative events and joins.
Proceedings of the 13th International Conference on Modularity, 2014

2013
Towards Reactive Programming for Object-Oriented Applications.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

An Analysis of Language-Level Support for Self-Adaptive Software.
TAAS, 2013

Towards Distributed Reactive Programming.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Reactive behavior in object-oriented applications: an analysis and a research roadmap.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Context-oriented programming: A software engineering perspective.
Journal of Systems and Software, 2012

ContextErlang: introducing context-oriented programming in the actor model.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Metrics of Software Security.
Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Context-Oriented Programming: A Programming Paradigm for Autonomic Systems
CoRR, 2011

JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming
CoRR, 2011

An evaluation of the adaptation capabilities in programming languages.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Finding Non-trivial Malware Naming Inconsistencies.
Proceedings of the Information Systems Security - 7th International Conference, 2011

JavaCtx: seamless toolchain integration for context-oriented programming.
Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

2010
Identifying Dormant Functionality in Malware Programs.
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Programming language support to context-aware adaptation: a case-study with Erlang.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Automatic Cross Validation of Multiple Specifications: A Case Study.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Context oriented programming in highly concurrent systems.
Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010


  Loading...