Christian Skalka, Presentations

[1] Jeff Frolik and Christian Skalka. Scaling Down Remote Sensing Technologies for In Situ Monitoring of Snowpacks, December 2009. Poster presentation given at American Geophysical Union (AGU) Fall Meeting, San Francisco.
[ PPT ]
[2] Christian Skalka. Snowcloud: Development of a Distributed In Situ Instrument for Snowpack Monitoring, December 2009. Poster presentation given at American Geophysical Union (AGU) Fall Meeting, San Francisco.
[ PPT ]
[3] Christian Skalka. Data Provenance in Remote Environmental Monitoring, April 2009. Invited presentation given at Symposium on Data Provenance in Software, University of Edinburgh.
[ PPT ]
[4] Christian Skalka. Type Safe Dynamic Linking for JVM Access Control, June 2007. Talk given at Harvard University Computer Science Seminar Series.
[ PDF ]
[5] Christian Skalka. Type Safe Dynamic Linking for JVM Access Control, June 2007. Talk given at McGill University Computation and Logic Seminar Series.
[ PDF ]
[6] Christian Skalka. Logic and Practice of Trust Management, January 2006. Talk given at Dartmouth University Computer Science Colloquium.
[ PDF ]
[7] Christian Skalka. Trace Effects and Object Orientation, October 2005. Talk given at Tufts University Computer Science Seminar Series.
[ PDF ]
[8] Christian Skalka. Trace Effects and Object Orientation, July 2005. Talk given at PPDP'05, Lisbon, Portugal.
[ PDF ]
[9] Christian Skalka. A Type and Effect System for Flexible Abstract Interpretation of Java, January 2005. Talk given at AIOOL'05, Paris, France.
[ PDF ]
[10] Christian Skalka. History Effects and Verification, November 2004. Talk given at APLAS'04, Taipei, Taiwan.
[ PDF ]
[11] Christian Skalka. Trust but Verify: Authorization for Web Services, October 2004. Talk given at SWS'04, Washington DC.
[ PDF ]
[12] Christian Skalka. Paradox Machines, November 2003. Talk given to Computer Science Student Association, University of Vermont.
[ PDF ]
[13] Christian Skalka. Types for Access Control: Foundations and Methodology, January 2003. Talk given at Church Project Seminar, Boston University.
[ PDF ]
[14] Christian Skalka. Static Use-Based Object Confinement, July 2002. Talk given at NEPLS, Yale University.
[ PDF ]
[15] Christian Skalka. Static Use-Based Object Confinement, July 2002. Talk given at FCS'02, Copenhagen, Denmark.
[ PDF ]
[16] Christian Skalka. Set Types and Applications, July 2002. Talk given at TIP'02, Dagstuhl, Germany.
[ PDF ]
[17] Christian Skalka. Syntactic Type Soundness for HM(X), July 2002. Talk given at TIP'02, Dagstuhl, Germany.
[ PDF ]
[18] Christian Skalka. A Systematic Approach to Static Access Control (short version), April 2001. Talk given at ESOP'01, Genoa, Italy.
[ PDF ]
[19] Christian Skalka. A Systematic Approach to Static Access Control (long version), March 2001. Talk given at CMU PoP seminar.
[ PDF ]
[20] Christian Skalka. Static Enforcement of Security with Types, September 2000. Talk given at ICFP'00, Montréal, Canada.
[ PPT ]
[21] Christian Skalka. Static Enforcement of Security with Types, 2000. Talk given at NJPLS, Princeton University.
[ PPT ]
[22] Christian Skalka. Verifying Security Protocols with Specification Diagrams, 1999. Talk given at NSA Lucite seminar, George Mason University.
[ PostScript ]

This file has been generated by bibtex2html 1.54