Paolo A. G. Sivilotti

33 papers A* 1A 11C 1Misc 1Journal 3Unranked 15

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	An Eventually Perfect Failure Detector on ADD Channels Using Clustering. NETYS Laine E. Rumreich, Paolo A. G. Sivilotti
2021	—	`conf`	An Array Abstraction to Amortize Reasoning About Parallel Client Code. SAI (1) Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
2021	—	`conf`	Formal Verification of a Java Component Using the RESOLVE Framework. FroCoS Laine E. Rumreich, Paolo A. G. Sivilotti
2018	J	`jnl`	Verification Benchmarks. ACM SIGSOFT Softw. Eng. Notes Paolo A. G. Sivilotti
2017	—	`conf`	Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
2016	—	`conf`	Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. VSTTE Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
2012	—	`conf`	Poster Abstract: Getting Out of the Way - Safety Verification without Compromise. ICCPS Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide
2010	A	`conf`	Interfaces first (and foremost) with Java. SIGCSE Paolo A. G. Sivilotti, Matthew Lang
2009	A	`conf`	On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving. ICDCS Matthew Lang, Paolo A. G. Sivilotti
2008	A	`conf`	Scratching the surface of advanced topics in software engineering: a workshop module for middle school students. SIGCSE Paolo A. G. Sivilotti, Stacey A. Laugel
2007	A	`conf`	A Distributed Maximal Scheduler for Strong Fairness. DISC Matthew Lang, Paolo A. G. Sivilotti
2007	J	`jnl`	A collection of kinesthetic learning activities for a course on distributed computing: ACM SIGACT news distributed computing column 26. SIGACT News Paolo A. G. Sivilotti, Scott M. Pike
2007	A	`conf`	The suitability of kinesthetic learning activities for teaching distributed algorithms. SIGCSE Paolo A. G. Sivilotti, Scott M. Pike
2006	C	`conf`	Container-Based Component Deployment: A Case Study. SEKE Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti
2005	A	`conf`	Plausible Clocks with Bounded Inaccuracy. DISC Brad T. Moore, Paolo A. G. Sivilotti
2005	—	`conf`	The Impact of Laziness on the Performance of Snapshot Algorithms. IASTED PDCS Zhijun Liu, Paolo A. G. Sivilotti
2005	—	`conf`	Using parse tree validation to prevent SQL injection attacks. SEM Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti
2004	J	`jnl`	A Container-Based Approach to Object-Oriented Product Lines. J. Object Technol. Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal
2004	A	`conf`	Dining Philosophers with Crash Locality 1. ICDCS Scott M. Pike, Paolo A. G. Sivilotti
2004	A	`conf`	Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. SIGCSE Paolo A. G. Sivilotti, Bruce W. Weide
2003	A	`conf`	Introducing middle school girls to fault tolerant computing. SIGCSE Paolo A. G. Sivilotti, Murat Demirbas
2003	A	`conf`	Remote Belief: Preserving Volition for Loosely Coupled Processe. ICDCS Nuh Aydin, Paolo A. G. Sivilotti
2002	Misc	`conf`	A Paradigm for Component-based Software Development in a Distributed Environment. PDPTA Ayesha Mascarenhas, Paolo A. G. Sivilotti
2002	—	`conf`	Lazy Snapshorts. IASTED PDCS Nigamanth Sridhar, Paolo A. G. Sivilotti
2001	—	`conf`	Increasing client-side confidence in remote component implementations. ESEC / SIGSOFT FSE Ramesh Jagannathan, Paolo A. G. Sivilotti
2001	A*	`conf`	The Specification and Testing of Quantified Progress Properties in Distributed Systems. ICSE Prakash Krishnamurthy, Paolo A. G. Sivilotti
2000	—	`conf`	A Tool for Testing Liveness in Distributed Object Systems. TOOLS (34) Charles P. Giles, Paolo A. G. Sivilotti
1999	—	`conf`	The specification of distributed objects: liveness and locality. CASCON Paolo A. G. Sivilotti, Charles P. Giles
1998	—	`conf`	A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry
1998	—	`conf`	A class of synchronization systems that permit the use of large atomic blocks. CASCON Paolo A. G. Sivilotti
1998	—	`—`	A method for the specification, composition, and testing of distributed object systems. Paolo A. G. Sivilotti
1996	A	`conf`	A World-Wide Distributed System Using Java and the Internet. HPDC K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, Jacob Mandelson, Matthew Richardson, Wesley Tanaka, Luke Weisman
1994	—	`conf`	A Verified Integration of Parallel Programming Paradigms in CC++. IPPS Paolo A. G. Sivilotti