11 – 18 of 18
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- « previous
- 1
- 2
- next »
- 2021
-
Mark
A Precise Framework for Source-Level Control-Flow Analysis
2021) IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 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
-
Mark
Message from the Chairs
2020) 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2020, co-located with the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
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
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
- 2018
-
Mark
Cleaning up copy–paste clones with interactive merging
(
- Contribution to journal › Article
- « previous
- 1
- 2
- next »