BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kannan:Sampath

Contributed to:

ICALP (1) 20152015
LATA 20132013
ICALP 20072007
TACAS 20062006
ICALP 20042004
ICALP 20002000
ICALP 19991999
STOC 19981998
ICALP 19961996
STOC 19961996
POPL 19941994
STOC 19931993
JICSLP 19921992
ICALP 19911991
STOC 19891989
STOC 19881988
CSL 20162016

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.