Akash Lal

Available identifiers

Publication	Date of Publication	Type
Verifying asynchronous event-driven programs using partial abstract transformers	2024-02-16	Paper
Underspecified harnesses and interleaved bugs	2015-09-11	Paper
Reachability Modulo Theories	2014-07-07	Paper
Reference count analysis with shallow aliasing	2013-04-04	Paper
Alternation for Termination	2010-10-01	Paper
Reducing concurrent analysis under a context bound to sequential analysis	2009-11-23	Paper
Abstract Error Projection	2009-03-03	Paper
Solving Multiple Dataflow Queries Using WPDSs	2008-08-28	Paper
Language Strength Reduction	2008-08-28	Paper
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis	2008-07-15	Paper
Program Analysis Using Weighted Pushdown Systems	2008-04-24	Paper
Interprocedural Analysis of Concurrent Programs Under a Context Bound	2008-04-11	Paper
Improving Pushdown System Model Checking	2007-09-05	Paper
Programming Languages and Systems	2007-05-02	Paper
A constraint programming approach to cutset problems	2006-05-16	Paper
Computer Aided Verification	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4673427	2005-04-29	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Akash Lal