Index of /wpis/talks

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]3VLA.CAV04.ppt2004-07-16 16:33 1.6M 
[ ]ASE-November-2015-for-release.pptx2015-11-17 09:53 11M 
[ ]BET-Reps-May-2013.pdf2013-05-28 08:25 3.2M 
[ ]BET-Reps-May-2013.ppt2013-05-28 08:23 19M 
[ ]BET-Reps-May-2013.pptx2013-05-29 23:00 13M 
[ ]CADE05TCfinal.ppt2005-08-14 10:54 186K 
[ ]CAV10-invited.ppt2010-07-14 19:33 9.5M 
[ ]CAV21-Algebraic-Part1-regular.pdf2022-09-08 14:29 547K 
[ ]CAV21-Algebraic-Part2-foundations.pdf2022-09-08 14:29 140K 
[ ]CAV21-Algebraic-Part3-InterproceduralAnalysis.pptx2021-07-19 13:06 6.5M 
[ ]CAV21-Algebraic-Part4-termination.pdf2022-09-08 14:29 174K 
[ ]CAV2023.pptx2023-08-11 09:03 2.5M 
[ ]CC2014_Venkatesh_Lego.pptx2017-11-11 16:14 1.2M 
[ ]CFLOBDDs.pptx2024-02-16 12:40 23M 
[ ]CSFW03.ppt2003-07-08 17:53 612K 
[ ]FSTTCS07.pptx2017-01-12 14:18 1.8M 
[ ]IncrComputationTutorial93.pdf2018-01-18 15:44 4.3M 
[ ]NPA-TP-Cornell.pptx2019-02-20 12:07 7.6M 
[ ]NPA-TP-long.pptx2018-02-26 20:51 18M 
[ ]NPA-TP.pptx2016-09-10 17:03 4.0M 
[ ]OOPSLA2015_Venkatesh_PartialEvaluation.pptx2017-10-26 16:48 1.4M 
[ ]OOPSLA2016_Venkatesh_Slicing.pptx2017-11-11 16:09 5.8M 
[ ]OOPSLA2016_Venkatesh_Synthesis.pptx2017-11-11 16:12 4.5M 
[ ]OOPSLA2017_Ara_McSynth-ML.pptx2017-10-26 11:31 4.8M 
[ ]PLDI2015_Venkatesh_Synthesis.pptx2015-08-21 10:47 1.1M 
[ ]POPL16.pptx2016-02-09 15:12 3.8M 
[ ]POPL18Tutorial-InterproceduralAnalysis.pptx2018-02-22 21:43 17M 
[ ]Reps.BT.dagstuhl03.ppt2003-03-05 18:53 1.0M 
[ ]RepsAtSixty.pptx2016-09-19 14:30 17M 
[ ]SAS03.ppt2003-06-20 16:34 849K 
[ ]SAS11.pdf2011-09-18 16:36 326K 
[ ]SAS2017.pptx2017-09-08 13:25 1.3M 
[ ]Specialization-Slicing.pptx2014-08-23 04:34 1.3M 
[ ]TSL.CC08.withfonts.ppt2008-04-08 20:37 12M 
[ ]VMCAI16-for-release.pptx2016-11-30 18:42 11M 
[ ]WritingResearchPapers.pptx2023-10-26 17:56 9.6M 
[ ]akash.TACAS.08.ppt2022-05-15 13:35 1.0M 
[TXT]google49b827e11986ccf0.html2022-01-18 13:57 53  
[ ]graph_reachability.ppt2000-02-18 23:21 1.6M 
[ ]jbreck_SPIN2014.pptx2014-08-14 11:04 1.2M 
[ ]lics02.ppt2002-10-09 21:33 388K 
[ ]pmaf_pldi.pdf2018-06-25 15:27 13M 
[ ]popl.2005.ppt2005-01-15 10:48 469K 
[ ]shape_analysis.ppt1998-04-17 15:05 435K 
[ ]tacas.2004.ppt2004-06-22 12:18 290K 
[ ]tacas08.dda-x86.ppt2008-04-30 19:15 889K 
[ ]tacas_ver13.ppt2004-08-11 23:31 356K 
[DIR]talks/2023-10-31 13:03 -