Alan David FEKETE

Monograph Publication

  1. Atomic Transactions
    N. Lynch, M. Merritt, W. Weihl, and A. Fekete.
    publisher: Morgan Kaufmann, San Mateo, 1993. isbn: 1-55860-104-X.

Journal Publications

  1. Asymptotically Optimal Algorithms for Approximate Agreement
    A. Fekete
    Distributed Computing, 4(1), pp 9-30, 1990.
  2. Commutativity-Based Locking for Nested Transactions
    A. Fekete, N. Lynch, M. Merritt, and W. Weihl
    Journal of Computer and System Sciences, 41(1), pp 65-156, August 1990.
  3. Formal Models of Communication Services: A Case Study
    A. Fekete
    IEEE Computer, 26(8), pp 37-47, August, 1993.
  4. The Impossibility of Implementing Reliable Communication in the Face of Crashes
    A. Fekete, N. Lynch, Y. Mansour, and J. Spinelli,
    Journal of the ACM, 40(5), pp 1087-1107, November 1993.
  5. Asynchronous Approximate Agreement
    A. Fekete
    Information and Computation, 115(1):95-124, November 1994.
  6. Reliable Communication over Unreliable Channels
    Y. Afek, H. Attiya, A. Fekete, M. Fischer, N. Lynch, Y. Mansour, D. Wang, and L. Zuck
    Journal of the ACM, 41(6), pp 1267-1297, November 1994.
  7. Hybrid Atomicity for Nested Transaction Systems
    A. Fekete, N. Lynch and W. Weihl
    Theoretical Computer Science, 149(1), pp 151-178, September 1995.
  8. Multi-granularity Locking for Nested Transaction Systems: Proof Using A Possibilities Mapping
    J. Lee and A. Fekete
    Acta Informatica, 33(2):131-152, March 1996.
  9. Implementing Sequentially-Consistent Shared Objects using Broadcast and Point-to-Point Communication
    A. Fekete, M. F. Kaashoek and N. Lynch
    Journal of the ACM, 45(1):35-69, January 1998.
  10. Eventually-serializable data services
    A. Fekete, D. Gupta, V. Luchangco, N. Lynch and A. Shvartsamn
    Theoretical Computer Science 220(1):113-156, June 1999.
  11. Problem-Based Learning for Foundation Computer Science courses
    M. Barg, K. Crawford, A. Fekete, T. Greening, O. Hollands, J. Kay and J. Kingston
    Computer Science Education, 10(2):109-128, 2000.
  12. Specifying and Using a Partitionable Group Communication Service
    A. Fekete, N. Lynch, and A. Shvartsman
    ACM Transactions on Computer Systems, 19(2):171-216, May 2001.
  13. Dynamic Network Service Installation in an Active Network
    A. Fernando, D. Williams, A. Fekete, and R. Kummerfeld
    Computer Networks, 36:35-48, 2001.
  14. Providing View Synchrony for Group Communication Services
    N. Lesley and A. Fekete
    Acta Informatica 40(3):159-210, 2003.
  15. Making Snapshot Isolation Serializable
    A. Fekete, D. Liarokapis, E. O'Neil, P. O'Neil, and D. Shasha
    ACM Transactions on Database Systems, 30(2):492-528, June 2005.
  16. Design Level Performance Prediction of Component-based Applications
    Y. Liu, A. Fekete, and I. Gorton
    IEEE Transactions on Software Engineering, 31(11):928-941, November 2005.
  17. The Efficacy of Commutativity-Based Semantic Locking in a Real-World Application
    P. Wu, A. Fekete and U. Roehm
    IEEE Transactions on Knowledge and Data Engineering, 20(3):427-431, March 2008.

Conference Publications

  1. Asymptotically Optimal Algorithms for Approximate Agreement
    A. Fekete
    Proceedings of the 5th ACM Symposium on Principles of Distributed Computing (PODC'86), Calgary, Alberta, Canada, August 1986, pp. 73-87.
  2. Nested Transactions and Read/Write Locking
    A. Fekete, N. Lynch, M. Merritt, and W. Weihl
    Proceedings of the 6th ACM Symposium on Principles of Database Systems (PODS'87), San Diego, California, USA, March 1987, pp. 97-111.
  3. Asynchronous Approximate Agreement
    A. Fekete
    Proceedings of the 6th ACM Symposium on Principles of Distributed Computing (PODC'87), Vancouver, British Columbia, Canada, August 1987, pp. 64-76.
  4. A Modular Proof of Correctness for a Network Synchronizer
    A. Fekete, N. Lynch, and L. Shrira
    Proceedings of the 2nd International Workshop on Distributed Algorithms (WDAG'87), Amsterdam, Netherlands, July 1987, (J. van Leeuwen, ed), pp. 219-256. Lecture Notes in Computer Science 312, Springer-Verlag.
  5. A Theory of Timestamp-Based Concurrency Control for Nested Transactions
    J. Aspnes, A. Fekete, N. Lynch, M. Merritt, and W. Weihl
    Proceedings of the 14th International Conference on Very Large Data Bases (VLDB'88), Los Angeles, California, USA, September 1988, pp. 431-444.
  6. A Theory of Atomic Transactions
    N. Lynch, M. Merritt, W. Weihl, and A. Fekete
    Proceedings of 2nd International Conference on Database Theory (ICDT'88), Bruges, Belgium, September 1988, pp 41-71. Lecture Notes in Computer Science 326, Springer Verlag.
  7. The Data Link Layer: Two Impossibility Results
    N. Lynch, Y. Mansour, and A. Fekete
    Proceedings of the 7th ACM Symposium on Principles of Distributed Computing (PODC'88), Toronto, Ontario, Canada, August 1988, pp. 149-170.
  8. Commutativity-Based Locking for Nested Transactions
    A. Fekete, N. Lynch, M. Merritt, and W. Weihl
    Proceedings of International Workshop on Persistent Object Systems (POS'89), Newcastle, Australia, January 1989. J. Rosenberg and D. Koch (eds), Springer Verlag BCS Workshops in Computing, pp 319-340.
  9. Proof of a Concurrency Control Algorithm Using a Possibilities Mapping
    J. Lee and A. Fekete
    Proceedings of Australian Database Research Conference (ADC'90), Melbourne, Australia, February 1990, pp 185-194.
  10. A Serialization Graph for Nested Transactions
    A. Fekete, N. Lynch, and W. Weihl
    Proceedings of the 9th ACM Symposium on Principles of Database Systems (PODS'90), pp 94-105, Nashville, Tennesee, USA, April 1990.
  11. The Need for Headers: An Impossibility Result for Communication over Unreliable Channels
    A. Fekete and N. Lynch
    Proceedings of CONCUR 90: Theories of Concurrency, Amsterdam, Netherlands, August 1990. Lecture Notes in Computer Science 458, pp. 199-215, Springer Verlag.
  12. Hierarchical Network Routing
    P. Lauder, R. Kummerfeld and A. Fekete
    Proceedings of TriComm'91, IEEE Conference on Communications Software, pp 105-114, Chapel Hill, North Carolina, USA, April 1991.
  13. Multi-Granularity Locking for Nested Transaction Systems
    J. Lee and A. Fekete
    Proceedings of MFDBS91, Lecture Notes in Computer Science 495, pp 160-172, Springer Verlag.
  14. Model and Verification of a Data Manager
    D. Kuo and A. Fekete
    Proceedings of 15th Australian Computer Science Conference (ACSC'92), pp 487-502, Hobart, Australia, January 1992.
  15. Sliding Window Protocol: A Model and Verification
    P. Tyler and A. Fekete
    Proceedings of 15th Australian Computer Science Conference (ACSC'92), pp 927-942, Hobart, Australia, January 1992.
  16. Predicate Locking for Nested Transaction Systems
    J. Lee and A. Fekete
    Proceedings of 3rd Australian Database Conference (ADC'92), pp 217-231, Melbourne, Australia, February 1992.
  17. Hybrid Atomicity for Nested Transaction Systems
    A. Fekete, N. Lynch, and W. Weihl
    Proceedings of International Conference on Database Theory (ICDT'92), Berlin, Germany, October 1992. Lecture Notes in Computer Science 646, pp. 216-230, Springer Verlag.
  18. Recent Advances in Transaction Management
    A. Fekete
    Invited Paper, Proceedings of 4th Australian Database Conference (ADC'93), Brisbane, Australia, February 1993, pp 1-9.
  19. Reasoning About Programs: Integrating Verification and Analysis of Algorithms Into the Introductory Programming Course
    A. Fekete
    Proceedings of ACM Technical Symposium in Computer Science Education (SIGCSE'93), February 1993, pp 198-202.
  20. Modular Reasoning about Open Systems: A Case Study of Distributed Commit
    R. Das and A. Fekete
    Proceedings of Seventh International Workshop on Software Specification and Design, Los Angeles, California, USA, December 1993, pp 30-39. IEEE Press.
  21. Enhancing Generic Skills in the Computer Organization Course
    A. Fekete
    Proceedings of ACM Technical Symposium in Computer Science Education (SIGCSE'95), March 1995, pp 273-277.
  22. Providing Sequentially-Consistent Shared Objects Using Group and Point-to-point Communication
    A. Fekete, F. Kaashoek and N. Lynch
    Proceedings of International Conference on Distributed Computer Systems (ICDCS'95), Vancouver, British Columbia, Canada, June 1995, pp 439-449. IEEE Press.
  23. Liveness Conditions in Model-Based Service Specifications: A Case Study
    A. Fekete
    Proceedings of Third ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'95), Washington, DC, USA, October 1995, pp 62-71.
  24. Preparation for Research: Instruction in Interpreting and Evaluating Research
    A. Fekete
    Proceedings of ACM Technical Symposium in Computer Science Education (SIGCSE'96), Philadelphia, Pennsylvania, USA, March 1996, pp 93-97.
  25. Designing Closed Laboratories for a Computer Science Course
    A. Fekete and A. Greening
    Proceedings of ACM Technical Symposium in Computer Science Education (SIGCSE'96), Philadelphia, Pennsylvania, USA, March 1996, pp 295-299.
  26. Cerberus - A Tool For Debugging Distributed Algorithms
    F. Carter and A. Fekete
    Proceedings of IFIP Workshop on Software Engineering for Parallel and Distributed Systems, Berlin, Germany, March 1996, pp 110-121. Chapman and Hall publishers.
  27. Eventually-Serializable Data Services
    A. Fekete, D. Gupta, V. Luchangco, N. Lynch, A. Shvartsman
    Proceedings of ACM Symposium on Principles of Distributed Computing (PODC'96), Philadelphia, Pennsylvania, USA, May 1996, pp 300-309.
  28. Dynamically Configurable Concurrency Control for a Persistent Store
    M. Flanagan, A. Fekete, F. Henskens, and J. Rosenberg
    Persistent Object Systems, Principles and Practice. Proceedings of Seventh International Workshop on Persistent Object Systems (POS'96), June 1996, pp 60-71. Morgan Kaufmann publishers.
  29. What Do Exam Results Really Measure?
    K. Crawford and A. Fekete
    Proceedings of Second Australasian Conference on Computer Science Education (ACE'97). Melbourne, Australia, July 1997, pp 185-190. ACM Press.
  30. A Teaching System for SQL
    R. Kearns, S. Shead and A. Fekete
    Proceedings of Second Australasian Conference on Computer Science Education (ACE'97). Melbourne, Australia, July 1997, pp 224-229. ACM Press.
  31. Specifying and Using a Partitionable Group Communication Service
    A. Fekete, N. Lynch, and A. Shvartsman
    Proceedings of ACM Symposium on Principles of Distributed Computing (PODC'97), Santa Barbara, Californa, USA, August 1997, pp 53-62.
  32. A Dynamic View-Oriented Group Communication Service
    R. de Prisco, A. Fekete, N. Lynch and A. Shvartsman
    Proceedings of ACM Symposium on Principles of Distributed Computing (PODC'98), Puerto Vallarta, Mexico, June 1998, pp 227-236.
  33. Conveying Technical Content in a Curriculum Using Problem Based Learning
    A. Fekete, T. Greening, and J. Kingston
    Proceedings of the Third Australasian Conference on Computer Science Education (ACE'98) Brisbane, Australia, July 1998, pp198-202.
  34. Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service
    R. Khazan, A. Fekete and N. Lynch
    Proceedings of the 12th International Symposium on Distributed Computing (DISC'98), Andros, Greece, September 1998, Springer Lecture Notes in Computer Science 1499, pp 258-272.
  35. Approximate Agreement with Mixed Mode Faults
    R. Plunkett and A. Fekete
    Proceedings of the 12th International Symposium on Distributed Computing (DISC'98), Andros, Greece, September 1998, Springer Lecture Notes in Computer Science 1499, pp 333-346.
  36. Optimal Approximate Agreement with Omission Faults
    R. Plunkett and A. Fekete
    Proceedings of International Symposium on Algorithms and Computation (ISAAC'98) Taejon, Korea, December 1998, Springer Lecture Notes in Computer Science 1533, pp 467-475.
  37. Providing View Synchrony for Group Communication Services
    N. Lesley and A. Fekete
    Proceedings of the Australian Computer Science Conference (ACSC'99) Auckland, New Zealand, January 1999, pp 457-468.
  38. Serialisability and Snapshot Isolation
    Proceedings of the Australian Database Conference (ADC'99), Auckland, New Zealand, January 1999, pp 201-210.
  39. An Active Network Bandwidth Reservation Scheme
    D. Williams, C. Nguyen, A. Fekete, M. Hitchens and R. Kummerfeld
    Proceedings of IEEE Conference on Open Architectures and Network Programming (OPENARCH'99), New York, New York, USA, March 1999, pp 59-66.
  40. A Dynamic Primary Configuration Group Communication Service
    R. de Prisco, A. Fekete, N. Lynch and A. Shvartsman
    Proceedings of the 13th International Symposium on Distributed Computing (DISC'99) Bratislava, Slovak Republic, September 1999, pp 64-78.
  41. Synchronous Executions and View Synchrony
    N. Lesley and A. Fekete
    Proceedings of International Conference on Principles of Distributed Systems (OPODIS'99) Hanoi, Vietnam, October 1999, pp 108-128.
  42. Supporting Reflection in Introductory Computer Science
    A. Fekete, J. Kay, J. Kingston and K. Wimalaratne
    Proceedings of ACM Technical Symposium on Computer Science Education (SIGCSE'00) Austin, Texas, USA, March 2000, pp 144-148.
  43. A New Dynamic Architecture for Active Networks
    A. Fernando R. Kummerfeld, A. Fekete, and M. Hitchens
    Proceedings of IEEE Conference on Open Architectures and Network Programming (OPENARCH'00) Tel Aviv, Israel, March 2000, pp 121-127.
  44. A Framework for Highly Available Services Based on Group Communication
    A. Fekete and I. Keidar
    Proceedings of International Workshop on Applied Reliable Group Communication Phoenix, Arizona, USA, April 2001, pp 57-62.
  45. Lightweight Analysis of Object Interactions
    D. Jackson and A. Fekete
    Proceedings of International Symposium on Theoretical Aspects of Computer Software Sendai Japan, October 2001, LNCS 2215, pp 492-513.
  46. Reconfigurable Algorithms in View Synchrony
    N. Lesley and A. Fekete
    Proceedings of IEEE International Symposium on Network Computing and Applications, Cambridge, Massachusetts, USA, October 2001, pp 256-267.
  47. Design of a Major in Software Development
    A. Fekete and R. Kummerfeld
    Proceedings of ACM Technical Symposium on Computer Science Education (SIGCSE'02), Northern Kentucky, Kentucky, USA, February 2002, pp 73-77.
  48. Teaching Data Structures with Multiple Collection Class Libraries
    A. Fekete
    Proceedings of ACM Technical Symposium on Computer Science Education (SIGCSE'02), Northern Kentucky, Kentucky, USA, February 2002, pp 396-400.
  49. Towards a Framework for Capturing Transactional Requirements of Real Workflows
    D. Kuo, A. Fekete, P. Greenfield and J. Jang
    Proceedings of The Second International Workshop on Cooperative Internet Computing, Hong Kong, China, August 2002, pp 113-122.
  50. Using Counter-Examples in the Data Structures Course
    A. Fekete
    Proceedings of the Australasian Computing Education Conference (ACE'03), Adelaide Australia, February 2003, pp 179-186.
  51. Transactions in Loosely Coupled Distributed Systems
    A. Fekete, P. Greenfield, D. Kuo, and J. Jang
    Invited paper, Proceedings of the Australian Database Conference (ADC'03), Adelaide Australia, February 2003, pp 7-12.
  52. Expressiveness of Workflow Description Languages
    J. Jang, A. Fekete, P. Greenfield, and D. Kuo
    Proceedings of International Conference on Web Services (ICWS'03), Las Vegas, Nevada USA, June 2003, pp 104-110.
  53. An Empirical Study of Commutativity in Application Code
    P. Wu and A. Fekete
    Proceedings of International Database Engineering and Applications Symposium, Hong Kong, China, July 2003, pp 358-369.
  54. Compensation is not Enough!
    P. Greenfield, A. Fekete, J. Jang, and D. Kuo
    Proceedings of International Enterprise Distributed Object Computing Conference (EDOC'03), Brisbane Australia, September 2003, pp 232-239.
  55. Just What Could Possibly Go Wrong in B2B Integration?
    D. Kuo, A. Fekete, P. Greenfield, J. Jang, and D. Palmer
    Proceedings of WACAI2003, published within Proceedings of COMPSAC2003, Dallas, Texas USA, November 2003, pp 544-549.
  56. Predicting the Performance of Middleware-based Applications at the Design Level
    Y. Liu, A. Fekete, and I. Gorton
    Proceedings of Fourth International Workshop on Software and Performance (WOSP'04), Redwood Shores California USA, January 2004, pp 166-170.
  57. Allocating Isolation Levels to Transactions
    A. Fekete
    Proceedings of ACM Conference on Principles of Database Systems (PODS'05), Baltimore, Maryland USA, June 2005, pp 206-215.
  58. Teaching transaction management with SQL examples
    A. Fekete
    Proceedings of SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE'05), Lisbon, Portugal, June 2005, pp 163-167.
  59. Consistency for Web Service Applications
    P. Greenfield, D. Kuo, S. Nepal, and A. Fekete
    Proceedings of International Conference on Very Large Data Bases (VLDB'05) (industry track), Tromso Norway, August 2005, pp 1199-1203.
  60. A Service-Oriented Workflow Language for Robust Interacting Applications
    S. Nepal, A. Fekete, P. Greenfield, J. Jang, D. Kuo, and T. Shi
    Proceedings of International Conference on Cooperative Information Systems (CoopIS 2005), Agia Napa, Cyprus, November 2005, pp 40-58.
  61. Relaxed-currency serializability for middle-tier caching and replication
    P. Bernstein, A. Fekete, H. Guo, R. Ramakrishnan, and P. Tamma
    Proceedings of ACM Sigmod International Conference on Management of Data (SIGMOD'06) Chicago, Illinois, USA, June 2006, pp 599-610.
  62. An Event-Driven Workflow Engine for Service-Based Business Systems
    J. Jang, A. Fekete, P. Greenfield, and S. Nepal
    Proceedings of International Enterprise Distributed Object Systems Conference (EDOC'06), Hong Kong, China, October 2006, pp 233-242.
  63. Expressing and Reasoning About Service Contracts in Service-Oriented Computing
    D. Kuo, A. Fekete, P. Greenfield, S. Nepal, J. Zic, S. Parastitidis and J. Webber
    Proceedings of International Conference on Web Services (ICWS'06) (short paper), Chicago, Illinois USA, September 2006, pp 915-918.
  64. Isolation Support for Service-Based Applications: A Position Paper
    P. Greenfield, A. Fekete, J. Jang, D. Kuo, and S. Nepal
    Proceedings of Conference on Innovative Data Systems Research (CIDR'07) , Asilomar, California USA, January 2007, pp 314-323.
  65. Learner Reflection in Student Self-Assessment
    J. Kay, L. Li, and A. Fekete
    Proceedings of Australasian Computing Education Conference (ACE'07), Ballarat Australia, January 2007, pp 89-95.
  66. Delivering Promises for Web Services Applications
    J. Jang, A. Fekete, and P. Greenfield
    Proceedings of International Conference on Web Services (ICWS'07), Salt Lake City, Utah USA, July 2007, pp 599-606.
  67. An Enactment-Engine based on Use-Cases
    A. Ottensooser and A. Fekete
    Proceedings of International Conference on Business Process Management (BPM'07), Brisbane, Australia, September 2007, pp 230-245.
  68. Automating the Detection of Snapshot Isolation Anomalies
    S. Jorwekar, A. Fekete, K. Ramamritham, and S. Sudarshan
    Proceedings of International Conference on Very Large Data Bases (VLDB'07), (industrial track) Vienna, Austria, September 2007, pp 1263-1274.
  69. Serializable executions with snapshot isolation: Modifying application code or mixing isolation levels?
    M. Alomari, M. Cahill, A. Fekete, and U. Roehm
    Proceedings of International Conference on Database Systems for Advanced Applications (DASFAA'08), New Delhi, India, March 2008, published as Springer LNCS 4947, pp 267-281.
  70. When Serializability Comes Without Cost
    M. Alomari, M. Cahill, A. Fekete and U. Roehm
    Proceedings of International Conference on Computer Systems and Applications (AICCSA'08), Qatar, March 2008, pp 164-171.
  71. The Cost of Serializability on Platforms that Use Snapshot Isolation
    M. Alomari, M. Cahill, A. Fekete, and U. Roehm
    Proceedings of IEEE International Conference on Data Engineering (ICDE'08), Cancun Mexico, April 2008, pp 576-585.
  72. Serializable isolation for snapshot databases
    M. Cahill, U. Roehm, and A. Fekete
    Proceedings of ACM Sigmod International Conference on Management of Data (SIGMOD'08), Vancouver Canada, June 2008, pp 729-738. (Best paper award)
  73. Teaching students to develop thread-safe Java classes
    A. Fekete
    Proceedings of ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'08), Madrid Spain, June 2008, pp 119-123.
  74. Unbundling Transaction Services in the Cloud
    D. Lomet, A. Fekete, G. Weikum, M. Zwilling
    Perspectives of Conference on Innovative Database Research (CIDR'09), Asilomar California USA, January 2009. available online.
  75. A Robust Technique to Ensure Serializable Executions with Snapshot Isolation DBMS
    M. Alomari, A. Fekete, and U. Roehm
    Proceedings of IEEE International Conference on Data Engineering (ICDE'09) Shanghai, China, April 2009, pp 341-352.
  76. Quantifying Isolation Anomalies
    A. Fekete, S. Goldrei and J. Perez Asenjo
    Proceedings of International Conference on Very Large Data Bases (VLDB'09), Lyons, France, August 2009, to appear.

Alan Fekete's Home Page

School of Information Technologies Home Page

webmaster@it.usyd.edu.au