Eric Koskinen

• PhD (2013) University of Cambridge (Computer Science)
• MS (2008) Brown University (Computer Science)
• BS (2001) The College of William and Mary (Computer Science and Physics)

• Intellectual Property Advisory Committee Member
• Research & Entrepreneurship Committee Chair
• Junior Faculty Board of Representatives - 21/22 Member
• Search Committee for Non-Tenure Track Faculty Member
• Search Committee for the position of Vice Provost for Research and Innovation Member
• Search Committee for the position of Chair of the Computer Science Department Member
• Junior Faculty Board of Representatives Member
• Search Committee for the position of Vice Provost for Research and Innovation Member
• Faculty Panel for the Vice President for Information Technology and CIO Search Member
• Ribbon Cutting Ceremony for the Gateway Academic Center Member
• Curriculum Reorganization Committee Member
• Faculty Hiring Committee Member

• Dutch Research Council (NWO) Panelist
• Verification Mentoring Workshop at CAV 2023 Co-organizer of the Verification Mentoring Workshop at CAV 2023
• NETYS 2023 Program Committe Program Committee Member
• PLDI 2023 Program Committe Program Committee Member
• 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023) Program Committee Member
• 20th Asian Symposium on Programming Languages and Systems (APLAS 2022) Program Committee Member
• National Science Foundation Panelist
• 1st Workshop on Commutativity Reasoning (Commute 2022), co-located with PLDI 2022 Organizer
• National Science Foundation Reviewer
• OOPSLA 2021 Program Committee External Review Committee
• POPL 2020 Program Committe Program Committee Member
• OOPSLA 2019 Program Committee Program Committee Member
• Logic and Mentoring Workshop at LICS 2019 Co-organizer of the Logic and Mentoring Workshop at LICS 2019
• PLDI 2019 External Review Committee External Review Committee Member
• Review Panel at the National Science Foundation NSF Panel Member

• ACM/SIGPLAN Member
• ACM Member
• ACM Member
• SIGPLAN Member

Conference Proceeding

1. Chen, A.; Fathololumi, P.; Koskinen, E.; Pincus, J. (2022). Veracity: Declarative Multicore Programming with Commutativity. Proceedings of the ACM on Programming Languages (PACMPL, OOPSLA 2022 Issue). Proceedings of the ACM on Programming Languages (PACMPL, OOPSLA 2022 Issue) (OOPSLA 2022 ed.).
   https://www.erickoskinen.com/papers/veracity.pdf.
2. Liu, Y. C.; Pang, C.; Dietsch, D.; Koskinen, E.; Le, T. C.; Portokalidis, G.; Xu, J. (2021). Proving LTL Properties of Bitvector Programs and Decompiled Binaries. Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS).
3. Liu, Y.; Pang, C.; Dietsch, D.; Koskinen, E.; Le, T.; Portokalidis, G.; Xu, J. (2021). Proving LTL of Bitvector Programs and Decompiled Binaries. The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021). The 19th Asian Symposium on Programming Languages and Systems (APLAS 2021).
4. Pang, C.; Yu, R.; Xu, D.; Koskinen, E.; Portokalidis, G.; Xu, J. (2021). Towards Optimal Use of Exception Handling Information for Function Detection. Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
5. Pang, C.; Yu, R.; Chen, Y.; Koskinen, E.; Portokalidis, G.; Mao, B.; Xu, J. (2021). SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask. Proceedings of the IEEE Symposium on Security and Privacy.
6. Pang, C.; Yu, R.; Chen, Y.; Koskinen, E.; Portokalidis, G.; Mao, B.; Xu, J. (2021). SoK: All You Ever Wanted to Know About Binary Disassembly But Were Afraid to Ask. Hoboken: The 41st IEEE Symposium on Security and Privacy (IEEE S&P 2021).
7. Unno, H.; Terauchi, T.; Koskinen, E.. Constraint-based Relational Verification. International Conference on Computer Aided Verification (CAV 2021). International Conference on Computer Aided Verification (CAV 2021).
8. Koskinen, E.; Bansal, K. (2021). Decomposing Data Structure Commutativity Proofs with mn-Differencing. Proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021). Proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021).
   www.erickoskinen.com/papers/cityprover.pdf.
9. Dickerson, T.; Herlihy, M.; Koskinen, E.; Gazzillo, P. (2019). Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS). APLAS 2019.
   https://www.cs.stevens.edu/~ejk/papers/proust.pdf.
10. Antonopoulos, T.; Le, T.; Koskinen, E. (2019). Specification and Inference of Trace Refinement Relations. Proceedings of the ACM on Programming Languages, Volume 2 (OOPSLA). OOPSLA 2019.

Journal Article

1. Nagasamudram, R.; Koskinen, E.; Naumann, D. A. (2023). An algebra of alignment for relational verification. Proceedings of the ACM Programming Languages (POPL ed., vol. 7, pp. 574-603). ACM Press.
   https://arxiv.org/abs/2202.04278.
2. Le, T.; Antonopoulos, T.; Fathololumi, P.; Koskinen, E.; Nguyen, T. (2020). DynamiTe: Dynamic Termination and Non-Termination Proofs. Proceedings of the ACM on Programming Languages (OOPSLA). New York, NY: ACM.
3. Bansal, K.; Koskinen, E.; Tripp, O.. Synthesizing Precise and Useful Commutativity Conditions. Journal of Automated Reasoning. Springer.
4. Dickerson, T.; Gazzillo, P.; Herlihy, M.; Koskinen, E. (2019). Adding concurrency to smart contracts. Distributed Computing.
   https://doi.org/10.1007/s00446-019-00357-z.