User Tools

Site Tools


readinggroup:winter07

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

readinggroup:winter07 [2014/03/03 19:26] (current)
cschuster created
Line 1: Line 1:
 +====Winter 2007====
  
 +  * **Jan 10**: Error inducing input: Which approach seems most convenient/​useful/​foundational/​extendable/​scalable?​
 +    * [[http://​www.cs.chalmers.se/​~koen/​pubs/​icfp00-quickcheck.ps|QuickCheck:​ A Lightweight Tool for Random Testing of Haskell Programs]]. K Claessen, J Hughes. ICFP 2000
 +    * [[http://​cm.bell-labs.com/​who/​god/​public_psfiles/​pldi2005.pdf|DART:​ Directed Automated Random Testing]]. P Godefroid, N Klarlund, K Sen. PLDI 2005
 +    * [[http://​www.stanford.edu/​~engler/​exe-ccs-06.pdf|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!)
 +    * [[http://​www.cs.umd.edu/​projects/​PL/​cyclone/​scp.pdf|Safe Manual Memory Management in Cyclone]]. N Swamy, M Hicks, G Morrisett, D Grossman, T Jim. SCP 2006.
 +    * [[http://​www.cs.berkeley.edu/​~tachio/​papers/​tr04-region.pdf|Memory Management with Use-Counted Regions]]. T Terauchi, A Aiken. Technical Report UCB/​CSD-4-1314 2004.
 +    * [[http://​portal.acm.org/​citation.cfm?​coll=GUIDE&​dl=GUIDE&​id=781168|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?
 +    * [[http://​www.cs.brown.edu/​~sk/​Publications/​Papers/​Published/​aagk-type-error-sprdsht/​|A Type System for Statically Detecting Spreadsheet Errors]]. Y Ahmad, T Antoniu, S Goldwater, S Krishnamurthi. ASE 2003.
 +    * [[http://​portal.acm.org/​citation.cfm?​id=1140346|Type Inference for Spreadsheets]]. R Abraham, M Erwig. PPDP 2006.
 +    * [[http://​ieeexplore.ieee.org/​xpls/​abs_all.jsp?​arnumber=879817&​isnumber=19037|Exception handling in the spreadsheet paradigm]]. M Burnett, A Agrawal, P van Zee. SE 2000.
 +  * **Jan 31**: Low-level Haskell extravaganza:​
 +    * [[http://​portal.acm.org/​citation.cfm?​id=1090189.1086387|High-level views on low-level representations]]. I Diatchki, MP Jones, R Leslie. ICFP 2005.
 +    * [[http://​portal.acm.org/​citation.cfm?​id=1090189.1086380|A principled approach to operating system construction in Haskell]]. T Hallgren, MP Jones, R Leslie, A Tolmach. ICFP 2005.
 +    * [[http://​www.cse.unsw.edu.au/​~chak/​papers/​sel4-model.pdf|Running the Manual: An Approach to High-Assurance Microkernel Development]]. P Derrin, K Elphinstone,​ G Klein, D Cock, M Chakravarty. Haskell 2006.
 +    * [[http://​www.cse.ogi.edu/​~diatchki/​papers/​haskell007-diatchki.pdf|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
 +    * [[http://​www.cs.berkeley.edu/​~matth/​papers/​deputy_esop.pdf|Dependent Types for Low-Level Programming]]. J Condit, M Harren, Z Anderson, D Gay, G Necula. ESOP 2007.
 +    * [[http://​people.cs.uchicago.edu/​~robby/​pubs/​papers/​esop2007-kmf.pdf|A Rewriting Semantics for Type Inference]]. G Kuan, D Macqueen, R Findler. ESOP 2007.
 +    * [[http://​ttic.uchicago.edu/​~blume/​papers/​tim.pdf|Principal Type Schemes for Modular Programs]]. D Dreyer, M Blume. ESOP 2007.
 +  * **Feb 12**: POPL 2007: Logics and Type Systems
 +    * [[http://​www.ertos.nicta.com.au/​publications/​papers/​Tuch_KN_07.pdf|Types,​ Bytes, and Separation Logic]]. G Klein, H Tuch, M Norrish. POPL 2007.
 +    * [[http://​www.cs.princeton.edu/​~appel/​papers/​modalmodel.pdf|A Very Modal Model of a Modern, Major, General Type System]]. A Appel, P Mellies, C Richards, J Vouillon. POPL 2007.
 +    * [[http://​www.doc.ic.ac.uk/​~ccris/​ftp/​paramwp.pdf|Context Logic as Modal Logic: Completeness and Parametric Inexpressivity]]. C Calcagno, P Gardner, U Zarfaty. POPL 2007.
 +  * **Feb 19**: POPL 2007: Dynamic heap session
 +    * [[http://​www.cs.utexas.edu/​users/​mjump/​papers/​cork-popl-2007.pdf|Cork:​ Dynamic Memory Leak Detection for Garbage-Collected Languages]]. M Jump, K S McKinley. POPL 2007.
 +    * [[http://​www.cs.wisc.edu/​~liblit/​popl-2007/​|Dynamic Heap Type Inference for Program Understanding and Debugging]]. M Polishchuk, B Liblit, C W Schulze. POPL 2007.
 +    * [[http://​portal.acm.org/​ft_gateway.cfm?​id=1190226&​type=pdf&​coll=&​dl=GUIDE&​CFID=15151515&​CFTOKEN=6184618|Compositional Dynamic Test Generation]]. P Godefroid. POPL 2007.
 +  * **Feb 26**: [[http://​video.google.com/​videoplay?​docid=5251174414249857570&​hl=en|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