Travelled to:1 × Austria
1 × Czech Republic
1 × Finland
1 × Germany
1 × Japan
1 × Poland
1 × Switzerland
2 × Spain
7 × USA
Collaborated with:R.Alur M.Farach S.K.Debray A.McGregor J.Feigenbaum A.C.Yao M.Blum C.Mathieu H.Zhou M.Chu O.Sokolsky I.Lee M.Yannakakis L.Cowen T.Warnow M.Paithane M.Naor S.Rudich K.Tian Y.Yuan L.A.Goldberg M.Jerrum M.Paterson K.D.Bosschere D.Gudeman M.Faella N.Singhania S.Suri J.Zhang F.Ergün R.Kumar R.Rubinfeld M.Viswanathan
Talks about:graph (5) program (3) check (3) problem (2) complex (2) checker (2) optim (2) model (2) decis (2) tree (2)
Person: Sampath Kannan
DBLP: Kannan:Sampath
Contributed to:
2015
20132007
2006200420001999
199819961996
19941993
1992199119891988
2016Wrote 17 papers:
- ICALP-v1-2015-KannanM0 #complexity #graph #query
- Near-Linear Query Complexity for Graph Inference (SK, CM, HZ), pp. 773–784.
- LATA-2013-AlurKTY #complexity #graph #on the #problem
- On the Complexity of Shortest Path Problems on Discounted Cost Graphs (RA, SK, KT, YY), pp. 44–55.
- ICALP-2007-ChuKM #correctness
- Checking and Spot-Checking the Correctness of Priority Queues (MC, SK, AM), pp. 728–739.
- TACAS-2006-SokolskyKL #graph #similarity
- Simulation-Based Graph Similarity (OS, SK, IL), pp. 426–440.
- ICALP-2004-FeigenbaumKMSZ #graph #on the #problem
- On Graph Problems in a Semi-streaming Model (JF, SK, AM, SS, JZ), pp. 531–543.
- ICALP-2000-GoldbergJKP #bound #capacity #protocol
- A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols (LAG, MJ, SK, MP), pp. 705–716.
- ICALP-1999-AlurKY #communication #state machine
- Communicating Hierarchical State Machines (RA, SK, MY), pp. 169–178.
- STOC-1998-ErgunKKRV
- Spot-Checkers (FE, SK, RK, RR, MV), pp. 259–268.
- ICALP-1996-CowenFK #framework #heuristic #source code
- A Formal Framework for Evaluating Heuristic Programs (LC, JF, SK), pp. 634–645.
- STOC-1996-FarachK #algorithm #evolution #performance
- Efficient Algorithms for Inverting Evolution (MF, SK), pp. 230–236.
- POPL-1994-BosschereDGK #interprocedural #optimisation
- Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages (KDB, SKD, DG, SK), pp. 409–420.
- STOC-1993-FarachKW #robust
- A robust model for finding optimal evolutionary trees (MF, SK, TW), pp. 137–145.
- JICSLP-1992-DebrayKP
- Weighted Decision Trees (SKD, SK, MP), pp. 654–668.
- ICALP-1991-KannanY #generative #probability
- Program Checkers for Probability Generation (SK, ACCY), pp. 163–173.
- STOC-1989-BlumK #design #source code
- Designing Programs That Check Their Work (MB, SK), pp. 86–97.
- STOC-1988-KannanNR #graph #representation
- Implicit Representation of Graphs (SK, MN, SR), pp. 334–343.
- CSL-2016-AlurFKS #markov #process
- Hedging Bets in Markov Decision Processes (RA, MF, SK, NS), p. 20.