Talks by Carlo A. Furia

These are talks I've given at conferences or other scientific events, as well as events attended without giving a presentation. In the case of paper presentations, event names link to the corresponding entries in the publications page.

Invited talks

• Should We Use Bayesian Statistics for Empirical Software Engineering?
  7th May 2019, University of Zurich, Switzerland. (Host: Prof. Alberto Bacchelli)
• Automated Program Repair with and without Contracts.
  Imperial College London, 8th February 2018, UK. (Host: Dr. Antonio Filieri.)
• Assertions Considered Helpful: from Tests to Correctness Proofs.
  24th October 2016, University of Luxembourg, Luxembourg. (Host: Prof. Lionel Briand.)
• How Banks Can Maintain Stability: Class-invariant Based Reasoning with Semantic Collaboration.
  15th KeY Symposium, 26th July 2016, Manigod, France.
• Assertions Considered Helpful: from Tests to Functional Correctness Proofs.
  Kick-off workshop of project TheProSE, (Wallenberg Academy Fellowship), 4th September 2015, Gothenburg, Sweden.
• Testing, Fixing, and Proving with Contracts.
  Invited tutorial at the 9th International Conference on Tests & Proofs (TAP), a STAF '15 event, 22nd July 2015, L'Aquila, Italy.
• Contracts in Practice.
  DEIB, Politecnico di Milano, 17 April 2015, Milano, Italy.
• Contracts in Practice.
  Talk at the Workshop JML: Advancing Specification Language Methodologies, 25th March 2015, Lorentz Center, Leiden, the Netherlands.
• The Gotthard Approach: Designing an Integrated Verification Environment for Eiffel.
  Invited talk at the 1st Workshop on Formal Integrated Development Environments (F-IDE), an ETAPS '14 event, 6th April 2014, Grenoble, France.
• A Publication Culture in Software Engineering.
  A panel at ESEC/FSE '13, 22nd August 2013. Saint Petersburg, Russia.
• From Simple to Stronger Specifications.
  Saarland University, 7th March 2013. Saarbrücken, Germany. (Host: Prof. Andreas Zeller.)
• Contracts for Verification – a personal perspective.
  Eiffel at 25, 24th November 2010. Zurich, Switzerland.
• Inferring loop invariants using postconditions.
  IFIP WG 2.3 meeting 50, 3rd March 2010. Lachen, Switzerland.
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling: Framework and Applications.
  EPFL, 25th June 2007. Lausanne, Switzerland. (Host: Prof. Thomas A. Henzinger.)
• Compositionality and Integration for Real-Time Systems.
  EPFL, 20th October 2005. Lausanne, Switzerland. (Host: Prof. Thomas A. Henzinger.)

Conference talks

• Why Just Boogie? Translating Between Intermediate Verification Languages
  iFM '16, 1st June 2016. Reykjavik, Iceland.
• A Comparative Study of Programming Languages in Rosetta Code.
  ICSE '15, 22nd May 2015. Firenze, Italy.
• Automated Program Repair in an Integrated Development Environment.
  ICSE '15, 21st May 2015. Firenze, Italy.
• Bounded Variability of Metric Temporal Logic.
  TIME'14, 9th September 2014. Verona, Italy.
• Loop Invariants by Mutation, Dynamic Validation, and Static Checking.
  WING '14, a workshop of the Vienna Summer of Logic, 23rd July 2014. Vienna, Austria.
• Really Automatic Scalable Object-Oriented Reengineering.
  ECOOP '13, 5th July 2013. Montpellier, France.
• The Search for the Laws of Automatic Random Testing.
  SAC '13, 21st March 2013. Coimbra, Portugal.
• A Verifier for Functional Properties of Sequence-Manipulating Programs.
  ATVA'12, 5th October 2012. Thiruvananthapuram (Trivandrum), India.
• Automata-based Verification of Linear Temporal Logic Models with Bounded Variability.
  TIME'12, 12th September 2012. Leicester, UK.
• On Relaxing Metric Information in Linear Temporal Logic.
  TIME'11, 13th September 2011. Lübeck, Germany.
• What's Decidable About Sequences?
  ATVA'10, 22nd September 2010. Singapore.
• Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.
  ICECCS'10, 25th March 2010. Oxford, UK.
• Towards Relaxing Metric Information in Linear Temporal Logic.
  ICTCS 2009. 29th September 2009. Cremona, Italy.
  
• Practical Automated Partial Verification of Multi-Paradigm Real-Time Models.
  ICFEM'08, 30th October 2008. Kitakyushu, Japan.
• Practical Efficient Modular Linear-Time Model-Checking.
  ATVA'08, 22nd October 2008. Seoul, South Korea.
• MTL with Bounded Variability: Decidability and Complexity.
  FORMATS'08, 15th September 2008. Saint-Malo, France.
• Tomorrow and All Our Yesterdays: MTL Satisfiability over the Integers.
  ICTAC'08, 2nd September 2008. Istanbul, Turkey.
• Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation.
  FM'08, 28th May 2008. Turku (Åbo), Finland.
• On the Expressiveness of MTL Variants.
  FORMATS'07, 4th October 2007. Salzburg, Austria.
• Modeling the Environment in Software-Intensive Systems.
  MiSE'07, 20th May 2007. Minneapolis, MN, USA.
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.
  FORMATS'06, 25th September 2006. Paris, France.
• Quantum Informatics: A Survey.
  Dipartimento di Elettronica e Informazione, Politecnico di Milano, 12th January 2006.
• Automated Compositional Proofs for Real-Time Systems.
  FASE'05, 8th April 2005. Edinburgh, UK.
• Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems.
  ISCIS'04, 29th October 2004. Kemer–Antalya, Turkey.
• Compositional Proofs for Real-Time Systems.
  GIIS'04, 30th September 2004. Benevento, Italy.

Other events attended

• iFM 2019 (International Conference on integrated Formal Methods). 2–6 December 2019, Bergen, Norway.
• iFM 2018 (International Conference on integrated Formal Methods). 5–7 September 2018, Maynooth, Ireland.
• ICSE 2018 (International Conference on Software Engineering). 27 May–3 June 2018, Göteborg, Sweden.
• iFM 2017 (International Conference on integrated Formal Methods). 18–22 September 2017, Turin, Italy.
• ICSE 2017 (International Conference on Software Engineering). 20–28 May 2017, Buenos Aires, Argentina.
• TAP 2016 (Tests & Proofs) held as part of STAF 2016. 4–8 July 2016, Vienna, Austria.
• ICSE 2016 (International Conference on Software Engineering). 14–22 May 2016, Austin, TX, USA.
• 3rd Workshop on Software Correctness and Reliability. 2–3 October 2015, ETH Zürich, Switzerland.
• LASER Summer School on Software Engineering (Concurrency: The Next Frontiers). 6–12 September 2015, Procchio (Elba Island), Italy.
• FM 2015 (International Symposium on Formal Methods). 24–26 June 2015, Oslo, Norway.
• F-IDE 2015 (2nd Workshop on Formal Integrated Devopment Environment) at FM. 22 June 2015, Oslo, Norway.
• ETAPS 2015 (European Joint Conferences on Theory and Practice of Software). 11–18 April 2015, London, UK.
• 4th VerifyThis Verification Competition at ETAPS. 12 April 2015, London, UK.
• 2nd Workshop on Software Correctness and Reliability. 3–4 October 2014, ETH Zürich, Switzerland.
• LASER Summer School on Software Engineering (Leading-Edge Software Engineering). 7–13 September 2014, Procchio (Elba Island), Italy.
• 1st Workshop on Software Correctness and Reliability. 4–5 October 2013, ETH Zürich, Switzerland.
• ICSE 2013 (International Conference on Software Engineering). 18–26 May 2013, San Francisco, CA, USA.
• LASER Summer School on Software Engineering (Innovative Languages for Software Engineering). 2–8 September 2012, Procchio (Elba Island), Italy.
• ICSE 2012 (International Conference on Software Engineering). 2–9 June 2012, Zurich, Switzerland.
• TOOLS 2012 Federated Conferences. 28 May–1 June 2012, Prague, Czech Republic.
• LASER Summer School on Software Engineering (Tools for Practical Software Verification). 4–10 September 2011, Procchio (Elba Island), Italy.
• TOOLS 2011 Federated Conferences. 27 June–1 July 2011, Zurich, Switzerland.
• ICSE 2011 (International Conference on Software Engineering). 21–28 May 2011, Honolulu, HI, USA.
• LASER Summer School on Software Engineering (Empirical Software Engineering). 5–11 September 2010, Procchio (Elba Island), Italy.
• TOOLS-EUROPE 2009 (International Conference on Objects, Models, Components, Patterns). 29 June–3 July 2009, Zürich, Switzerland.
• ICSE 2009 (International Conference on Software Engineering). 16–24 May 2009, Vancouver, Canada.
• DNTTT 2008 (Developments and New Tracks in Trace Theory). 9–11 October 2008, Cremona, Italy.
• International School for Computer Science Researchers 2005 (Formal Methods: Theory and Practice). 10–23 July 2005, Lipari Island, Italy.
• Fourth Canadian Summer School on Quantum Information. 21–25 June 2004, Waterloo, Canada.