1 – 40 of 40
- show: 50
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
Classification-based Static Collection Selection for Java: Effectiveness and Adaptability
2023) p.111-120(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Performance Analysis with Bayesian Inference
2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
2023) p.61-68(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots
2023) Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components(
- Contribution to conference › Abstract
-
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
- 2022
-
Mark
JFeature : Know Your Corpus
2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Software Ticks Need No Specifications
2021) 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
-
Mark
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
2021) ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity In Proceedings of the ACM on Programming Languages 5(OOPSLA).(
- Contribution to journal › Article
-
Mark
Using Program Analysis to Identify the Use of Vulnerable Functions
2021) p.520-530(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2020
-
Mark
JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
- 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
- 2017
-
Mark
Interactive data representation migration: exploiting program dependence to aid program transformation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 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
-
Mark
Setting Up a Big Data Project : Challenges, Opportunities, Technologies and Optimization
(
- Chapter in Book/Report/Conference proceeding › Book chapter
- 2015
-
Mark
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Copy and Paste Redeemed
2015) p.630-640(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Residual Investigation : Predictive and Precise Bug Detection
2015) Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW - Software Engineering and Management 2015: Multiconference of the GI Special Interest Groups Software Engineering (SWT) and Information Systems (WI), FA WI-MAW In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P-239. p.133-134(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Residual Investigation : Predictive and Precise Bug Detection
(
- Contribution to journal › Article
-
Mark
Second-order constraints in dynamic invariant inference
2014) Software Engineering 2014 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P227. p.93-94(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
SEDGE : Symbolic example data generation for dataflow programs
2013) 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 p.235-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Second-order constraints in dynamic invariant inference
2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 p.103-113(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
PQL: A Purely-Declarative Java Extension for Parallel Programming
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Residual investigation : Predictive and precise bug detection
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Java wildcards meet definition-site variance
2012) 26th European Conference on Object-Oriented Programming, ECOOP 2012 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7313 LNCS. p.509-534(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2010
-
Mark
What can the GC compute efficiently? A language for heap assertions at GC time
(
- Contribution to journal › Article
-
Mark
A New Java Runtime for a Parallel World
2010) PLDI '10: ACM SIGPLAN Conference on Programming Language Design and Implementation: Fun and Interesting Thoughts (FIT)(
- Contribution to conference › Paper, not in proceeding
- 2009
-
Mark
Program metamorphosis
2009) 23rd European Conference on Object-Oriented Programming, ECOOP 2009 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5653 LNCS. p.394-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis of imperative XML programs
(
- Contribution to journal › Article
- 2008
-
Mark
Developing and debugging algebraic specifications for Java classes
(
- Contribution to journal › Article
- 2007
-
Mark
Analysis of imperative XML programs
2007) 11th International Symposium on Database Programming Languages, DBPL 2007 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4797 LNCS. p.216-230(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Discovering documentation for Java container classes
(
- Contribution to journal › Article
- 2006
-
Mark
Opinion Polarity Identification of Movie Reviews
2006) p.303-316(
- Chapter in Book/Report/Conference proceeding › Book chapter
- 2005
-
Mark
Impact of lexical filtering on overall opinion polarity identification
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding