Eric Koskinen
Orcid: 0000-0001-7363-634XAffiliations:
- Stevens Institute of Technology, NJ, USA
According to our database1,
Eric Koskinen
authored at least 51 papers
between 2008 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
3
4
1
2
5
1
1
1
1
1
1
5
1
3
3
1
1
3
3
2
1
2
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025
2024
2023
Proc. ACM Program. Lang., January, 2023
Proc. ACM Program. Lang., January, 2023
CoRR, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Proc. ACM Program. Lang., 2022
2021
CoRR, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2020
Proc. ACM Program. Lang., 2020
CoRR, 2020
CoRR, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019
2018
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version).
CoRR, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Financial Cryptography and Data Security, 2018
2017
CoRR, 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017
Decomposition instead of self-composition for proving the absence of timing channels.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the Programming Languages and Systems, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
2012
Formal Methods Syst. Des., 2012
2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
2009
Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
2008
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008