Sriram K. Rajamani

According to our database1, Sriram K. Rajamani authored at least 108 papers between 1996 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A compiler and verifier for page access oblivious computation.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Debugging Machine Learning Tasks.
CoRR, 2016

A design and verification methodology for secure isolated regions.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015
Efficient synthesis of probabilistic programs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

A Provably Correct Sampler for Probabilistic Programs.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Moat: Verifying Confidentiality of Enclave Programs.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014
Bootstrapping Privacy Compliance in Big Data Systems.
Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

Slicing probabilistic programs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Online learning versus blended learning: an exploratory study.
Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

Probabilistic programming.
Proceedings of the on Future of Software Engineering, 2014

R2: An Efficient MCMC Sampler for Probabilistic Programs.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Asynchronous Resilient Linearizability.
Proceedings of the Distributed Computing - 27th International Symposium, 2013

Bayesian inference using data flow analysis.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A model-learner pattern for bayesian reasoning.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

P: safe asynchronous event-driven programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Combining Relational Learning with SMT Solvers Using CEGAR.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Efficiently Sampling Probabilistic Programs via Program Analysis.
Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, 2013

2012
Generalized lattice agreement.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Parallelizing top-down interprocedural analyses.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

CScale - A Programming Model for Scalable and Reliable Distributed Applications.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Automatically Generating Algebra Problems.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
A decade of software model checking with SLAM.
Commun. ACM, 2011

Depth Bounded Explicit-State Model Checking.
Proceedings of the Model Checking Software, 2011

Program Analysis and Machine Learning: A Win-Win Deal.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Program Analysis and Machine Learning: A Win-Win Deal.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010
Proofs from Tests.
IEEE Trans. Software Eng., 2010

Refining abstract interpretations.
Inf. Process. Lett., 2010

Representation dependence testing using program inversion.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Alternation for Termination.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Compositional may-must program analysis: unleashing the power of alternation.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

GUESSTIMATE: a programming model for collaborative distributed systems.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

An empirical study of optimizations in YOGI.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Analyzing Explicit Information Flow.
Proceedings of the Information Systems Security - 6th International Conference, 2010

2009
Verification, Testing and Statistics.
Proceedings of the Tests and Proofs, Third International Conference, 2009

The YogiProject: Software Property Checking via Static Analysis and Testing.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

DebugAdvisor: a recommender system for debugging.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Verification, Testing and Statistics.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

Merlin: specification inference for explicit information flow problems.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Verification, Testing and Statistics.
Proceedings of the Theoretical Aspects of Computing, 2009

Verification, Testing and Statistics.
Proceedings of the FM 2009: Formal Methods, 2009

ISOLATOR: dynamically ensuring isolation in comcurrent programs.
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

2008
Automating Software Testing Using Program Analysis.
IEEE Software, 2008

A type system for data-flow integrity on Windows Vista.
SIGPLAN Notices, 2008

A Type System for Data-Flow Integrity on Windows Vista
CoRR, 2008

Combining Tests and Proofs.
Proceedings of the Verified Software: Theories, 2008

Automatically Refining Abstract Interpretations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Runtime Monitoring of Object Invariants with Guarantee.
Proceedings of the Runtime Verification, 8th International Workshop, 2008

A type system for data-flow integrity on windows vista.
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

Enforcing object protocols by combining static and runtime analysis.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Proofs from tests.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

SoftAlloc: A Work Allocation Language with Soft Constraints.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Global Software Servicing: Observational Experiences at Microsoft.
Proceedings of the 3rd IEEE International Conference on Global Software Engineering, 2008

EON: modeling and analyzing dynamic access control systems with logic programs.
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

A Work Allocation Language with Soft Constraints.
Proceedings of the Forum at the CAiSE'08 Conference, Montpellier, France, June 18-20, 2008, 2008

Tests, Proofs and Refinements.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Software Is More Than Code.
J. UCS, 2007

Programming asynchronous layers with CLARITY.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Verification of Object Relational Maps.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Static and Dynamic Analysis: Better Together.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intelligent Systems, 2006

Counterexample Driven Refinement for Abstract Interpretation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

SYNERGY: a new algorithm for property checking.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Automatic Property Checking for Software: Past, Present and Future.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Automatic Property Checking for Software: Past, Present and Future.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Thorough static analysis of device drivers.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

NETRA: : seeing through access control.
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

2005
Polymorphic predicate abstraction.
ACM Trans. Program. Lang. Syst., 2005

Sound Transaction-Based Reduction Without Cycle Detection.
Proceedings of the Model Checking Software, 2005

2004
Righting Software.
IEEE Software, 2004

Refining Approximations in Software Predicate Abstraction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Summarizing procedures in concurrent programs.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Models for Contract Conformance.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Models for Contract Conformance.
Proceedings of the Leveraging Applications of Formal Methods, 2004

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Verifying properties of hardware and software by predicate abstraction and model checking.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Zing: Exploiting Program Structure for Model Checking Concurrent Software.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Stuck-Free Conformance.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Zing: A Model Checker for Concurrent Software.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Boolean and Cartesian abstraction for model checking C programs.
STTT, 2003

From symptom to cause: localizing errors in counterexample traces.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2002
An assume-guarantee rule for checking simulation.
ACM Trans. Program. Lang. Syst., 2002

Fair Simulation.
Inf. Comput., 2002

Relative Completeness of Abstraction Refinement for Software Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Types as models: model checking message-passing programs.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

The SLAM project: debugging system software via static analysis.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Conformance Checking for Models of Asynchronous Message Passing Software.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Partial-Order Reduction in Symbolic State-Space Exploration.
Formal Methods in System Design, 2001

Boolean and Cartesian Abstraction for Model Checking C Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Parameterized Verification of Multithreaded Software Libraries.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Automatically Validating Temporal Safety Properties of Interfaces.
Proceedings of the Model Checking Software, 2001

A Behavioral Module System for the Pi-Calculus.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Automatic Predicate Abstraction of C Programs.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Bebop: a path-sensitive interprocedural dataflow engine.
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

The SLAM Toolkit.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Fair Bisimulation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Bebop: A Symbolic Model Checker for Boolean Programs.
Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999
Formal specification and verification of a dataflow processor array.
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Assume-Guarantee Refinement Between Different Time Scales.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Symbolic Exploration of transition Hierarchies.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

An Assume-Guarantee Rule for Checking Simulation.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

You Assume, We Guarantee: Methodology and Case Studies.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

MOCHA: Modularity in Model Checking.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
Fair Simulation.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

Partial-Order Reduction in Symbolic State Space Exploration.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
A quantitative analysis of processor-programmable logic interface.
Proceedings of the 4th IEEE Symposium on FPGAs for Custom Computing Machines (FCCM '96), 1996


  Loading...