Sagar Chaki

	2012
43		Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan: Parametric Verification of Address Space Separation. POST 2012: 51-68
42		Sagar Chaki, Arie Gurfinkel, Ofer Strichman: Regression Verification for Multi-threaded Programs. VMCAI 2012: 119-135
	2011
41		Sagar Chaki, Cory Cohen, Arie Gurfinkel: Supervised learning for provenance-similarity of binaries. KDD 2011: 15-23
40		Arie Gurfinkel, Sagar Chaki, Samir Sapra: Efficient Predicate Abstraction of Program Summaries. NASA Formal Methods 2011: 131-145
39		Sagar Chaki, Arie Gurfinkel: Automated assume-guarantee reasoning for omega-regular systems and specifications. ISSE 7(2): 131-139 (2011)
	2010
38		Ipek Ozkaya, J. Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki: Using Architecturally Significant Requirements for Guiding System Evolution. CSMR 2010: 127-136
37		Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri: Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. IEEE Symposium on Security and Privacy 2010: 365-379
36		Arie Gurfinkel, Sagar Chaki: Boxes: A Symbolic Abstract Domain of Boxes. SAS 2010: 287-303
35		Sagar Chaki, James Ivers: Software model checking without source code. ISSE 6(3): 233-242 (2010)
34		Arie Gurfinkel, Sagar Chaki: Combining predicate and numeric abstraction for software model checking. STTT 12(6): 409-427 (2010)
	2009
33		Sagar Chaki, Anupam Datta: ASPIER: An Automated Framework for Verifying Security Protocol Implementations. CSF 2009: 172-185
32		William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789
31		Sagar Chaki, Arie Gurfinkel, Ofer Strichman: Decision diagrams for linear arithmetic. FMCAD 2009: 53-60
	2008
30		Arie Gurfinkel, Sagar Chaki: Combining Predicate and Numeric Abstraction for Software Model Checking. FMCAD 2008: 1-9
29		Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha: Verification of evolving software via component substitutability analysis. Formal Methods in System Design 32(3): 235-266 (2008)
28		Sagar Chaki, Ofer Strichman: Three optimizations for Assume-Guarantee reasoning with L*. Formal Methods in System Design 32(3): 267-284 (2008)
	2007
27		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94
26		Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger: Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681
25		Sagar Chaki, Ofer Strichman: Optimized L*-Based Assume-Guarantee Reasoning. TACAS 2007: 276-291
24		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries CoRR abs/cs/0701187: (2007)
	2006
23		Sagar Chaki, Nishant Sinha: Assume-Guarantee Reasoning for Deadlock. FMCAD 2006: 134-144
22		Sagar Chaki: SAT-Based Software Certification. TACAS 2006: 151-166
21		Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS 2006: 334-349
20		Murray Stokely, Sagar Chaki, Joël Ouaknine: Parallel Assignments in Software Model Checking. Electr. Notes Theor. Comput. Sci. 157(1): 77-94 (2006)
19		Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
	2005
18		Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau: The ComFoRT Reasoning Framework. CAV 2005: 164-169
17		Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati: Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV 2005: 534-547
16		Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha: Dynamic Component Substitutability Analysis. FM 2005: 512-528
15		Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith: State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69
14		Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: Concurrent software verification with states, events, and deadlocks. Formal Asp. Comput. 17(4): 461-483 (2005)
13		Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: An Iterative Framework for Simulation Conformance. J. Log. Comput. 15(4): 465-488 (2005)
	2004
12		Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: State/Event-Based Software Model Checking. IFM 2004: 128-147
11		Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina: Automated, compositional and iterative deadlock detection. MEMOCODE 2004: 201-210
10		Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
9		Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav: Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design 25(2-3): 129-166 (2004)
8		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30(6): 388-402 (2004)
	2003
7		Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
6		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
5		Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith: Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE 2003: 510-517
4		Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke: Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. Electr. Notes Theor. Comput. Sci. 89(3): 417-432 (2003)
	2002
3		Sagar Chaki, Sriram K. Rajamani, Jakob Rehof: Types as models: model checking message-passing programs. POPL 2002: 45-57
	2001
2		Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE 2001: 443-452
1		Thomas Ball, Sagar Chaki, Sriram K. Rajamani: Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173

Coauthor Index

1	Thomas Ball	[1]
2	Alexis Campailla	[2]
3	Edmund M. Clarke	[2] [4] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [21] [29]
4	Cory Cohen	[41]
5	Anupam Datta	[33] [37] [43]
6	Pascal Fenkam	[5]
7	Jason Franklin	[37] [43]
8	Harald C. Gall (Harald Gall)	[5]
9	Alex Groce	[6] [7] [8] [9] [10] [19]
10	Orna Grumberg	[15]
11	Arie Gurfinkel	[30] [31] [34] [36] [38] [39] [40] [41] [42]
12	William R. Harris	[32]
13	James Ivers	[18] [26] [35]
14	Somesh Jha	[2] [5] [6] [8] [13] [32]
15	Nicholas Kidd	[21] [32]
16	Engin Kirda	[5]
17	Daniel Kroening (Daniel Kröning)	[19]
18	Peter Lee	[26]
19	Jonathan M. McCune	[43]
20	Joël Ouaknine	[4] [9] [11] [12] [14] [15] [20]
21	Ipek Ozkaya	[38]
22	J. Andrés Díaz Pace	[38]
23	Sriram K. Rajamani	[1] [3]
24	Jakob Rehof	[3]
25	Thomas W. Reps	[21] [32]
26	Samir Sapra	[40]
27	Christian Schallhart	[24] [27]
28	Arvind Seshadri	[37]
29	Natasha Sharygina	[11] [12] [14] [15] [16] [18] [29]
30	Nishant Sinha	[12] [14] [16] [17] [23] [29]
31	Murray Stokely	[20]
32	Ofer Strichman	[7] [9] [10] [19] [25] [28] [31] [42]
33	Prasanna Thati (Prasannaa Thati)	[17]
34	Tayssir Touili	[15] [21]
35	Amit Vasudevan	[43]
36	Helmut Veith	[2] [5] [6] [8] [13] [15] [24] [27]
37	Kurt C. Wallnau	[18] [26]
38	Karen Yorav (Karen Laster)	[4] [9]
39	Noam Zeilberger	[26]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page