readinggroup:winter07
Winter 2007
- Jan 10: Error inducing input: Which approach seems most convenient/useful/foundational/extendable/scalable?
- QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. K Claessen, J Hughes. ICFP 2000
- DART: Directed Automated Random Testing. P Godefroid, N Klarlund, K Sen. PLDI 2005
- EXE: Automatically Generating Inputs of Death. C Cadar, V Ganesh, P Pawlowski, D Dill, D Engler. To appear: CCCS 2006.
- Jan 17: Safe memory management: Can we have safe systems-level code? (a safe kernel would be nice!)
- Safe Manual Memory Management in Cyclone. N Swamy, M Hicks, G Morrisett, D Grossman, T Jim. SCP 2006.
- Memory Management with Use-Counted Regions. T Terauchi, A Aiken. Technical Report UCB/CSD-4-1314 2004.
- Ownership types for safe region-based memory management in real-time Java. C Boyapati, A Salcianu, W Beebee Jr, M Rinard. PLDI 2003.
- Jan 24: Semantics for spreadsheets: Type systems? Evaluation strategies?
- A Type System for Statically Detecting Spreadsheet Errors. Y Ahmad, T Antoniu, S Goldwater, S Krishnamurthi. ASE 2003.
- Type Inference for Spreadsheets. R Abraham, M Erwig. PPDP 2006.
- Exception handling in the spreadsheet paradigm. M Burnett, A Agrawal, P van Zee. SE 2000.
- Jan 31: Low-level Haskell extravaganza:
- High-level views on low-level representations. I Diatchki, MP Jones, R Leslie. ICFP 2005.
- A principled approach to operating system construction in Haskell. T Hallgren, MP Jones, R Leslie, A Tolmach. ICFP 2005.
- Running the Manual: An Approach to High-Assurance Microkernel Development. P Derrin, K Elphinstone, G Klein, D Cock, M Chakravarty. Haskell 2006.
- Strongly Typed Memory Areas: Programming Systems-Level Data Structure in a Functional Language. I Diatchki, MP Jones. Haskell 2006.
- Feb 05: ESOP 2007: Dependent Types and Type Inference
- Dependent Types for Low-Level Programming. J Condit, M Harren, Z Anderson, D Gay, G Necula. ESOP 2007.
- A Rewriting Semantics for Type Inference. G Kuan, D Macqueen, R Findler. ESOP 2007.
- Principal Type Schemes for Modular Programs. D Dreyer, M Blume. ESOP 2007.
- Feb 12: POPL 2007: Logics and Type Systems
- Types, Bytes, and Separation Logic. G Klein, H Tuch, M Norrish. POPL 2007.
- A Very Modal Model of a Modern, Major, General Type System. A Appel, P Mellies, C Richards, J Vouillon. POPL 2007.
- Context Logic as Modal Logic: Completeness and Parametric Inexpressivity. C Calcagno, P Gardner, U Zarfaty. POPL 2007.
- Feb 19: POPL 2007: Dynamic heap session
- Cork: Dynamic Memory Leak Detection for Garbage-Collected Languages. M Jump, K S McKinley. POPL 2007.
- Dynamic Heap Type Inference for Program Understanding and Debugging. M Polishchuk, B Liblit, C W Schulze. POPL 2007.
- Compositional Dynamic Test Generation. P Godefroid. POPL 2007.
- Feb 26: Relating models of backtracking. M Wand. DanFest 2004 (video)
- Mar 05: Category theory chat with Patrick Schultz from the math department.
- Mar 12: Pritam's Advancement Talk
- Mar 19: Kenn's Practice Talk
readinggroup/winter07.txt · Last modified: 2014/03/03 19:26 by cschuster
