If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Eric Koskinen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 6 Similar Profiles
Servers Engineering & Materials Science
Data structures Engineering & Materials Science
Flow control Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Semantics Engineering & Materials Science
Program Analysis Mathematics
Specifications Engineering & Materials Science
Recovery Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2008 2019

  • 554 Citations
  • 13 h-Index
  • 24 Conference contribution
  • 10 Article
  • 1 Conference article
1 Citation (Scopus)

Adding concurrency to smart contracts

Dickerson, T., Gazzillo, P., Herlihy, M. & Koskinen, E., Jan 1 2019, In : Distributed Computing.

Stevens Institute of Technology

Research output: Contribution to journalArticle

Concurrency
Miners
Concurrent
Schedule
Transactions
1 Citation (Scopus)

Proof-carrying smart contracts

Dickerson, T., Gazzillo, P., Herlihy, M., Saraph, V. & Koskinen, E., Jan 1 2019, Financial Cryptography and Data Security - FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Revised Selected Papers. Eyal, I., Zohar, A., Sala, M., Bracciali, A., Pintore, F., Teague, V. & Clark, J. (eds.). Springer Verlag, p. 325-338 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10958 LNCS).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
3 Citations (Scopus)

A fixpoint logic and dependent effects for temporal property verification

Nanjo, Y., Unno, H., Koskinen, E. & Terauchi, T., Jul 9 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 759-768 10 p. (Proceedings - Symposium on Logic in Computer Science).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fixpoint
Automation
Logic
Dependent
Reasoning
2 Citations (Scopus)

Automatic generation of precise and useful commutativity conditions

Bansal, K., Koskinen, E. & Tripp, O., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer Verlag, p. 115-132 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Commutativity
Data structures
Acoustic waves
Surface mount technology
Data Structures
13 Citations (Scopus)

Adding concurrency to smart contracts

Dickerson, T., Gazzillo, P., Herlihy, M. & Koskinen, E., Jul 26 2017, PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 303-312 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129314).

Stevens Institute of Technology

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Miners
Computer programming languages
Semantics
Throughput
Data storage equipment