Guido Salvaneschi

Proceedings of the IEEE Secure Development Conference, 2021

The Wonderless Dataset for Serverless Computing.

[BibT_eX]

[DOI]

Nafise Eskandani

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).

[BibT_eX]

[DOI]

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Language Support for Secure Software Development with Enclaves.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2020

Handling bidirectional control flow.

[BibT_eX]

[DOI]

Yizhou Zhang

Andrew C. Myers

Proc. ACM Program. Lang., 2020

Rethinking safe consistency in distributed object-oriented programming.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Handling Bidirectional Control Flow: Technical Report.

[BibT_eX]

[DOI]

Yizhou Zhang

Andrew C. Myers

CoRR, 2020

Leveraging Hybrid Cloud HPC with Multitier Reactive Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Workshop on Interoperability of Supercomputing and Cloud Technologies, 2020

A programming model for semi-implicit parallelization of static analyses.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

ConSysT: tunable, safe consistency meets object-oriented programming.

[BibT_eX]

[DOI]

Mirko Köhler

Nafise Eskandani Masoule

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

2019

Programming Languages for Distributed Systems (NII Shonan Meeting 149).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2019

Language-integrated privacy-aware distributed queries.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

A fault-tolerant programming model for distributed interactive applications.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442).

[BibT_eX]

[DOI]

Carla Ferreira

Philipp Haller

Dagstuhl Reports, 2019

Type-safe, Polyvariadic Event Correlation.

[BibT_eX]

[DOI]

CoRR, 2019

On Context-Orientation in Aggregate Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Language support for multiple privacy enhancing technologies.

[BibT_eX]

[DOI]

Aditya Oak

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Distributed object-oriented programming with multiple consistency levels in ConSysT.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

GRASS: generic reactive application-specific scheduling.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2019

Automated Refactoring to Reactive Programming.

[BibT_eX]

[DOI]

Mirko Köhler

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Multitier Modules.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Developing Distributed Systems with Multitier Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Distributed system development with ScalaLoci.

[BibT_eX]

[DOI]

Mirko Köhler

Proc. ACM Program. Lang., 2018

Thread-safe reactive programming.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Versatile event correlation with algebraic effects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Reactive programming experience with REScala.

[BibT_eX]

[DOI]

Ragnar Mogk

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Towards safe modular composition of network functions.

[BibT_eX]

[DOI]

Matthias Eichholz

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Static latency tracking with placement types.

[BibT_eX]

[DOI]

Tobias Reinhard

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Fault-tolerant Distributed Reactive Programming.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

TCEP: Adapting to Dynamic User Environments by Enabling Transitions between Operator Placement Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, 2018

Multimodal Complex Event Processing on Mobile Devices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

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

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2017

Quality-Aware Runtime Adaptation in Complex Event Processing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

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

[BibT_eX]

[DOI]

CoRR, 2016

An empirical study on program comprehension with reactive programming.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

SecureScala: Scala embedding of secure computations.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Reactive Async: expressive deterministic concurrency.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Accepting blame for safe tunneled exceptions.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

What do we really know about data flow languages?

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016

Debugging reactive programming with reactive inspector.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Debugging for reactive programming.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

CPL: a core language for cloud computing.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Modularity, 2016

2015

ContextErlang: A language for distributed context-aware self-adaptive applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Lightweight, flexible object-oriented generics.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Reactive Programming: A Walkthrough.

[BibT_eX]

[DOI]

Giordano Tamburrelli

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Programming with Implicit Flows.

[BibT_eX]

[DOI]

Patrick Eugster

IEEE Softw., 2014

i3QL: language-integrated live data views.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Distributed REScala: an update algorithm for distributed reactive programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

REScala: bridging between object-oriented and functional style in reactive applications.

[BibT_eX]

[DOI]

Gerold Hintz

Proceedings of the 13th International Conference on Modularity, 2014

JEScala: modular coordination with declarative events and joins.

[BibT_eX]

[DOI]

Jurgen Michael Van Ham

Jacques Noyé

Proceedings of the 13th International Conference on Modularity, 2014

2013

Towards Reactive Programming for Object-Oriented Applications.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2013

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

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2013

Towards Distributed Reactive Programming.

[BibT_eX]

[DOI]

Joscha Drechsler

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Reactive behavior in object-oriented applications: an analysis and a research roadmap.

[BibT_eX]

[DOI]

Proceedings of the Aspect-Oriented Software Development, 2013

2012

A language-level approach to self-adaptive software.

[BibT_eX]

[DOI]

PhD thesis, 2012

Context-oriented programming: A software engineering perspective.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

ContextErlang: introducing context-oriented programming in the actor model.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Metrics of Software Security.

[BibT_eX]

[DOI]

Paolo Salvaneschi

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

Context-Oriented Programming: A Programming Paradigm for Autonomic Systems

[BibT_eX]

[DOI]

CoRR, 2011

An evaluation of the adaptation capabilities in programming languages.

[BibT_eX]

[DOI]

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Finding Non-trivial Malware Naming Inconsistencies.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security - 7th International Conference, 2011

JavaCtx: seamless toolchain integration for context-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

2010

Identifying Dormant Functionality in Malware Programs.

[BibT_eX]

[DOI]

Paolo Milani Comparetti

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

Programming language support to context-aware adaptation: a case-study with Erlang.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Andrea Mocci

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Context oriented programming in highly concurrent systems.

[BibT_eX]

[DOI]