Travelled to:1 × Canada
1 × France
1 × Germany
1 × Portugal
1 × Russia
1 × Turkey
2 × Austria
2 × Spain
2 × The Netherlands
3 × Italy
4 × United Kingdom
8 × USA
Collaborated with:A.Gurfinkel E.M.Clarke O.Strichman H.Veith ∅ N.Sharygina S.Jha N.Sinha S.K.Rajamani A.Komuravelli A.Groce J.R.Edmondson J.Ivers K.C.Wallnau N.Kidd T.W.Reps T.Touili J.Ouaknine C.Cohen C.Schallhart J.Rehof T.Ball S.Kong I.Ozkaya J.A.D.Pace P.Thati J.P.Hansen L.Wrage D.d.Niz M.H.Klein S.Sapra M.Minea A.Albarghouthi Y.Li M.Chechik W.R.Harris P.Lee N.Zeilberger A.Campailla P.Fenkam H.C.Gall E.Kirda O.Grumberg
Talks about:model (9) softwar (7) program (6) verif (6) check (6) base (5) abstract (4) verifi (3) reason (3) binari (3)
Person: Sagar Chaki
DBLP: Chaki:Sagar
Contributed to:
2015
2014
20142013
2013
20132013
20132012
2011
2010
2010
2009200720072007200620052005
2005
20042004
2003
2003
200220012001Wrote 29 papers:
- TACAS-2015-HansenWCNK #model checking #semantics #statistics
- Semantic Importance Sampling for Statistical Model Checking (JPH, LW, SC, DdN, MHK), pp. 241–255.
- CAV-2014-KomuravelliGC #model checking #recursion #smt #source code
- SMT-Based Model Checking for Recursive Programs (AK, AG, SC), pp. 17–34.
- MoDELS-2014-ChakiE #compilation #distributed #modelling #verification
- Model-Driven Verifying Compilation of Synchronous Distributed Applications (SC, JRE), pp. 201–217.
- CAV-2013-KomuravelliGCC #abstraction #automation #bound #model checking #smt
- Automatic Abstraction in SMT-Based Unbounded Software Model Checking (AK, AG, SC, EMC), pp. 846–862.
- HILT-2013-Chaki #bound #model checking
- Bounded model checking of high-integrity software (SC), pp. 9–10.
- ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using
- Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.
- TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification
- UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
- VMCAI-2013-ChakiGKS #composition #source code
- Compositional Sequentialization of Periodic Programs (SC, AG, SK, OS), pp. 536–554.
- VMCAI-2012-ChakiGS #concurrent #multi #source code #thread #verification
- Regression Verification for Multi-threaded Programs (SC, AG, OS), pp. 119–135.
- KDD-2011-ChakiCG #learning
- Supervised learning for provenance-similarity of binaries (SC, CC, AG), pp. 15–23.
- CSMR-2010-OzkayaPGC #architecture #evolution #requirements #using
- Using Architecturally Significant Requirements for Guiding System Evolution (IO, JADP, AG, SC), pp. 127–136.
- SAS-2010-GurfinkelC #abstract domain #named
- Boxes: A Symbolic Abstract Domain of Boxes (AG, SC), pp. 287–303.
- FM-2009-HarrisKCJR #bound #data flow #process #verification
- Verifying Information Flow Control over Unbounded Processes (WRH, NK, SC, SJ, TWR), pp. 773–789.
- CAV-2007-ChakiSV #bound #verification
- Verification Across Intellectual Property Boundaries (SC, CS, HV), pp. 82–94.
- MoDELS-2007-ChakiILWZ #modelling
- Model-Driven Construction of Certified Binaries (SC, JI, PL, KCW, NZ), pp. 666–681.
- TACAS-2007-ChakiS #reasoning
- Optimized L*-Based Assume-Guarantee Reasoning (SC, OS), pp. 276–291.
- TACAS-2006-Chaki #certification #satisfiability
- SAT-Based Software Certification (SC), pp. 151–166.
- TACAS-2006-ChakiCKRT #c #concurrent #message passing #recursion #source code #verification
- Verifying Concurrent Message-Passing C Programs with Recursive Calls (SC, EMC, NK, TWR, TT), pp. 334–349.
- CAV-2005-ChakiCST #automation #consistency #reasoning #simulation
- Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
- CAV-2005-ChakiISW #framework #reasoning
- The ComFoRT Reasoning Framework (SC, JI, NS, KCW), pp. 164–169.
- FM-2005-SharyginaCCS #analysis #component
- Dynamic Component Substitutability Analysis (NS, SC, EMC, NS), pp. 512–528.
- IFM-2005-ChakiCGOSTV #specification #verification
- State/Event Software Verification for Branching-Time Specifications (SC, EMC, OG, JO, NS, TT, HV), pp. 53–69.
- FSE-2004-ChakiGS
- Explaining abstract counterexamples (SC, AG, OS), pp. 73–82.
- IFM-2004-ChakiCOSS #model checking
- State/Event-Based Software Model Checking (SC, EMC, JO, NS, NS), pp. 128–147.
- ICSE-2003-ChakiCGJV #c #component #composition #verification
- Modular Verification of Software Components in C (SC, EMC, AG, SJ, HV), pp. 385–395.
- SEKE-2003-ChakiFGJKV #framework #mobile #platform
- Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (SC, PF, HCG, SJ, EK, HV), pp. 510–517.
- POPL-2002-ChakiRR #message passing #model checking #modelling #source code
- Types as models: model checking message-passing programs (SC, SKR, JR), pp. 45–57.
- ICSE-2001-CampaillaCCJV #performance #using
- Efficient Filtering in Publish-Subscribe Systems Using Binary Decision (AC, SC, EMC, SJ, HV), pp. 443–452.
- TACAS-2001-BallCR #library #parallel #thread #verification
- Parameterized Verification of Multithreaded Software Libraries (TB, SC, SKR), pp. 158–173.