Alexander V. Shafarenko

According to our database, Alexander V. Shafarenko authored at least 73 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Winternitz stack protocols for embedded systems and IoT.

Alex Shafarenko

Cybersecur., December, 2024

2023

Transporting a Secret Using Destructively-Read Memory (Transcript of Discussion).

Alex Shafarenko

Proceedings of the Security Protocols XXVIII, 2023

Transporting a Secret Using Destructively-Read Memory.

Bruce Christianson, Alex Shafarenko

Proceedings of the Security Protocols XXVIII, 2023

Grammaticalisation of a Hybrid Interface.

Marina Derzho, Alex Shafarenko, Mariana Lilley

Proceedings of the HCI International 2023 Posters, 2023

2022

Winternitz stack protocols.

Alex Shafarenko

CoRR, 2022

Controlling an Application via a Hybrid Interface.

Marina Derzho, Alex Shafarenko, Mariana Lilley

Proceedings of the HCI International 2022 Posters, 2022

2021

Indexing structures for the PLS blockchain.

Alex Shafarenko

Cybersecur., 2021

A PLS blockchain for IoT applications: protocols and architecture.

Alex Shafarenko

Cybersecur., 2021

2020

Non-local configuration of component interfaces by constraint satisfaction.

Olga Tveretina, Pavel Zaichenkov, Alex Shafarenko

Constraints An Int. J., 2020

2016

The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-NET.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko, Bert Gijsbers, Clemens Grelck

Parallel Process. Lett., 2016

Configuring Cloud-Service Interfaces Using Flow Inheritance.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

A Constraint Satisfaction Method for Configuring Non-local Service Interfaces.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Constraint Satisfaction in Coordinating Components Interfaces.

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

CoRR, 2015

Mini-Symposium on Coordination Programming - Preface.

Clemens Grelck, Alex Shafarenko

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

2014

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections.

Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alex Shafarenko

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013

Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming

Pavels Zaicenkovs, Bert Gijsbers, Clemens Grelck, Olga Tveretina, Alexander V. Shafarenko

CoRR, 2013

AstraKahn: A Coordination Language for Streaming Networks.

Alex Shafarenko

CoRR, 2013

S+Net: extending functional coordination with extra-functional semantics.

Raphael Poss, Merijn Verstraaten, Frank Penczek, Clemens Grelck, Raimund Kirner, Alexander V. Shafarenko

CoRR, 2013

Linear Support Vector Machines for Error Correction in Optical Data Transmission.

Alex Metaxas, Alexei Redyuk, Yi Sun, Alexander V. Shafarenko, Neil Davey, Rod Adams

Proceedings of the Adaptive and Natural Computing Algorithms, 2013

2012

Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.

Raimund Kirner, Frank Penczek, Alexander V. Shafarenko

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

An infrastructure for multi-level optimisation through property annotation and aggregation.

Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

2011

CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks

Alexander V. Shafarenko, Raimund Kirner

CoRR, 2011

Gearing Up: How to Eat Your Cryptocake and Still Have It.

Alexander V. Shafarenko, Bruce Christianson

Proceedings of the Security Protocols XIX, 2011

Gearing Up: How to Eat Your Cryptocake and Still Have It (Transcript of Discussion).

Alex Shafarenko

Proceedings of the Security Protocols XIX, 2011

Declarative coordination in a multicore environment: the tyranny of streams.

Alexander V. Shafarenko

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

Engineering Concurrent Software Guided by Statistical Performance Analysis.

Clemens Grelck, Kevin Hammond, Heinz Hertlein, Philip K. F. Hölzenspies, Chris R. Jesshope, Raimund Kirner, Bernd Scheuermann, Alexander V. Shafarenko, Iraneus te Boekhorst, Volkmar Wieser

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

2010

Weakly-Constrained Codes for Suppression of Patterning Effects in Digital Communications.

Alexander V. Shafarenko, Anton Skidin, Sergei K. Turitsyn

IEEE Trans. Commun., 2010

Parallel signal processing with S-Net.

Frank Penczek, Stephan Herhut, Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko, Rémi Barrère, Eric Lenormand

Proceedings of the International Conference on Computational Science, 2010

Guest Editors' Editorial: Special Issue on the Second International Workshop on Microgrids.

Sven-Bodo Scholz, Alexander V. Shafarenko

Int. J. Parallel Program., 2010

Asynchronous Stream Processing with S-Net.

Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko

Int. J. Parallel Program., 2010

Relay-Proof Channels Using UWB Lasers (Transcript of Discussion).

Alex Shafarenko

Proceedings of the Security Protocols XVIII, 2010

Relay-Proof Channels Using UWB Lasers.

Bruce Christianson, Alex Shafarenko, Frank Stajano, Ford-Long Wong

Proceedings of the Security Protocols XVIII, 2010

Message Driven Programming with S-Net: Methodology and Performance.

Frank Penczek, Stephan Herhut, Sven-Bodo Scholz, Alexander V. Shafarenko, Jungsook Yang, Chun-Yi Chen, Nader Bagherzadeh, Clemens Grelck

Proceedings of the 39th International Conference on Parallel Processing, 2010

Correcting Errors in Optical Data Transmission Using Neural Networks.

Stephen P. Hunt, Yi Sun, Alexander V. Shafarenko, Rod Adams, Neil Davey, Brendan Slater, Ranjeet S. Bhamber, Sonia K. Boscolo, Sergei K. Turitsyn

Proceedings of the Artificial Neural Networks, 2010

Cluster Computing as an Assembly Process: Coordination with S-Net.

Clemens Grelck, Jukka Julku, Frank Penczek, Alexander V. Shafarenko

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

Numerical Simulations of Unsteady Shock Wave Interactions Using SaC and Fortran-90.

Daniel Rolls, Carl Joslin, Alexei Kudryavtsev, Sven-Bodo Scholz, Alexander V. Shafarenko

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

Efficient weakly-constrained codes for mitigation of patterning effects in Digital Communications.

Alexander V. Shafarenko, Michael Fedoruk, Anton Skidin, Sergei K. Turitsyn

Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

Adaptive Electrical Signal Post-processing with Varying Representations in Optical Communication Systems.

Stephen P. Hunt, Yi Sun, Alexander V. Shafarenko, Rod Adams, Neil Davey, Brendan Slater, Ranjeet S. Bhamber, Sonia K. Boscolo, Sergei K. Turitsyn

Proceedings of the Engineering Applications of Neural Networks, 2009

2008

A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components.

Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko

Parallel Process. Lett., 2008

Nondeterministic Coordination using S-Net.

Alexander V. Shafarenko

Proceedings of the High Speed and Large Scale Scientific Computing - Selected Papers from the High Performance Computing Workshop, Cetraro, Italy, June 30, 2008

Concurrency engineering.

Chris R. Jesshope, Alexander V. Shafarenko

Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008

2007

Information-Theory Analysis of Skewed Coding for Suppression of Pattern-Dependent Errors in Digital Communications.

Alexander V. Shafarenko, Konstantin S. Turitsyn, Sergei K. Turitsyn

IEEE Trans. Commun., 2007

Word segmentation of handwritten text using supervised classification techniques.

Yi Sun, Timothy S. Butler, Alexander V. Shafarenko, Rod Adams, Martin J. Loomes, Neil Davey

Appl. Soft Comput., 2007

Coordinating Data Parallel SAC Programs with S-Net.

Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

Guest Editor's Introduction (Part 2).

Chris R. Jesshope, Alexander V. Shafarenko

Int. J. Parallel Program., 2006

Special issue on Micro-grids - Guest Editor Introduction.

Chris R. Jesshope, Alexander V. Shafarenko

Int. J. Parallel Program., 2006

Vintage Bit Cryptography.

Alexander V. Shafarenko

Proceedings of the Security Protocols, 2006

Vintage Bit Cryptography.

Bruce Christianson, Alexander V. Shafarenko

Proceedings of the Security Protocols, 2006

Index Vector Elimination - Making Index Vectors Affordable.

Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko

Proceedings of the Implementation and Application of Functional Languages, 2006

Streaming Networks for Coordinating Data-Parallel Programs.

Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko

Proceedings of the Perspectives of Systems Informatics, 2006

Streaming Networks for Coordinating Data-Parallel Programs (Position Statement).

Alexander V. Shafarenko

Proceedings of the Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, 2006

2005

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.

Alexander V. Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner

Proceedings of the Implementation and Application of Functional Languages, 2005

A Binding Scope Analysis for Generic Programs on Arrays.

Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko

Proceedings of the Implementation and Application of Functional Languages, 2005

2004

General Homomorphic Overloading.

Alexander V. Shafarenko, Sven-Bodo Scholz

Proceedings of the Implementation and Application of Functional Languages, 2004

Identifying word boundaries in handwrittem text.

Yi Sun, Timothy S. Butler, Alexander V. Shafarenko, Rod Adams, Martin J. Loomes, Neil Davey

Proceedings of the 2004 International Conference on Machine Learning and Applications, 2004

2003

Stream Processing on the Grid: an Array Stream Transforming Language.

Alexander V. Shafarenko

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

2002

Teaching mathematical explanation through audiographic technology.

Maureen Loomes, Alexander V. Shafarenko, Martin J. Loomes

Comput. Educ., 2002

Coercion as homomorphism: type inference in a system with subtyping and overloading.

Alexander V. Shafarenko

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001

An Active Organisation System for Customised, Secure Agent Discovery.

Nick Antonopoulos, Alexander V. Shafarenko

J. Supercomput., 2001

A symmetry-based formalism for array subtyping.

Alexander V. Shafarenko

ACM SIGAPL APL Quote Quad, 2001

Access control for agent-based computing: a distributed approach.

Nick Antonopoulos, Kyriakos Koukoumpetsos, Alexander V. Shafarenko

Internet Res., 2001

An Adaptive, Reconfigurable Interconnect for Computational Clusters.

Alexander V. Shafarenko, Vladimir Vasekin

Proceedings of the First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), 2001

1999

A Massively Aliasing System for Support of Agent-based Internet Computing.

Nick Antonopoulos, Alexander V. Shafarenko

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

An Integrated Addressing and Routing System for Mobile Agents.

George Neonakis Aggelou, Rahim Tafazolli, Nick Antonopoulos, Alexander V. Shafarenko

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997

Optical Interconnectivity in a Scalable Data-Parallel System.

Julian A. B. Dines, John F. Snowdon, Marc P. Y. Desmulliez, Dima B. Barsky, Alexander V. Shafarenko, Chris R. Jesshope

J. Parallel Distributed Comput., 1997

Use of F-Code as a Very High Level Intermediate Language for DSP.

Edward D. Willink, Alexander V. Shafarenko, Vyacheslav B. Muchnick

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Optical Interconnection hardware for scalable systems.

Julian A. B. Dines, John F. Snowdon, Marc P. Y. Desmulliez, D. T. Nielson, Dima B. Barsky, Alexander V. Shafarenko, Chris R. Jesshope

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1996

A Nonannotative Approach to Distributed Data-Parallel Computing.

Alexander V. Shafarenko

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Data parallel computing - the language dimension.

Vyacheslav B. Muchnick, Alexander V. Shafarenko

Chapman and Hall, ISBN: 978-1-85032-179-8, 1996

1995

Symmetries in Data Parallelism.

Alexander V. Shafarenko

Comput. J., 1995

1993

F-Code and its Implementation: A Portable Software Platform for Data Parallelism.

Vyacheslav B. Muchnick, Alexander V. Shafarenko, Carl David Sutton

Comput. J., 1993

Data-Parallel Portable Software Platform: Principles and Implementation.

Vyacheslav B. Muchnick, Alexander V. Shafarenko, Carl David Sutton

Proceedings of the PARLE '93, 1993

1992

F-Code: A Portable Software Platform for Data-Parallel Languages.

Vyacheslav B. Muchnick, Alexander V. Shafarenko

Proceedings of the Parallel Processing: CONPAR 92, 1992