Paolo A. G. Sivilotti

According to our database, Paolo A. G. Sivilotti authored at least 32 papers between 1994 and 2022.

Collaborative distances:

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

2022

An Eventually Perfect Failure Detector on ADD Channels Using Clustering.

Laine E. Rumreich, Paolo A. G. Sivilotti

Proceedings of the Networked Systems - 10th International Conference, 2022

2021

An Array Abstraction to Amortize Reasoning About Parallel Client Code.

Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman

Proceedings of the Intelligent Computing, 2021

Formal Verification of a Java Component Using the RESOLVE Framework.

Laine E. Rumreich, Paolo A. G. Sivilotti

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2018

Verification Benchmarks.

Paolo A. G. Sivilotti

ACM SIGSOFT Softw. Eng. Notes, 2018

2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.

Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016

Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue.

Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2012

Poster Abstract: Getting Out of the Way - Safety Verification without Compromise.

Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2010

Interfaces first (and foremost) with Java.

Paolo A. G. Sivilotti, Matthew Lang

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving.

Matthew Lang, Paolo A. G. Sivilotti

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008

Scratching the surface of advanced topics in software engineering: a workshop module for middle school students.

Paolo A. G. Sivilotti, Stacey A. Laugel

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

2007

A collection of kinesthetic learning activities for a course on distributed computing: ACM SIGACT news distributed computing column 26.

Paolo A. G. Sivilotti, Scott M. Pike

SIGACT News, 2007

A Distributed Maximal Scheduler for Strong Fairness.

Matthew Lang, Paolo A. G. Sivilotti

Proceedings of the Distributed Computing, 21st International Symposium, 2007

The suitability of kinesthetic learning activities for teaching distributed algorithms.

Paolo A. G. Sivilotti, Scott M. Pike

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2006

Container-Based Component Deployment: A Case Study.

Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2005

Plausible Clocks with Bounded Inaccuracy.

Brad T. Moore, Paolo A. G. Sivilotti

Proceedings of the Distributed Computing, 19th International Conference, 2005

The Impact of Laziness on the Performance of Snapshot Algorithms.

Zhijun Liu, Paolo A. G. Sivilotti

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

Using parse tree validation to prevent SQL injection attacks.

Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004

A Container-Based Approach to Object-Oriented Product Lines.

Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal

J. Object Technol., 2004

Research, teaching, and service: the miniconference as a model for CS graduate seminar courses.

Paolo A. G. Sivilotti, Bruce W. Weide

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Dining Philosophers with Crash Locality 1.

Scott M. Pike, Paolo A. G. Sivilotti

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

2003

Introducing middle school girls to fault tolerant computing.

Paolo A. G. Sivilotti, Murat Demirbas

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Remote Belief: Preserving Volition for Loosely Coupled Processe.

Nuh Aydin, Paolo A. G. Sivilotti

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

A Paradigm for Component-based Software Development in a Distributed Environment.

Ayesha Mascarenhas, Paolo A. G. Sivilotti

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

Lazy Snapshorts.

Nigamanth Sridhar, Paolo A. G. Sivilotti

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

2001

Increasing client-side confidence in remote component implementations.

Ramesh Jagannathan, Paolo A. G. Sivilotti

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

The Specification and Testing of Quantified Progress Properties in Distributed Systems.

Prakash Krishnamurthy, Paolo A. G. Sivilotti

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

A Tool for Testing Liveness in Distributed Object Systems.

Charles P. Giles, Paolo A. G. Sivilotti

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

1999

The specification of distributed objects: liveness and locality.

Paolo A. G. Sivilotti, Charles P. Giles

Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999

1998

A Cottage Industry of Software Publishing: Implications for Theories of Composition.

K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

A class of synchronization systems that permit the use of large atomic blocks.

Paolo A. G. Sivilotti

Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1996

A World-Wide Distributed System Using Java and the Internet.

K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, Jacob Mandelson, Matthew Richardson, Wesley Tanaka, Luke Weisman

Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

1994

A Verified Integration of Parallel Programming Paradigms in CC++.

Paolo A. G. Sivilotti

Proceedings of the 8th International Symposium on Parallel Processing, 1994