Index of /~aldrich/courses/17-355-19sp/notes

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]notes01-representation.pdf2019-01-15 09:25 123K 
[ ]slides01-intro.pdf2019-01-15 10:17 1.1M 
[ ]exercise01-intro.pdf2019-01-15 10:19 559K 
[ ]exercise02-semantics.pdf2019-01-17 10:01 457K 
[ ]exercise03-df.pdf2019-01-22 10:06 326K 
[ ]notes02-semantics.pdf2019-01-24 09:25 232K 
[ ]exercise04-df.pdf2019-01-24 09:56 341K 
[ ]notes03-dataflow-frameworks.pdf2019-01-24 09:57 211K 
[ ]notes04-dataflow-examples.pdf2019-01-29 10:03 155K 
[ ]exercise05-examples.pdf2019-01-29 10:13 415K 
[ ]notes05-dataflow-correctness.pdf2019-02-07 14:33 181K 
[ ]notes06-widening-collecting.pdf2019-02-07 14:33 169K 
[ ]exercise07-soundness.pdf2019-02-07 14:33 107K 
[ ]exercise08-widening.pdf2019-02-07 14:33 116K 
[ ]exercise09-misc.pdf2019-02-12 09:15 421K 
[ ]exercise10-interprocedural.pdf2019-02-20 21:37 545K 
[ ]exercise11-pointer.pdf2019-02-21 10:08 551K 
[ ]notes08-pointers.pdf2019-02-23 17:41 181K 
[ ]simplified-ip-alg.pdf2019-02-25 14:25 81K 
[ ]notes07-interprocedural.pdf2019-02-25 14:25 175K 
[ ]notes10-functional-cfa.pdf2019-02-27 22:10 192K 
[ ]exercise13-cfa.pdf2019-02-27 22:17 456K 
[ ]notes11-hoare-logic.pdf2019-02-27 23:11 179K 
[ ]exercise15-hoare-logic.pdf2019-03-05 09:46 482K 
[ ]exercise16-smt.pdf2019-03-19 10:03 571K 
[ ]exercise14-hoare-logic.pdf2019-03-19 10:23 537K 
[ ]notes12-smt.pdf2019-03-19 14:16 116K 
[ ]slides17-synthesis.pdf2019-03-23 14:44 1.5M 
[ ]exercise18-synthesis.pdf2019-03-26 22:43 533K 
[ ]notes13-synthesis.pdf2019-03-26 22:49 212K 
[ ]exercise19-symbolic-evaluation.pdf2019-03-28 10:08 477K 
[ ]slides15-prefix.pdf2019-03-28 10:25 648K 
[ ]notes14-symbolic-execution.pdf2019-03-28 16:56 154K 
[ ]exercise20-concolic.pdf2019-04-02 09:36 459K 
[ ]notes15-concolic-testing.pdf2019-04-02 09:38 126K 
[ ]slides21-model-checking.pdf2019-04-04 09:30 1.2M 
[ ]clarke-etal-model-checking-notes.pdf2019-04-04 09:34 1.8M 
[ ]exercise21-model-checking.pdf2019-04-04 09:47 431K 
[ ]exercise22-blast.pdf2019-04-09 09:12 506K 
[ ]slides22-blast.pdf2019-04-09 09:13 1.3M 
[ ]exercise23-synthesis.pdf2019-04-23 20:59 55K 
[ ]slides23-synthesis.pdf2019-04-23 20:59 5.9M 
[ ]slides28-spiral.pdf2019-05-02 13:26 4.7M 
[ ]slides27-daikon.pdf2019-05-02 13:28 500K 
[ ]slides27-data-race.pdf2019-05-02 13:31 3.1M 
[ ]slides24-program-repair.pdf2019-05-02 14:44 3.8M 
Apache/2.4.18 (Ubuntu) Server at www.cs.cmu.edu Port 80