1 – 9 of 9
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
TODLER : A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts
2023) 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2023 p.9-16(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 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
- 2019
-
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
- 2018
-
Mark
Cleaning up copy–paste clones with interactive merging
(
- Contribution to journal › Article
- 2016
-
Mark
Copy-paste redeemed
2016) Software Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P252. p.61-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2015
-
Mark
Towards Bridging the Gap Between Dalvik Bytecode and Native Code During Static Analysis of Android Applications
2015) International Wireless Communications and Mobile Computing Conference 2015(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2004
-
Mark
Analysis of brake assembly with floating disc
2004) In Proceedings of the Institution of Mechanical Engineers. Part C: Journal of Mechanical Engineering Science 218(9). p.1021-1032(
- Contribution to journal › Article
- 2003
-
Mark
Detection or isolation of defects? An experimental comparison of unit testing and code inspection
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
2003) p.121-128(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding