Faculty of Informatics
Publications
Technical report (73)
- Kelorazi M. E., Le L. H., Pedone F. (2022) Heron: Scalable State Machine Replication on Shared Memory (2022/01)
- Filipovic D., Schneider P. (2021) Adaptive joint distribution learning (2021/04)
- Prokopec A., Rosà A., Leopoldseder D., Duboscq G., Tuma P., Studener M., Bulej L., Zheng Y., Villazon Torrico A., Simon D., Wuerthinger T., Binder W. (2019) On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity (2019/02)
- Dang H. T., Bressana P. G., Wang H., Lee K. S., Zilberman N., Weatherspoon H., Canini M., Pedone F., Soulé R. (2019) Partitioned Paxos via the Network Data Plane (2019/01)
- Le L. H., Fynn E., Eslahi Kelorazi M., Soulé R., Pedone F. (2018) DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication (2018/01)
- Dettmers T., Soleimani Bidhendi H. (2016) Computational and Parallel Deep Learning Perform-ance Benchmarks for the Xeon Phi (2016/04)
- Le L. H., Benevides Bezerra C. E., Pedone F. (2016) Dynamic Scalable State Machine Replication (2016/02)
- Pacheco de Sousa L., Halalai R., Schiavoni V., Pedone F., Rivière E., Felber P. (2016) GlobalFS: A Strongly Consistent Multi-Site File System (2016/01)
- Dang H. T., Bressana P. G., Wang H., Lee K. S., Weatherspoon H., Canini M., Pedone F., Soulé R. (2016) Network Hardware-Accelerated Consensus (2016/03)
- Jepsen T., Pacheco de Sousa L., Dang H. T., Pedone F., Soulé R. (2016) Optimistic Aborts for Geo-distributed Transactions (2016/05)
- Marras S., Hormann K. (2015) Exploring compression in edge shape space (2015/04)
- Sciascia D., Pedone F. (2015) Geo-Replicated Storage with Scalable Deferred Update Replication (2015/03)
- Dang H. T., Canini M., Pedone F., Soulé R. (2015) Paxos Made Switch-y (2015/05)
- Benevides Bezerra C. E., Pedone F., Renesse . R. v. ., Geyer . C. . (2015) Providing Scalability and Low Latency in State Machine Replication (2015/06)
- Benevides Bezerra C. E., Cason D., Pedone F. (2015) Ridge: high throughput, low-latency atomic multicast (2015/01)
- Azadmanesh M. R., Hauswirth M. (2015) Space-Time Views For Back-In-Time Debugging (2015/02)
- Fedyukovich G., Sharygina N. (2014) Automated Discovery of Simulation Between Programs (2014/05)
- Soulé R., Gedik B. (2014) Optimized Disk Layouts for Adaptive Storage of Interaction Graphs (2014/04)
- Papalini M., Khazaei K., Carzaniga A., Wolf A. (2014) Scalable Routing for Tag-Based Information-Centric Networking (2014/01)
- Ponzanelli L., Mocci A., Bacchelli A., Lanza M. (2014) Understanding and Classifying the Quality of Technical Forum Questions (2014/02)
- Alberti F., Sharygina N. (2013) Decision Procedures for Flat Array Properties (2013/04)
- Kardoš J. (2013) Evaluating realistic tsunami simulations with SWE model on GPU-enabled clusters (2013/03)
- Mikushin D., Likhogrud N., Zheng Zhang E., Bergst C. (2013) KernelGen the design and implementation of a next generation compiler platform for accelerating numerical models on GPUs (2013/02)
- Benevides Bezerra C. E., Pedone F., Garbinato B., Geyer C. i. (2013) Optimistic Atomic Multicast (2013/01)
- Giaquinta E., Pozzi L. (2012) An effective exact algorithm and a new upper bound for the number of contacts in the hydrophobic-polar 2D-lattice model (2012/02)
- Cheilaris P., Arseneva E., Papadopoulou E. (2012) Randomized incremental construction of the Hausdorff Voronoi diagram of non-crossing clusters (2012/03)
- (2012) Software Analytics for Mobile Applications
- Alberti F., Sharygina N. (2012) Tackling divergence: abstraction and acceleration in array programs (2012/01)
- Hattori L., Lanza M., D'Ambros M. (2011) A qualitative analysis of preemptive conflict detection (2011/05)
- Gross C., Krause R. (2011) On the Globalization of ASPIN employing Trust-Region Control Strategies - Convergence Analysis and Numerical Examples (2011/06)
- Bos L., De Marchi S., Hormann K. (2011) On the Lebesgue constant of Berrut's rational interpolant at equidistant nodes (2011/01)
- Malekpour Koupaei A., Carzaniga A., Toffetti Carughi G., Pedone F. (2011) Probabilistic FIFO Ordering in Publish/Subscribe Networks (2011/04)
- Gross C., Krause R. (2010) A Generalized Recursive Trust-Region Approach - Nonlinear Multiplicatively Preconditioned Trust-Region Methods and Applications (2010/09)
- (2010) Commit 2.0 for Eclipse - Enriching Commit Comments with Software Visualization
- Nesic S., Jazayeri M., Crestani F. (2010) Concept-Based Semantic Annotation, Indexing and Retrieval of Office-Like Document Units (2010/01)
- Wettel R., Lanza M., Robbes R. (2010) Empirical Validation of CodeCity: A Controlled Experiment (2010/05)
- Ansaloni D., Binder W., Heydarnoori A. (2010) Exploiting Under-Utilized Cores with Deferred Methods (2010/07)
- Jalili Marandi P., Primi M., Pedone F. (2010) High Performance State-Machine Replication (2010/08)
- Papadopoulou E. (2010) Net-aware Critical Area Extraction for Opens in VLSI Circuits via Higher-Order Voronoi Diagrams (2010/06)
- Schiper N., Sutra P., Pedone F. (2010) P-Store: Genuine Partial Replication in Wide Area Networks (2010/03)
- Conti C., Hormann K. (2010) Polynomial reproduction for univariate subdivision schemes of any arity (2010/02)
- Sciascia D., Primi M., Jalili Marandi P., Schiper N., Pedone F. (2010) Tapioca: Flexible Data Storage for Datacenter Applications (2010/04)
- Conen L., Gross C., Krause R. (2010) The Linear Algebra Module in ObsLib++ - Description, Comparisons and Numerical Results (2010/10)
- Dickopf T., Krause R. (2009) A contact method for parametric finite elements (2009/09)
- Dickopf T., Krause R. (2009) A pseudo-L2-projection for multilevel methods based on non-nested meshes. (2009/10)
- Bianculli D., Binder W. (2009) Automated Performance Assessment for Service-Oriented Middleware (2009/07)
- Wuttke J. D. (2009) Defining Model Transformations for Property Templates (2009/05)
- Hall C., Carzaniga A. (2009) Doubly Stochastic Converge: Uniform Sampling for Directed P2P Networks (2009/02)
- Schiper N., Pedone F. (2009) Fast, Flexible, and Highly Resilient Genuine Fifo and Causal Multicast Algorithms (2009/03)
- Fer A., Murphy A. (2009) FROMS: A Failure Tolerant and Mobility Enabled Multicast Routing Paradigm with Reinforcement Learning for WSNs (2009/04)
- Schiper N., Sutra P., Pedone F. (2009) Genuine versus Non-Genuine Atomic Multicast Protocols (2009/01)
- Carzaniga A., Hall C., Toffetti Carughi G., Wolf A. (2009) Practical High-Throughput Content-Based Routing Using Unicast State and Probabilistic Encodings (2009/06)
- Robbes R., Lanza M., Pollet D. (2008) A Benchmark for Change Prediction (2008/06)
- Schiper N., Toueg S. (2008) A Robust and Lightweight Stable Leader Election Service for Dynamic Systems (2008/01)
- Zaparanuks D., Jovic M., Hauswirth M. (2008) Accuracy of Performance Counter Measurements (2008/05)
- Zuikeviciute V., Pedone F. (2008) Correctness Criteria for Database Replication: Theoretical and Practical Aspects (2008/03)
- Bonzini P., Pozzi L. (2008) On the Complexity of Enumeration and Scheduling for Extensible Embedded Processors (2008/07)
- Wuttke J. D. (2008) Property Templates and Assertions Supporting Runtime Failure Detection (2008/04)
- Schiper N., Pedone F. (2008) Solving Atomic Multicast when Groups Crash (2008/02)
- Denaro G., Gorla A., Pezzè M. (2007) An Empirical Evaluation of Data Flow Testing of Java Classes (2007/03)
- Camargos L. J., Pedone F., Wieloch M. (2007) High-Performance Transaction Processing in Sprint (2007/01)
- Camargos L. J., Schmidt R., Pedone F. (2007) Multicoordinated Paxos (2007/02)
- Schiper N., Pedone F. (2007) Optimal Atomic Broadcast and Multicast Algorithms for Wide Area Networks (2007/04)
- Robbes R., Lanza M. (2007) Towards Change-aware Development Tools (2007/06)
- Tsitovich A. (2007) Understanding vulnerabilities (2007/07)
- Foerster A., Murphy A. (2006) A Feedback-Enhanced Learning Approach for Routing in WSN (2006/03)
- Camargos L. J., Wieloch M., Pedone F., Madeira E. (2006) A Highly Available Log Service for Distributed Transaction Termination (2006/08)
- Zuikeviciute V., Pedone F. (2006) Conflict-Aware Load-Balancing Techniques for Database Replication (2006/01)
- Hall C., Carzaniga A., Wolf A. (2006) DV/DRP: A Content-Based Networking Protocol for Sensor Networks (2006/04)
- Schiper N., Schmidt R., Pedone F. (2006) Optimistic Algorithms for Partial Database Replication (2006/02)
- Bonzini P., Pozzi L. (2006) Polynomial-Time Subgraph Enumeration for Automated Instruction Set Extension (2006/07)
- Rose J. N., Hall C., Carzaniga A. (2006) Spinneret: A log random substrate for P2P networks (2006/06)
- Carzaniga A., Rembert A. J., Wolf A. (2006) Understanding Content-Based Routing Schemes (2006/05)