Patrice Chalin

Teaching

• 2010-2011: SOEN 343, 387, SOEN 490 (tentative).
• 2009-2010: sabbatical leave.
• 2009, Winter: SOEN 344, SOEN 490.
• 2008, Fall: SOEN 343, SOEN 490. Winter: SOEN 344, SOEN 490.
• 2007, Fall: SOEN 342 (coordinator), SOEN 343, SOEN 490; Winter: Coordinator & instructor of SOEN 344, SOEN 390.
• 2006, Fall: SOEN 342 (coordinator & instructor); SOEN 343 (coordinator); Winter: SOEN 344, SOEN 390, (COMP 7481).
• 2005, Fall: coordinator & instructor for SOEN 342, SOEN 343; Winter: SOEN 344, (COMP 7451), SOEN 390 (vice coordinator).
• 2004, Fall : SOEN 342-H, SOEN 343-H; Winter: SOEN 344, COMP 7451, SOEN 390 (vice coordinator).
• 2003, Fall : SOEN 342-H, SOEN 343; Winter : SOEN 344.
• 2002, Fall SOEN 342; Winter SOEN 344.

Publications (selected)

See also DBPL, ACM (author page; keyword search). Acceptance rates are in square brackets [...]. A more complete list is given here.

• P. R. James and P. Chalin, “Faster and More Complete Extended Static Checking for the Java Modeling Language”, J. Automated Reasoning, 44(1-2):145-174, 2010. (SpringerLink)
• P. Chalin, P. R. James, and F. Rioux, “Reducing the Use of Nullable Types through Non-null by Default and Monotonic Non-null”, IET Software Journal, 2(6):515-531, 2008 (preprint).
• P. Chalin, “Are the Logical Foundations of Verifying Compiler Prototypes Matching User Expectations?” Formal Aspects of Computing , 19(2):139-158, 2007.

• P. Chalin, “Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less”. Proceedings of the Software Engineering and Formal Methods (SEFM), Hanoi, Vietnam, Nov. 2009 (slides). [26.7% (35.7%)]

Contact Information

Patrice Chalin, Associate Professor
Faculty of Engineering and Computer Science
Department of Computer Science and Software Engineering, EV 3.215
Concordia University
1455 de Maisonneuve Blvd. West,
Montreal, Quebec, Canada
H3G 1M8

Tel.: +1 514-848-2424 extension 3004.
Fax: +1 514-848-2830

Last updated 2010.02.05