Alan Fekete

According to our database1, Alan Fekete
  • authored at least 153 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A skip list for multicore.
Concurrency and Computation: Practice and Experience, 2017

2016
Rollup: Non-Disruptive Rolling Upgrade with Fast Consensus-Based Dynamic Reconfigurations.
IEEE Trans. Parallel Distrib. Syst., 2016

Scalable Atomic Visibility with RAMP Transactions.
ACM Trans. Database Syst., 2016

HILDA 2016 Workshop: A Report.
IEEE Data Eng. Bull., 2016

Efficiently making (almost) any concurrency control mechanism serializable.
CoRR, 2016

Clustering provenance facilitating provenance exploration through data abstraction.
Proceedings of the Workshop on Human-In-the-Loop Data Analytics, 2016

2015
Adaptive multiple-workflow scheduling with task rearrangement.
The Journal of Supercomputing, 2015

Computing end-to-end delays in stream query processing.
Sci. Comput. Program., 2015

Multi-objective Optimisation of Rolling Upgrade Allowing for Failures in Clouds.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Four-Fold Auto-Scaling on a Contemporary Deployment Platform Using Docker Containers.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Managing information for personal goals (vision).
Proceedings of the 31st IEEE International Conference on Data Engineering Workshops, 2015

The service contract between cloud provider and consumer: Consistency properties.
Proceedings of the 31st IEEE International Conference on Data Engineering Workshops, 2015

Scalable distributed transactions across heterogeneous stores.
Proceedings of the 31st IEEE International Conference on Data Engineering, 2015

Metadata-as-a-Service.
Proceedings of the 31st IEEE International Conference on Data Engineering Workshops, 2015

REST+T: Scalable Transactions over HTTP.
Proceedings of the 2015 IEEE International Conference on Cloud Engineering, 2015

The Serial Safety Net: Efficient Concurrency Control on Modern Hardware.
Proceedings of the 11th International Workshop on Data Management on New Hardware, 2015

Serializable use of Read Committed isolation level.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2014
A Scalable Lock Manager for Multicores.
ACM Trans. Database Syst., 2014

Curracurrong: a stream programming environment for wireless sensor networks.
Softw., Pract. Exper., 2014

Coordination Avoidance in Database Systems.
PVLDB, 2014

Performance of program modification techniques that ensure serializable executions with snapshot isolation DBMS.
Inf. Syst., 2014

Coordination-Avoiding Database Systems.
CoRR, 2014

GEAP: A Generic Approach to Predicting Workload Bursts for Web Hosted Events.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

Consumer Monitoring of Infrastructure Performance in a Public Cloud.
Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

PLANET: making progress with commit processing in unpredictable environments.
Proceedings of the International Conference on Management of Data, 2014

Scalable atomic visibility with RAMP transactions.
Proceedings of the International Conference on Management of Data, 2014

Curracurrong cloud: Stream processing in the cloud.
Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

Scalable serializable snapshot isolation for multicore systems.
Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

YCSB+T: Benchmarking web-scale transactional databases.
Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

Quantifying Failure Risk of Version Switch for Rolling Upgrade on Clouds.
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

2013
Highly Available Transactions: Virtues and Limitations.
PVLDB, 2013

HAT, not CAP: Highly Available Transactions
CoRR, 2013

A scalable lock manager for multicores.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Supporting Undoability in Systems Operations.
Proceedings of the Lucky LISA: Proceedings of the 27th Large Installation System Administration Conference, 2013

A Polymorphic Model for Event Associated Workload Bursts.
Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

HAT, Not CAP: Towards Highly Available Transactions.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

MDCC: multi-data center consistency.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Performance of Serializable Snapshot Isolation on Multicore Servers.
Proceedings of the Database Systems for Advanced Applications, 2013

Managing Personal Goal Information.
Proceedings of the CIDR 2013, 2013

Robust Snapshot Replication.
Proceedings of the Twenty-Fourth Australasian Database Conference, 2013

2012
Making sense of business process descriptions: An experimental comparison of graphical and textual notations.
Journal of Systems and Software, 2012

How a consumer can measure elasticity for cloud platforms.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Event Aware Workload Prediction: A Study Using Auction Events.
Proceedings of the Web Information Systems Engineering - WISE 2012, 2012

Application-Managed Database Replication on Virtualized Cloud Environments.
Proceedings of the Workshops Proceedings of the IEEE 28th International Conference on Data Engineering, 2012

Multi-version Concurrency via Timestamp Range Conflict Management.
Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

Automatic Undo for Cloud Management via AI Planning.
Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

The potential dangers of causal consistency and an explicit solution.
Proceedings of the ACM Symposium on Cloud Computing, SOCC '12, 2012

2011
Serializable Snapshot Isolation for Replicated Databases in High-Update Scenarios.
PVLDB, 2011

One-copy serializability with snapshot isolation under the hood.
Proceedings of the 27th International Conference on Data Engineering, 2011

Size Estimation of Cloud Migration Projects with Cloud Migration Point (CMP).
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

Data Consistency Properties and the Trade-offs in Commercial Cloud Storage: the Consumers' Perspective.
Proceedings of the CIDR 2011, 2011

2010
Consistency Models for Replicated Data.
Proceedings of the Replication: Theory and Practice, 2010

Exploiting deadline flexibility in Grid workflow rescheduling.
Proceedings of the 2010 11th IEEE/ACM International Conference on Grid Computing, 2010

2009
Weak Consistency Models for Replicated Data.
Proceedings of the Encyclopedia of Database Systems, 2009

Strong Consistency Models for Replicated Data.
Proceedings of the Encyclopedia of Database Systems, 2009

Snapshot Isolation.
Proceedings of the Encyclopedia of Database Systems, 2009

Replica Freshness.
Proceedings of the Encyclopedia of Database Systems, 2009

Consistency Models For Replicated Data.
Proceedings of the Encyclopedia of Database Systems, 2009

Serializable isolation for snapshot databases.
ACM Trans. Database Syst., 2009

Teaching about threading: where and what?
SIGACT News, 2009

Quantifying Isolation Anomalies.
PVLDB, 2009

Unbundling Transaction Services in the Cloud
CoRR, 2009

Implementing Isolation for Service-Based Applications.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS.
Proceedings of the 25th International Conference on Data Engineering, 2009

Unbundling Transaction Services in the Cloud.
Proceedings of the CIDR 2009, 2009

2008
The Efficacy of Commutativity-Based Semantic Locking in a Real-World Application.
IEEE Trans. Knowl. Data Eng., 2008

Serializable isolation for snapshot databases.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

Teaching students to develop thread-safe java classes.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

The Cost of Serializability on Platforms That Use Snapshot Isolation.
Proceedings of the 24th International Conference on Data Engineering, 2008

Serializable Executions with Snapshot Isolation: Modifying Application Code or Mixing Isolation Levels?
Proceedings of the Database Systems for Advanced Applications, 2008

When serializability comes without cost.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007
Automating the Detection of Snapshot Isolation Anomalies.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Delivering Promises for Web Services Applications.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Isolation Support for Service-based Applications: A Position Paper.
Proceedings of the CIDR 2007, 2007

An Enactment-Engine Based on Use-Cases.
Proceedings of the Business Process Management, 5th International Conference, 2007

2006
Isolation Support for Service-based Applications: A Position Paper
CoRR, 2006

Relaxed-currency serializability for middle-tier caching and replication.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Expressing and Reasoning about Service Contracts in Service-Oriented Computing.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

An Event-Driven Workflow Engine for Service-based Business Systems.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

2005
Design-Level Performance Prediction of Component-Based Applications.
IEEE Trans. Software Eng., 2005

Making snapshot isolation serializable.
ACM Trans. Database Syst., 2005

The atomic manifesto: a story in four quarks.
Operating Systems Review, 2005

The atomic manifesto: a story in four quarks.
SIGMOD Record, 2005

Consistency for Web Services Applications.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Allocating isolation levels to transactions.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

A Service-Oriented Workflow Language for Robust Interacting Applications.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Teaching transaction management with SQL examples.
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

2004
A Read-Only Transaction Anomaly Under Snapshot Isolation.
SIGMOD Record, 2004

Predicting the performance of middleware-based applications at the design level.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

The Atomic Manifesto: a Story in Four Quarks.
Proceedings of the Atomicity in System Design and Execution, 25.04. - 30.04.2004, 2004

2003
Providing view synchrony for group communication services.
Acta Inf., 2003

An Empirical Study of Commutativity in Application Code.
Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003

Expressiveness of Workflow Description Languages.
Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

Compensation is Not Enough.
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Just What Could Possibly Go Wrong In B2B Integration?
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

Transactions in Loosely Coupled Distributed Systems.
Proceedings of the Database Technologies 2003, 2003

Using Counter-Examples in the Data Structures Course.
Proceedings of the Fifth Australasian Computing Education Conference (ACE 2003), 2003

2002
Design of a major in software development.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002, Cincinnati, Kentucky, USA, February 27, 2002

Teaching data structures with multiple collection class libraries.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002, Cincinnati, Kentucky, USA, February 27, 2002

2001
Specifying and using a partitionable group communication service.
ACM Trans. Comput. Syst., 2001

Dynamic network service installation in an active network.
Computer Networks, 2001

Lightweight Analysis of Object Interactions.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Reconfigurable Algorithms in View Synchrony.
Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001

A Framework for Highly Available Services Based on Group Communication.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

2000
Problem-Based Learning for Foundation Computer Science Courses.
Computer Science Education, 2000

Supporting reflection in introductory computer science.
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

1999
Eventually-Serializable Data Services.
Theor. Comput. Sci., 1999

A Dynamic Primary Configuration Group Communication Service.
Proceedings of the Distributed Computing, 1999

Synchronous Executions and View Synchrony.
Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999

Serialisability and Snapshhot Isolation.
Proceedings of the Database Systems 99, 1999

1998
Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication.
J. ACM, 1998

Approximate Agreement with Mixed Mode Faults: Algorithm and Lower Bound.
Proceedings of the Distributed Computing, 12th International Symposium, 1998

Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service.
Proceedings of the Distributed Computing, 12th International Symposium, 1998

A Dynamic View-Oriented Group Communication Service.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

Optimal Approximate Agreement with Omission Faults.
Proceedings of the Algorithms and Computation, 9th International Symposium, 1998

Conveying technical content in a curriculum using problem based learning.
Proceedings of the ACM SIGCSE 3rd Australasian Conference on Computer Science Education, 1998

1997
Software engineering for parallel and distributed systems.
IEEE Concurrency, 1997

Specifying and Using a Partitionable Group Communication Service.
Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

A teaching system for SQL.
Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997

What do exam results really measure?
Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997

1996
Multi-Granularity Locking for Nested Transactions: A Proof Using a Possibilities Mapping.
Acta Inf., 1996

Designing closed laboratories for a computer science course.
Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

Preparation for research: instruction in interpreting and evaluating research.
Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

Dynamically Configurable Concurrency Control for a Persistent Store.
Proceedings of the 7th Workshop on Persistent Object Systems, 1996

Eventually-Serializable Data Services.
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Cerberus - a tool for debugging distributed algorithms.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

1995
Hybrid Atomicity for Nested Transactions.
Theor. Comput. Sci., 1995

Liveness Conditions in Model-Based Service Specifications: A Case Study.
Proceedings of the SIGSOFT '95, 1995

Enhancing generic skills in the computer organization course.
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1994
Asynchronous Approximate Agreement
Inf. Comput., November, 1994

Reliable Communication Over Unreliable Channels.
J. ACM, 1994

1993
The Impossibility of Implementing Reliable Communication in the Face of Crashes.
J. ACM, 1993

Formal Models of Communication Services: A Case Study.
IEEE Computer, 1993

Reasoning about programs: integrating verification and analysis of algorithms into the introductory programming course.
Proceedings of the 24th SIGCSE Technical Symposium on Computer Science Education, 1993

Modular Reasoning About Open Systems: A Case Study of Distributed Commit.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Recent Advances in Transaction Management.
Proceedings of the Advances in Database Research, 1993

Atomic Transactions
Morgan Kaufmann, ISBN: 1-55860-104-X, 1993

1992
Hybrid Atomicity for Nested Transactions.
Proceedings of the Database Theory, 1992

1991
Multi-Granularity Locking for Nested Transaction Systems.
Proceedings of the MFDBS 91, 1991

1990
Commutativity-Based Locking for Nested Transactions.
J. Comput. Syst. Sci., 1990

Asymptotically Optimal Algorithms for Approximate Agreement.
Distributed Computing, 1990

A Serialization Graph Construction for Nested Transactions.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

The Need for Headers: An Impossibility Result for Communication over Unreliable Channels.
Proceedings of the CONCUR '90, 1990

1989
Commutativity-Based Locking for Nested Transactions.
Proceedings of the Persistent Object Systems, 1989

1988
A Theory of Timestamp-Based Concurrency Control for Nested Transactions.
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

Data Link Layer: Two Impossibility Results.
Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

A Theory of Atomic Transactions.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987
A Modular Proof of Correctness for a Network Synchronizer (Research Summary).
Proceedings of the Distributed Algorithms, 1987

Nested Transactions and Read/Write Locking.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Asynchronous Approximate Agreement.
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

1986
Asymptotically Optimal Algorithms For Approximale Agreement.
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986


  Loading...