The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Akash Lal: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
    Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:158-163 [Conf]
  2. Akash Lal, Thomas W. Reps
    Improving Pushdown System Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:343-357 [Conf]
  3. Akash Lal, Thomas W. Reps, Gogul Balakrishnan
    Extended Weighted Pushdown Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:434-448 [Conf]
  4. Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
    Path Optimization in Programs and Its Application to Debugging. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:246-263 [Conf]
  5. Deepak Garg, Akash Lal, Sanjiva Prasad
    Effective Chemistry for Synchrony and Asynchrony. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:479-492 [Conf]
  6. François Fages, Akash Lal
    A constraint programming approach to cutset problems. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 2006, v:33, n:10, pp:2852-2865 [Journal]
  7. Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
    Abstract Error Projection. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:200-217 [Conf]

  8. Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. [Citation Graph (, )][DBLP]


  9. Directed Proof Generation for Machine Code. [Citation Graph (, )][DBLP]


  10. There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. [Citation Graph (, )][DBLP]


  11. Program Analysis Using Weighted Pushdown Systems. [Citation Graph (, )][DBLP]


  12. Solving Multiple Dataflow Queries Using WPDSs. [Citation Graph (, )][DBLP]


  13. Language Strength Reduction. [Citation Graph (, )][DBLP]


  14. Alternation for Termination. [Citation Graph (, )][DBLP]


  15. Symbolic Analysis via Semantic Reinterpretation. [Citation Graph (, )][DBLP]


  16. Interprocedural Analysis of Concurrent Programs Under a Context Bound. [Citation Graph (, )][DBLP]


Search in 0.034secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002