My Talks

  SELECTED TALKS

• Aspect-Oriented Programming Reloaded. Conference Talk at SBLP 2017, September 22, 2017, Fortaleza, Brazil. [.pptx]
• Modular Contracts with Procedures, Annotations, Pointcuts and Advice. XV Brazilian Symposium on Programming Languages (SBLP),September, 2011, Sao Paulo, Brazil.
  
• Assessing the Impact of Aspects on Design By Contract Effort. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science, July 14, 2011, Florida, USA. [.pdf]
• AOP Framed!. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science, November 3, 2009, Florida, USA. [.pdf]
• A JML compiler based on AspectJ. 1st International Conference on Software Testing, Verification and Validation, April 2008, Lillehammer, Norway.

 SHORT COURSES

• Márcio Lopes, Rohit Gheyi, Tiago Massoni, and Henrique Rebêlo
  **presented by Márcio Lopes and Henrique Rebêlo**
  The Java Modeling Language (JML). Brazilian Conference on Software: Theory and Practice (CBSoft 2010), September 29, 2010, Salvador, Bahia, Brazil. (In Portuguese). [.pdf]