K Narayan Kumar

Publications

• Verification under Intel-x86 with Persistency
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
  Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024)

• Consistency and Persistency in Program Verification: Challenges and Opportunities
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, B. Jonsson,K. Narayan Kumar, Prakash Saivasan
  Princples of Systems Design, Springer LNCS 13660 (2022)

• Verifying Reachability for TSO Programs with Dynamic Thread Creation
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
  Proc. of the Networked Systems - 10th International Conference (NETYS 2022) Springer LNCS 13464 (2022)

• Deciding reachability under persistent x86-TSO
  Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
  Proc. of 48th ACM Symposium on the Principles of Programming Languages (POPL 21) (2021)

• Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains
  Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
  Proc. of the 30th European Sympsium on Programming (ESOP'21) Springer LNCS 12648 (2021)

• The Ideal Approach to Computing Closed Subsets in Well-Quasi-Orderings.
  Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar, K. Narayan Kumar, Philippe Schnoebelen
  Well Quasi Orders in Computation, Logic, Language and Reasoning, Trends in Logic Vol 53, Springer Verlag (2020)

• Verifying Quantitative Temporal Properties of Procedural Programs.
  M.F.Atig, A. Bouajjani, K. Narayan Kumar, P. Saivasan
  Proc. of CONCUR'18, LIPIcs 118 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)

• Regular Separability of Well-Structured Transition Systems.
  Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
  Proc. of CONCUR'18, LIPIcs 118, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)

• Verification of Asynchronous Programs with Nested Locks
  M.F.Atig, A. Bouajjani, K. Narayan Kumar, P. Saivasan
  Proc. of FSTTCS'17, LIPIcs 93, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)

• Automated Technology for Verification and Analysis - 15th International Symposium (ATVA 2017)
  Deepak D'Souza and K Narayan Kumar (Eds)
  Springer LNCS 10482 (2017)

• Parity Games on Bounded-phase Multi-pushdown Systems
  M.F.Atig, A. Bouajjani, K. Narayan Kumar, P. Saivasan
  Proc. of NETYS'17, Springer LNCS 10299 (2017)

• The Complexity of Regular Abstractions of One Counter Languages
  M.F.Atig, D. Chistikov, P. Hofman, K. Narayan Kumar, P. Saivasan and G. Zetzsche
  Proc. of LICS'16, ACM Press (2016)

• Acceleration in Multi-Pushdown Systems
  M.F.Atig, K. Narayan Kumar and P. Saivasan
  Proc. of TACAS'16, Springer LNCS 9636 (2016)

• Adjacent Ordered Multi-pushdown Systems
  M.F.Atig, K. Narayan Kumar and P. Saivasan
  Int. Journal of the Foundations of Computing Science Vol 25(8), 1083--1096 (2015)

• Checking conformance for time-constrained scenario-based specifications.
  S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
  Theor. Comput. Sci. 594: 24-43 (2015)

• On Bounded Reachability Analysis of Shared Memory Systems
  M.F.Atig, A. Bouajjani, K. Narayan Kumar and P. Saivasan
  Proc. of FSTTCS'14 (2014), LIPics Vol 29, pp 611-623 (2014)

• Verifying Communicating Multi-pushdown Systems via Split-width
  C. Aiswarya, P. Gastin and K. Narayan Kumar
  Proc. of ATVA'14 (2014), Springer LNCS Vol 8837, pp 1-17 (2014)

• Controllers for the Verification of Communicating Multi-Pushdown Systems
  C. Aiswarya, P. Gastin and K. Narayan Kumar
  Proc. of CONCUR'14. Springer LNCS 8704 (2014), 297-311

• Infinite State Energy Games
  P.A.Abdulla, M.F.Atig, P. Hofman, R. Mayr, K. Narayan Kumar, P. Totzke
  Proc. of the Joint Meeting of the Twenty-Third EACSL CSL and the Twenty-Ninth ACM/IEEE LICS (CSL-LICS '14). , ACM, New York, NY, USA. (2014)

• Distributed Timed Automata with Independently Evolving Clocks
  S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
  Fundam. Inform. 130(4): 377-407(2014)

• Adjacent Ordered Multipushdown Systems
  M. F. Atig, K. Narayan Kumar and P. Saivasan
  Proc. DLT'13, Springer LNCS 7907 (2013)

• Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
  M. F. Atig, A. Bouajjani, K. Narayan Kumar and P. Saivasan
  Proc. ATVA'12, Springer LNCS 7561 (2012).

• MSO Decidability of Multi-Pushdown Systems via Split-Width
  A. Cyriac, P. Gastin and K. Narayan Kumar.
  Proc. CONCUR'12, Springer LNCS 7454 (2012).

• The Theory of MSC Languages
  K Narayan Kumar
  in Modern Applications of Automata Theory, IISc Research Monographs Series, Vol 2, World Scientific, Singapore.

• Model Checking Languages of Data Words.
  B. Bollig, A. Cyriac, P. Gastin and K. Narayan Kumar.
  Proc. FoSSaCS'12, Springer LNCS 7213 (2012).

• Model checking time-constrained scenario-based specifications.
  S Akshay, P Gastin, M Mukund and K Narayan Kumar
  Proc. FSTTCS 2010, LIPIcs Volume 8 (2010), 204-215.

• Analysing Message Sequence Graph Specifications
  Joy Chakraborty, Deepak D'Souza and K Narayan Kumar
  Proc. ISOLA 2010, Springer LNCS 6415 (2010), 549-563.

• Proceedings of the 29th International Conference on Foundations of Software Techonology and Theoretical Computer Science (FSTTCS 2009)
  Ravi Kannan and K Narayan Kumar (Eds)
  LIPIcs Volume 4, 2009.

• Reachability and Boundedness in Time-Constrained MSC Graphs
  P Gastin, M Mukund and K Narayan Kumar
  Perspectives in Concurrency Theory, Universities Press (2008).

• Distributed Timed Automata with Independently Evolving Clocks
  S Akshay, B Bollig, P Gastin, M Mukund and K Narayan Kumar
  Proc. CONCUR 2008, Springer LNCS 5201 (2008), 82-97.

• Checking Coverage for Infinite Collections of Timed Scenarios
  S Akshay, M Mukund and K Narayan Kumar
  Proc. CONCUR 2007, Springer LNCS 4703 (2007), 181-196.

• Local testing of message sequence charts is difficult
  P Bhateja, P Gastin, M Mukund and K Narayan Kumar
  Proc. FCT 2007, Springer LNCS 4639 (2007), 76-87.

• Anchored Concatenation of MSCs
  M Mukund, K Narayan Kumar, Y Shaofa and P S Thiagarajan
  Formal Models, Languages and Applications, Volume 66, Series in Machine Perception and Artificial Intelligence, World Scientific (2006).
• A Theory of Regular MSC Languages
  J G Henriksen, M Mukund, K Narayan Kumar, M Sohoni and P S Thiagarjan
  Information and Computation, 202(1), (2005), 1--38.

• Causal closure for MSC languages
  B Adsul, M Mukund, K Narayan Kumar and Vasumathi Narayanan
  Proc. FSTTCS 2005, Springer LNCS 3821 (2005) 335-347.

• A Unfold/Fold transformation framework for Definite Logic Programs
  Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan
  ACM Transactions on Programming Language Systems 26(3): 464-509 (2004).
• Bounded time-stamping in message-passing systems
  M Mukund, K Narayan Kumar and M Sohoni
  Theoretical Computer Science, 290(1), (2003), 221-239.

• Local LTL with past constants is expressively complete for Mazurkiewicz traces
  P Gastin, M Mukund and K Narayan Kumar
  Proc. MFCS '03, Springer LNCS 2747 (2003) 429-438.

• Netcharts: Bridging the gap between HMSCs and executable specifications
  M Mukund, K Narayan Kumar and P S Thiagarajan
  Proc. CONCUR '03, Springer LNCS 2761 (2003) 296-310.

• Beyond Tamaki-Sato Style Unfold-Fold Systems for Normal Logic Programs
  Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan
  International Journal of Foundations of Computer Science 13(3) (2002) 387-403.
• Resource-Constrained Model Checking of Recursive Programs
  Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
  Proc. of TACAS'02, Springer LNCS 2280 (2002) 236-250.

• Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Model s
  K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka
  Proc. of ICLP '01, Springer LNCS 2237 (2001) 227-241.

• Verification of Parameterized Systems using Logic Program Transformations
  Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan and Scott Smolka
  Proc. of TACAS '01 Springer LNCS 1785 (2000) 172-187.

• Regular Collections of Message Sequence Charts
  J G Henriksen, M Mukund, K Narayan Kumar and P S Thiagarajan
  Proc. MFCS '00, Springer LNCS 1893 (2000) 405-414.

• Synthesizing Distributed Finite-State Systems from MSCs
  M Mukund, K Narayan Kumar and M Sohoni
  Proc. CONCUR '00, Springer LNCS 1877 (2000) 521-535.

• On Message Sequence Graphs and Finitely Generated Regular MSC Languages
  J G Henriksen, M Mukund, K Narayan Kumar and P S Thiagarajan
  Proc. ICALP '00, Springer LNCS 1853 (2000) 675-686.

• A parameterized unfold/fold transformation framework for definite logic programs
  Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan
  Proc. of PPDP '99 Springer LNCS 1702 (1999) 396-413.
• Beyond Tamaki-Sato style Unfold/fold Transformations for Normal Logic Programs
  Abhik Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan and I.V. Ramakrishnan Proc. ASIAN '99, Springer LNCS 1742 (1999) 227-238.
• Faster Model Checking for Open Systems
  M Mukund, K Narayan Kumar and S A Smolka
  Proc. ASIAN '99, Springer LNCS 1742, (1999) 227-238.

• Towards a characterisation of finite-state message-passing systems
  M Mukund, K Narayan Kumar, J Radhakrishnan and M Sohoni
  Proc. ASIAN '98, Springer LNCS 1538 (1998) 282-299.

• Robust Asynchronous Protocols Are Finite-State
  M Mukund, K Narayan Kumar, J Radhakrishnan and M Sohoni
  Proc. ICALP '98, Springer LNCS 1443 (1998) 188-199.

• Infinite Probabilistic and Non-Probabilistic Testing
  K. Narayan Kumar, Rance Cleaveland and Scott A. Smolka
  Proc. of FSTTCS '98 Springer LNCS 1530 (1998) 209-220.
• Logic Programming and Model Checking
  Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
  Proc. of the PLILP/ALP '98 Springer LNCS 1490 (1998) 1-20.
• Keeping Track of the Latest Gossip in Message-Passing Systems
  M Mukund, K Narayan Kumar and M Sohoni
  Proc. STRICT '95, Workshops in Computing, Springer-Verlag (1995) 249-263.

• On the Computational Power of ICSP with Fairness
  K Narayan Kumar and P Pandya
  Proc. of FSTTCS '94, Springer LNCS 880 (1994) 231-242.
• ICSP and its Relationship to CSP and ACSP
  K Narayan Kumar and P Pandya
  Proc. of FSTTCS '93, Springer LNCS 761 (1993) 358-372.
• Infinitary Parallelism Without Unbounded Nondeterminism in CSP
  K Narayan Kumar and P Pandya
  Acta Informatica 30(5) (1993) 467-487.