91 – 100 of 290
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
The PL-Detective Revisited
(2020) 2020 ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications, Software for Humanity, SPLASH-E 2020
In SPLASH-E 2020 p.12-22- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Domain-Specific Language for Filtering in Application-Level Gateways
(2020) 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020 p.111-123
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
Mark
Message from the Chairs
(2019) 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Live GUI development for service-based systems
(2019)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS - a development environment for composing internet-of-things services
- Thesis › Licentiate thesis
-
Mark
Factoring out glue-code in systems of IoT devices: the PalCom architecture model
(2019)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MetaDL : Declarative program analysis for the masses
(2019) 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity p.17-18
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MetaDL: Analysing Datalog in Datalog
(2019) 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 p.38-43
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS : Composing Oblivious Services
(2019) 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019 p.132-138
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Contributions to Declarative Implementation of Static Program Analysis
- Thesis › Doctoral thesis (compilation)
