Michael Reif

According to our database1, Michael Reif authored at least 15 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Modular collaborative program analysis in OPAL.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

TACAI: an intermediate representation based on abstract interpretation.
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.
Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019
A Unified Lattice Model and Framework for Purity Analyses.
Proceedings of the Software Engineering and Software Management, 2019

A dataset of parametric cryptographic misuses.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018
Call Graph Construction for Java Libraries.
Proceedings of the Software Engineering und Software Management 2018, 2018

CodeMatch.
Proceedings of the Software Engineering und Software Management 2018, 2018

Systematic evaluation of the unsoundness of call graph construction algorithms for Java.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Lattice based modularization of static analyses.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017
CodeMatch: obfuscation won't conceal your repackaged app.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Hermes: assessment and creation of effective test corpora.
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017

CogniCrypt: supporting developers in using cryptography.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Call graph construction for Java libraries.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Getting to know you: towards a capability model for Java.
Proceedings of the Software Engineering 2016, 2016


  Loading...